3872 search results - page 724 / 775 » The Java memory model |
191
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
156
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
In the rapidly developing field of sensor networks, bridging the gap between the applications and the hardware presents a major challenge. Although middleware is one solution, it ...
149
click to vote
DCC
2005
IEEE
16 years 5 months ago
2005
IEEE
Hyperspectral images have correlation at the level of pixels; moreover, images from neighboring frequency bands are also closely correlated. In this paper, we propose to use distr...
160
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
138
click to vote
GLOBECOM
2009
IEEE
16 years 7 days ago
2009
IEEE
— There is an ever increasing need for storing data in smaller and smaller form factors driven by the ubiquitous use and increased demands of consumer electronics. A new approach...