181 search results - page 20 / 37 » A Mechanism for Verifying Data Speculation |
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
We identify the security challenges facing a sensor network for wireless health monitoring, and propose an architecture called "SNAP" (Sensor Network for Assessment of P...
107
click to vote
ISCA
2006
IEEE
14 years 11 months ago
2006
IEEE
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
Existing hierarchical summarization techniques fail to provide synopses good in terms of relative-error metrics. This paper introduces multiplicative synopses: a summarization par...
119
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ISPA
2004
Springer
15 years 5 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...