1228 search results - page 72 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
171
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
172
click to vote
TVCG
2010
15 years 4 months ago
2010
—Graphics artists commonly employ physically-based simulation for the generation of effects such as smoke, explosions, and similar phenomena. The task of finding the correct par...
161
click to vote
ISCA
2007
IEEE
16 years 19 days ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
149
click to vote
EUROPAR
2009
Springer
16 years 27 days ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
123
click to vote
WCRE
2006
IEEE
16 years 10 days ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...