5326 search results - page 827 / 1066 » On what we can ensure |
165
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
172
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Effective coordination of robots, agents and people promises to improve the safety, robustness and quality with which shared goals are achieved by harnessing the highly heterogene...
222
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
We present a new Monte Carlo method for solving the light transport problem, inspired by the Metropolis sampling method in computational physics. To render an image, we generate a...
162
click to vote
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
211
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...