2227 search results - page 321 / 446 » Reversibility and Models for Concurrency |
SPIN
2012
Springer
12 years 20 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
PPOPP
2009
ACM
14 years 10 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
ICS
2007
Tsinghua U.
14 years 4 months ago
2007
Tsinghua U.
Grid Workflows are emerging as practical programming models for solving large e-scientific problems on the Grid. However, it is typically assumed that the workflow components eith...
MSWIM
2005
ACM
14 years 3 months ago
2005
ACM
While the canonical behavior of today’s home Internet users involves several residents concurrently executing diverse Internet applications, the most common home configuration ...
BMVC
2001
14 years 20 days ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...