713 search results - page 45 / 143 » Toward a More Reliable Theory of Software Reliability |
JAMDS
2000
13 years 8 months ago
2000
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
ICSE
2011
IEEE-ACM
13 years 3 days ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
To improve performance and reduce power, processor designers employ advances that shrink feature sizes, lower voltage levels, reduce noise margins, and increase clock rates. Howev...
AISC
1998
Springer
14 years 27 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...