5838 search results - page 667 / 1168 » A File System for System Programming in Ubiquitous Computing |
191
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
163
click to vote
PLDI
2010
ACM
16 years 8 days ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
216
click to vote
IHI
2010
15 years 2 months ago
2010
Modern information technology is increasingly used in healthcare with the goal to improve and enhance medical services and to reduce costs. In this context, the outsourcing of com...
197
click to vote
STORAGESS
2005
ACM
16 years 22 days ago
2005
ACM
The use of access predictors to improve storage device performance has been investigated for both improving access times, as well as a means of reducing energy consumed by the dis...
261
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...