3828 search results - page 172 / 766 » Proof-Based System Engineering Using a Virtual System Model |
180
click to vote
ISPASS
2007
IEEE
16 years 20 days ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
194
click to vote
DAGSTUHL
1997
15 years 7 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
216
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
156
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
184
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...