yusuke1997/dblp-id-title huggingface dataset:
DRepl: Optimizing access to application data for analysis and visualization
Simple tape management system
Tenth IEEE Symposium on Mass Storage Systems, MSS 1990: Crisis in Mass Storage, Monterey, CA, USA, May 7-10, 1990
Implementing Journaling in a Linux Shared Disk File System
An Architecture for a Scalable, High-Performance Digital Library
An Efficient Data Sharing Scheme for iSCSI-Based File Systems
Design and Implementation of a Network Aware Object-based Tape Device
Parallel file system experience on the IBM 9076
Design and Implementation of a Storage Repository Using Commonality Factoring
An AFS-based mass storage system at the Pittsburgh Supercomputing Center
Classifying data to reduce long term data movement in shingled write disks
MAD2: A scalable high-throughput exact deduplication approach for network backup services
Data Grids, Collections, and Grid Bricks
Magnetic tape recording: archival considerations
VSSIM: Virtual machine based SSD simulator
Comparative Performance Evaluation of iSCSI Protocol over Metro, Local, and Wide Area Networks
A lightweight I/O scheme to facilitate spatial and temporal queries of scientific data analytics
Electronic archiving for radiology image management systems
IEEE 28th Symposium on Mass Storage Systems and Technologies, MSST 2012, April 16-20, 2012, Asilomar Conference Grounds, Pacific Grove, CA, USA
The InTENsity PowerWall: A Case Study for a Shared File System Testing Framework
Reducing CPU and network overhead for small I/O requests in network storage protocols over raw Ethernet
Fighting with Unknowns: Estimating the Performance of Scalable Distributed Storage Systems with Minimal Measurement Data
Mercury: Host-side flash caching for the data center
A performance model and file system space allocation scheme for SSDs
Proceedings of the Eleventh IEEE Symposium on Mass Storage Systems, Monterey, California, USA, October 7-10, 1991
HCTrie: A structure for indexing hundreds of dimensions for use in file systems search
CORE: Augmenting regenerating-coding-based recovery for single and concurrent failures in distributed storage systems
Multimedia performance behavior of the GigaView parallel image server
LIPA: A Learning-based Indexing and Prefetching Approach for Data Deduplication
vPFS+: Managing I/O Performance for Diverse HPC Applications
A novel I/O scheduler for SSD with improved performance and lifetime
Applying semantic data modeling techniques to large mass storage system designs
Requirements for a system to analyze high energy physics events using database computing
An Architecture for Lifecycle Management in Very Large File Systems
HPSS at Los Alamos: Experiences and Analysis
Cooperative caching with return on investment
An Overview of Version 0.9.5 Proposed SCSI Device Locks
Analysis of HPSS Performance Based on Per-file Transfer Logs
The once and future tape recorder
Compiling Actions by Partial Evaluation
Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995
Type Classes and Overloading Resolution via Order-Sorted Unification
A Short Cut to Deforestation
Architectural Improvements for Data-Driven VLSI Processing Arrays
Precedences for Conctypes
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates
Bananas in Space: Extending Fold and Unfold to Exponential Types
The planar topology of functional programs
Executing functional programs on a virtual tree of processors
vFP : An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms
Transforming Recursive Programs for Execution on Parallel Machines
COBWEB - A Combinator Reduction Architecture
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
Efficient Type Inference for Higher-Order Binding-Time Analysis
Implanting FFP trees in binary trees: An architectural proposal
A Distributed Garbage Collection Algorithm
Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming
Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs
Operators and algebraic structures
Warm Fusion: Deriving Build-Cata's from Recursive Definitions
Unboxed Values as First Class Citizens in a Non-Strict Functional Language
Simplifying and Improving Qualified Types
Compiler Correctness for Parallel Languages
Generation and Quantitative Evaluation of Dataflow Clusters
Compiler-directed Type Reconstruction for Polymorphic Languages
SIGNAL: A declarative language for synchronous programming of real-time systems
A Projection Model of Types
Resource management in dataflow
Constructing Functional Programs for Grammar Analysis Problems
Strictness Analysis using Abstract Reduction
Optimal Reduction in Weak-λ-calculus with Shared Environments
A Standard ML compiler
Copying operands versus copying results: A solution to the problem of large operands in FFP'S
Parallel Implementation of Bags
Lambda Lifting: Treansforming Programs to Recursive Equations
Dynamic Typing and Subtype Inference
Sound Rules for Parallel Evaluation of a Functional Language with callcc
The semantic elegance of applicative languages
Functional Programming Languages and Computer Architecture, FPCA 1985, Nancy, France, September 16-19, 1985, Proceedings
Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages
A Fold for All Seasons
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages
Specification of data structures for FP programs
TIM: A simple, lazy abstract machine to execute supercombinatorics
Retrieving Re-Usable Software Components by Polymorphic Type
Cache Performance of Fast-Allocating Programs
List Comprehensions in Agna, A Parallel Persistant Object System
Separating Binding Times in Language Specifications
Program Verification in a Logical Theory of Constructions
Transformations on Higher-Order Functions
Practical Polymorphism
Cyclic Reference Counting for Combinator Machines
Theorems for Free!
An Architectural Technique for Cache-level Garbage Collection
An Abstract Machine for Parallel Graph Reduction
Generating Efficient Code for Lazy Functional Languages
Optimizing Almost-Tail-Recursive Prolog Programs
Nondeterminism and Unification in LogScheme: Integrating Logic and Functional Programming
Linearity and Laziness
On the Complexity of Type Inference with Coercion
Abstract Models of Memory Management
Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989
Assignments for Applicative Languages
A Note on Abstract Interpretation of Polymorphic Functions
Shortcut Deforestation in Calculational Form
A Second Look at Overloading
Incremental Polymorphism
Some Issues in a Functional Implementation of a Finite Element Algorithm
Transformations of FP program schemes
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs
Pomset interpretations of parallel functional programs
How Much Non-Strictness do Lenient Programs Require?
A Composition Approach to Time Analysis of First Order Lazy Functional Programs
Syntactic Detection of Single-Threading Using Continuations
Automatic Online Partial Evaluation
Introduction to relational programming
Replacing Function Parameters by Global Variables
Frontiers and Open Sets in Abstract Interpretation
FUDGETS: A Graphical User Interface in a Lazy Functional Language
Proof-oriented and applicative valuations in definitions of algorithms
Efficient Implementation of Sequential Loops in Dataflow Computation
Parallel interpretation of logic programs
Projections for strictness analysis
Computer-Time Garbage Collection by Sharing Analysis
Type Inclusion Constraints and Type Inference
Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time
Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993
Pi-Calculus, Dialogue Games and PCF
Communication along shortest paths in a tree machine
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture
P-TAC: A Parallel Intermediate Language
Generational Garbage Collection for Haskell
Once Upon a Type
Delimiting the Scope of Effects
Set Abstraction in Functional and Logic Programming
Finiteness Analysis
Data Flow Graph Optimization in IF1
An Architecture for fast Data Movement in the FFP Machine
Highlights from nhc - a Space-efficient Haskell Compiler
If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs
Dimension Inference Under Polymorphic Recursion
The G-machine as a representation of stack semantics
Implementing Haskell Overloading
Fixing Some Space Leaks without a Garbage Collector
Functional programming with sets
Applicative style programming, program transformation, and list operators
Strictness Analysis - A Practical Approach
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages
An Operational Semantics for I/O in a Lazy Functional Language
Indeterminate Behavior with Determinate Semantics in Parallel Programs
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation
A Simple Semantics for ML Polymorphism
Control of parallelism in the Manchester Dataflow Machine
A Strongly-Typed Self-Applicable Partial Evaluator
Dynamics in ML
The G-Machine: A Fast, Graph-Reduction Evaluator
How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages
A data-flow language for specifying business data processing applications
Evaluation transformers - a model for the parallel evaluation of functional languages (extended abstract)
Outline of a Proof Theory of Parametricity
Mapping a single-assignment language onto the Warp systolic array
Programming with concrete data structures and sequential algorithms
What is an Efficient Implementation of the \lambda-calculus?
Secd-m: a Virtual Machine for Applicative Programming
Functions and Dynamic User Interfaces
Coercive Type Isomorphism
FP with data abstraction and strong typing
Controlling the behaviour of functional language systems
Categorical multi-combinators
Making Choices Lazily
A Generalization of Exceptions and Control in ML-like Languages
Finding fixed points in finite lattices
From Operational Definitions to Abstract Semantics
Matrix algebra and applicative programming
The Functional Side of Logic Programming
A Functional Language and Modular Architecture for Scientific Computing
Design for a Multiprocessing Heap with On-board Reference Counting
Applications of feedback in functional programming
An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
Detecting sharing of partial applications in functional programs
The Categorical Abstract Machine
Function level programs as mathematical objects
A simple optimizer for FP-like languages
Unboxed Values and Polymorphic Typing Revisited
Compiler-Controlled Multithreading for Lenient Parallel Languages
Benchmarking Implementations of Lazy Functional Languages
Experiences with Compiler-Directed Storage Reclamation
Attribute grammars as a functional programming paradigm
Experience with a Large Scientific Application in a Functional Language
The Spineless Tagless G-Machine
Processes in a Functional Animation System
Implementing Regular Tree Expressions
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages
Using a Language of Functions and Relations for VLSI Specification
Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages
On the Relation between Functional and Data Parallel Programming Languages
A relational language for parallel programming
First-Class Schedules and Virtual Maps
F-Bounded Polymorphism for Object-Oriented Programming
The D-RISC: An architecture for use in multiprocessors
Strictness Analysis: A New Perspective Based on Type Inference
GRIP - A high-performance architecture for parallel graph reduction
Serial Combinators: "Optimal" Grains of Parallelism
Evaluating functional programs on the FLAGSHIP machine
A theory for natural modelisation and implementation of functions with variable arity
GAML: a Parallel Implementation of Lazy ML
Polling Efficiently on Stock Hardware
Interprocedural Register Allocation for Lazy Functional Languages
Stacklessness: Compiling Recursion for a Distributed Architecture
Designing Regular Array Architectures using Higher Order Functions
Parallelism in Sequential Functional Languages
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML
Concurrent garbage collection on stock hardware
A practical functional programming system for databases
Parsers and Printers as Stream Destructors and Constructors Embedded in Functional Languages
Improving the Three Instruction Machine
Polytypic Pattern Matching
Using Types as Search Keys in Function Libraries
Strictness Analysis in Logical Form
Optimal associative searching on a cellular computer
CLEAN: A language for functional graph writing
Programming in Constructive Set Theory: Some examples
Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming
Miranda: A Non-Strict Functional language with Polymorphic Types
M-Structures: Extending a Parallel, Non-strict, Functional Language with State
Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981
For a Better Support of Static Data Flow
Update Analysis and the Efficient Implementation of Functional Aggregates
Conjunctive Subtyping
High Order Programming in Extended FP
Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine
On the Complexity of ML Typability with Overloading
Lazy Memo-functions
Parallel Graph Reduction with the <nu, G>-Machine
Performance polymorphism
Making Abstract Machines Less Abstract
Deriving Imperative Code from Functional Programs
Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings
Proceedings of the 5th ACM/IEEE Workshop on Gender Equality, Diversity, and Inclusion in Software Engineering, GE@ICSE 2024, Lisbon, Portugal, 20 April 2024
Investigating the Challenges Faced by Women on Software Engineering: a Grey Literature Study
On the Intersectionality of Software Practitioners and Role Models
Unveiling women's expectations as ICT professionals: A survey study
Sixth IEEE/ACM Workshop on Gender Equality, Diversity, and Inclusion in Software Engineering, GEICSE@ICSE 2025, Ottawa, ON, Canada, April 29, 2025
Rebooting the System and Building New Futures: Supporting Women's Comeback in IT
Women in ICT in Bosnia and Herzegovina
2023 IEEE/ACM 4th Workshop on Gender Equity, Diversity, and Inclusion in Software Engineering (GEICSE), Melbourne, Australia, May 20, 2023
Women in Scrum Master Role: Challenges and Opportunities
A Historical Review of Web Accessibility Using WAVE
Intersectionality in Computer Science: A Systematic Literature Review
Draw a Software Engineer Test - Preliminary Attempts to Investigate University Students' Perceptions of Software Engineering Professions
Opportunities and constraints of women-focused online hackathons
Detecting Gender Bias to Enhance Inclusivity in Software Engineering Education
Elephant in the Room: Gender and Role-Based Disparities in the Software Industry of Bangladesh
RockStartIT: Authentic and Inclusive Interdisciplinary Software Engineering Courses
How Diversity and Inclusion Are Approached in Software Engineering University-level Teaching
Leveraging Corporate Engagement for Diversity in Free/Libre and Open Source Software Projects
"Robot Olympiad Inspires us Technically and also boosts our Confidence": Understanding the Elements of Success for Women in Robotics in Bangladesh
Analyzing Gender-Based Dynamics in Remote Pair Programming Interactions
Learning to Improve Gender Equality: An Analysis of Software Engineering Education in a UK University
Gender Disparities in Contributions, Leadership, and Collaboration: An Exploratory Study on Software Systems Research
Impostor Phenomenon Among Software Engineers: Investigating Gender Differences and Well-Being
Overcoming Obstacles: Challenges of Gender Inequality in Undergraduate ICT Programs
Diversity of SE Conferences
The Second Round: Diverse Paths Towards Software Engineering
Cognitive Distance and Women in Software Engineering: An Empirical Study in the Context of Bangladesh
Shooting for the Stars: How a STEM Initiative has Evolved to Address Gender Challenges in Work and Education
Virtual Arm Representation and Multimodal Monitoring for the Upper Limb Robot Assisted Teletherapy
Rehabilitation for Children while Playing with a Robotic Assistant in a Serious Game
Increased Charge Storage Capacity of Titanium Nitride Electrodes by Deposition of Boron-doped Nanocrystalline Diamond Films
New EEG Measure of the Alertness Analyzed by Emotiv EPOC in a Real Working Environment
Development of Micro-channel Arrays for Peripheral Nerve Recording
Real-time Classification of Finger Movements using Two-channel Surface Electromyography
Illusion Approach for Upper Limb Motor Rehabilitation
A Poll Oriented Classifier for Affective Brain Computer Interfaces
Towards an Electro-optical Emulation of the C. elegans Connectome
Semi-Supervised Spiking Neural Network for One-Shot Object Appearance Learning
Prediction of Movements by Online Analysis of Electroencephalogram with Dataflow Accelerators
In Vivo Charge Injection Limits Increased after 'Unsafe' Stimulation
Multi Channel Surface EMG - Detection and Conditioning
Past and Recent Endeavours to Simulate Caenorhabditis elegans
An Attempt to Assess Alertness based on Emotions (From EEG Measures)
Si elegans: A Computational Model of C. elegans Muscle Response to Light
Modeling White-matter Fiber-orientation Uncertainty for Improved Probabilistic Tractography
Application of Artificial Neural Models for Planning Sport Training in 110m Hurdles
Memory and Processing Efficient Formula for Moving Variance Calculation in EEG and EMG Signal Processing
EEG and Eye-Tracking Integration for Ocular Artefact Correction
Recovery of the Cognitive Function by the Non-Invasive Multichannel Neuro-Electrostimulation for Patients with Amnesic Syndrome
A Simple and Practical Sensorimotor EEG Device for Recording in Patients with Special Needs
WLAN Interface for a Wireless EEG System
Comparison of Neural Networks for Prediction of Sleep Apnea
Preliminary Study to Detect Gait Initiation Intention Through a BCI System
Serious Games-based System to Train Weight Shifting and Balance after Stroke at Home - Description of a Pilot Study and Preliminary Experience
Holistic Model of Cognitive Limbs for Dynamic Situations
Proceedings of the International Congress on Neurotechnology, Electronics and Informatics, NEUROTECHNIX 2013, Vilamoura, Algarve, Portugal, September 18-20, 2013
Ankle-Knee Prosthesis with Powered Ankle and Energy Transfer - Development of the CYBERLEGs Alpha-Prototype
Web-enabled Neuron Model Hardware Implementation and Testing
A Wearable Bracelet Device for Promoting Arm Use in Stroke Patients
A Method to Detect Keystrokes using Accelerometry to Quantify Typing Rate and Monitor Neurodegenerative Progression
Striving for Better and Earlier Movement Prediction by Postprocessing of Classification Scores
Human-based Lower Limb Movement Assistance and Rehabilitation through an Actuated Orthosis
Proposal of a P300-based BCI Speller using a Predictive Text System
Comparison of Data Selection Strategies for Online Support Vector Machine Classification
Motor Unit Properties and Underlying Determinants in Pathological Tremor
A Dataflow-based Mobile Brain Reading System on Chip with Supervised Online Calibration - For Usage without Acquisition of Training Data
Neuron Models in FPGA Hardware - A Route from High Level Descriptions to Hardware Implementations
Competition of Spike-Conducting Pathways in STDP Driven Neural Networks
Serious Games for Assessment and Training in Post-stroke Robotic Upper-limb Telerehabilitation
Hysteresis in the Perception of Visual Unity - Confirmation of a Neural Network Model Prediction
A Human-Computer Interface based on Electromyography Command-Proportional Control
Probabilistic Symbol Encoding for Convolutional Associative Memories
Platform for Multimodal Signal Acquisition for the Control of Lower Limb Rehabilitation Devices
Proceedings of the 4th International Congress on Neurotechnology, Electronics and Informatics, NEUROTECHNIX 2016, Porto, Portugal, November 7-8, 2016
Error Augmented Robotic Rehabilitation of the Upper Limb - A Review
Predicting Wrist Movement Trajectory from Ipsilesional ECoG in Chronic Stroke Patients
CyberBrain - A Preliminary Experience on Non Human Primate
Toward Sentient Neurotechnology - Visual Object Unity May Be Structured by and Constrain Neural Interactions
A Biofeedback Control System of the Exoskeleton Trainer for Lower Limbs Motor Function Recovery
Proceedings of the 2nd International Congress on Neurotechnology, Electronics and Informatics, NEUROTECHNIX 2014, Rome, Italy, October 25-26, 2014
The Use and Know-how of ICT-technology in Different Age Groups
Commonalities of Motor Performance Metrics are Revealed by Predictive Oscillatory EEG Components
Input Encoding Proposal for Behavioral Experiments with a Virtual C. elegans Representation
Assessment of Walker-assisted Human Interaction from LRF and Wearable Wireless Inertial Sensors
On the Impact of Pathological Tremor Intensity on Noninvasive Characterization of Motor Unit Discharge Properties
Human-like Sensor Fusion Mechanisms in a Postural Control Robot
Detrended-Fluctuation-Analysis (DFA) and High-Frequency-Oscillation (HFO) Coefficients and Their Relationship to Epileptic Seizures
Clinical, Functional and Kinematic Correlations using the Virtual Reality System Toyra® as Upper Limb Rehabilitation Tool in People with Spinal Cord Injury
Dynamics of a Stimulation-evoked ECoG Potential During Stroke Rehabilitation - A Case Study
Application of the Discriminant Analysis for Diagnostics of the Arterial Hypertension - Analysis of Short-Term Heart Rate Variability Signals
Efficiency of SSVEF Recognition from the Magnetoencephalogram - A Comparison of Spectral Feature Classification and CCA-based Prediction
A Serious Game Application using EEG-based Brain Computer Interface
Proceedings of the 5th International Congress on Neurotechnology, Electronics and Informatics, NEUROTECHNIX 2017, Funchal, Madeira, Portugal, October 30-31, 2017
Human Motion Assistance using Walking-aid Robot and Wearable Sensors
Monitoring Depth of Hypnosis under Propofol General Anaesthesia - Granger Causality and Hidden Markov Models
Developing a Novel fMRI-Compatible Motion Tracking System for Haptic Motor Control Experiments
Visualization of a Virtual Caenorhabditis elegans in WebGL
Feasibility of Hybrid Gait Training with Kinesis Overground Robot for Persons with incomplete Spinal Cord Injury
Si elegans - Computational Modelling of C. elegans Nematode Nervous System using FPGAs
An Electro-optical Connectome Prototype for Eight Neuron Representations in FPGA Technology
Robotic Grasp Initiation by Gaze Independent Brain-controlled Selection of Virtual Reality Objects
New Developments in the Gesture Therapy Platform - Past, Present and Future of our Research
Neuronal Activity Visualization using Biologically Accurately Placed Neurons in WebGL
Humanoids Meet Rehabilitation - Concept and Potential
Proceedings of the 3rd International Congress on Neurotechnology, Electronics and Informatics, NEUROTECHNIX 2015, Lisbon, Portugal, November 16-17, 2015
Classification of Emotional Signals from the DEAP dataset
A Double-differential Actuation for an Assistive Hip Orthosis - Specificities and Implementation