5326 search results - page 866 / 1066 » On what we can ensure |
176
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
The advent of multicores presents a promising opportunity for exploiting fine grained parallelism present in programs. Programs parallelized in the above fashion, typically involv...
166
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
177
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
166
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—We have recently proposed a novel receiver for Ultra-Wide-band Impulse-Radio communication in bursty applications like Wireless Sensor Networks. The receiver, based on the princ...
190
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Trajectory search has long been an attractive and challenging topic which blooms various interesting applications in spatial-temporal databases. In this work, we study a new probl...