1163 search results - page 49 / 233 » Concurrent Subspaces Analysis |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE