1187 search results - page 165 / 238 » On Modeling Cross-Talk Faults |
RTAS
2009
IEEE
14 years 3 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
ISSRE
2007
IEEE
13 years 10 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
WMPI
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. Many applications with large data spaces that cannot run on a typical workstation (due to page faults) call for techniques to expand the effective memory size. One such t...