3224 search results - page 119 / 645 » Abstract Error Projection |
149
click to vote
SIAMSC
2010
15 years 1 months ago
2010
Abstract. The full multigrid (FMG) algorithm is often claimed to achieve so-called discretizationlevel accuracy. In this paper, this notion is formalized by defining a worst-case r...
163
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
181
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
167
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
170
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...