713 search results - page 99 / 143 » Toward a More Reliable Theory of Software Reliability |
185
click to vote
ASPLOS
2009
ACM
16 years 14 days ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
119
click to vote
PDP
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...
116
click to vote
COMSWARE
2008
IEEE
15 years 6 months ago
2008
IEEE
—For modern scientific applications such as astrophysics, astronomy, aerography, and biology, a large amount of storage space is required because of the large-scale datasets. Dat...