184 search results - page 27 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
104
Voted
CDC
2009
IEEE
15 years 22 days ago
2009
IEEE
We consider the problem of selecting a subset of p out of n sensors for the purpose of event detection, in a wireless sensor network (WSN). Occurrence or not of the event of intere...
117
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
116
click to vote
HPCA
1998
IEEE
15 years 3 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
86
Voted
LCPC
2007
Springer
15 years 5 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
99
Voted
ICPP
2002
IEEE
15 years 4 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...