13101 search results - page 2489 / 2621 » The design and implementation of microdrivers |
167
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
182
click to vote
PAAPP
2006
15 years 6 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
168
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we model and study the performance of peer-to-peer (P2P) file sharing systems in terms of their `service capacity'. We identify two regimes of interest: the tra...
137
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
We are what we eat. Our everyday food choices affect our long-term and short-term health. In the traditional health care, professionals assess and weigh each individual's diet...
174
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Today, several costs caused by road traffic may either be only roughly approximated, or cannot be clearly assigned to the drivers causing them, or both. They are typically distribu...