899 search results - page 135 / 180 » Cost Analysis of Games, Using Program Logic |
107
click to vote
ASPLOS
2009
ACM
15 years 8 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
132
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
119
click to vote
MST
1998
15 years 1 months ago
1998
We have developed a methodology for predicting the performance of parallel algorithms on real parallel machines. The methodology consists of two steps. First, we characterize a mac...
207
click to vote
CONCUR
2011
Springer
14 years 1 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
126
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...