1271 search results - page 76 / 255 » On Simulation-Checking with Sequential Systems |
WWW
2011
ACM
13 years 5 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
PAM
2012
Springer
12 years 6 months ago
2012
Springer
This paper studies the AS-level re-wiring dynamics (changes in the connectivity) of malicious networks. Anecdotal evidence suggests that some malicious ASes that are primarily invo...
MICRO
2010
IEEE
13 years 8 months ago
2010
IEEE
While clusters of commodity servers and switches are the most popular form of large-scale parallel computers, many programs are not easily parallelized for execution upon them. In...
CCGRID
2003
IEEE
14 years 2 months ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
ICDCS
2005
IEEE
14 years 4 months ago
2005
IEEE
Heterogeneous users usually have different requirements as far as consistency of shared data is concerned. This paper proposes and investigates a mixed consistency model to meet t...