3792 search results - page 491 / 759 » Techniques for Trusted Software Engineering |
176
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
149
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
192
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
173
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
We introduce Re-FUSE, a framework that provides support for restartable user-level file systems. Re-FUSE monitors the user-level file-system and on a crash transparently restart...
183
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...