7289 search results - page 1124 / 1458 » A Dependent Set Theory |
157
click to vote
ISCA
2006
IEEE
16 years 27 days ago
2006
IEEE
Transactional Memory (TM), Thread-Level Speculation (TLS), and Checkpointed multiprocessors are three popular architectural techniques based on the execution of multiple, cooperat...
183
click to vote
ISSRE
2006
IEEE
16 years 27 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
170
click to vote
PRDC
2006
IEEE
16 years 27 days ago
2006
IEEE
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...
194
click to vote
RTAS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
204
click to vote
VTC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— In wireless sensor networks (WSNs), reducing energy consumption of resource constrained sensor nodes is one of the most important issues. In this paper, we propose a ta...