742 search results - page 15 / 149 » Set-based Concurrent Engineering |
122
Voted
ICSE
2010
IEEE-ACM
15 years 6 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...
73
Voted
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
117
Voted
ECBS
2009
IEEE
15 years 9 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...
142
Voted
FSTTCS
2010
Springer
15 years 16 days 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...
124
Voted
COMPSAC
2007
IEEE
15 years 9 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...