3130 search results - page 543 / 626 » Design Correctness of Digital Systems |
180
click to vote
RTAS
2006
IEEE
16 years 12 days ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
167
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
159
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Most database systems allow query processing over attributes that are derived at query runtime (e.g., user-defined functions and remote data calls to web services), making them e...
254
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. We propose a brain-computer interface (BCI) system for evolving images in realtime based on subject feedback derived from electroencephalography (EEG). The goal of this s...
308
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...