5128 search results - page 226 / 1026 » When Abstraction Fails |
220
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
241
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
213
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
175
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Multicore SOCs rely on runtime thermal measurements using on-chip sensors for DTM. In this paper we address the problem of estimating the actual temperature of on-chip thermal sen...
206
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...