4299 search results - page 352 / 860 » Concurrent Test Generation |
157
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
139
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
251
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
152
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
138
click to vote
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...