261 search results - page 41 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
ISCA
2009
IEEE
14 years 2 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
HPCA
2007
IEEE
14 years 8 months ago
2007
IEEE
The emergence of multicore architectures will lead to an increase in the use of multithreaded applications that are prone to synchronization bugs, such as data races. Software sol...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Achieving secure time-synchronization in wireless sensor networks (WSNs) is a challenging, but very important problem that has not yet been addressed effectively. This paper pro...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...