2836 search results - page 424 / 568 » Model Checking for Software Architectures |
157
click to vote
ISCA
2006
IEEE
16 years 12 days ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
145
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
194
click to vote
SIGSOFT
2006
ACM
16 years 9 days ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
162
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...