10870 search results - page 1967 / 2174 » Model Checking Programs |
107
click to vote
CHI
2010
ACM
15 years 8 months ago
2010
ACM
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...
128
click to vote
PDP
2009
IEEE
15 years 8 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
106
Voted
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
116
click to vote
PPOPP
2009
ACM
15 years 8 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
116
click to vote
LCTRTS
2009
Springer
15 years 8 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...