899 search results - page 143 / 180 » Cost Analysis of Games, Using Program Logic |
112
click to vote
FPL
2003
Springer
15 years 6 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
114
click to vote
PADS
1996
ACM
15 years 5 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
120
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
101
click to vote
AGP
1998
IEEE
15 years 5 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
114
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...