1304 search results - page 228 / 261 » Model Checking C Programs Using F-SOFT |
121
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
117
click to vote
ISCA
1997
IEEE
15 years 6 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
130
click to vote
ROBOCUP
2000
Springer
15 years 6 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
116
click to vote
UIST
2010
ACM
15 years 10 days ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
138
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...