1271 search results - page 243 / 255 » On Simulation-Checking with Sequential Systems |
169
click to vote
EMSOFT
2009
Springer
16 years 13 days ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
172
click to vote
IWMM
2009
Springer
16 years 13 days ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
193
click to vote
ICAC
2008
IEEE
16 years 10 days ago
2008
IEEE
— There is growing incentive to reduce the power consumed by large-scale data centers that host online services such as banking, retail commerce, and gaming. Virtualization is a ...
171
click to vote
KBSE
2007
IEEE
16 years 5 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
135
click to vote
ATAL
2007
Springer
16 years 2 days ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...