2881 search results - page 446 / 577 » Model Checking for Programming Languages using Verisoft |
135
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
170
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
116
click to vote
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
205
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
158
click to vote
TOG
2002
15 years 4 months ago
2002
Rendering performance of consumer graphics hardware benefits from pre-processing geometric data into a form targeted to the underlying API and hardware. The various elements of ge...