1938 search results - page 164 / 388 » Dependable Software |
132
click to vote
JSS
2010
14 years 9 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
128
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
102
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
110
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...