742 search results - page 15 / 149 » Set-based Concurrent Engineering |
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
85
Voted
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...