1710 search results - page 196 / 342 » High-Level Programs and Program Conditions |
152
click to vote
ARITH
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
120
Voted
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
111
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
116
click to vote
WSC
2008
15 years 4 months ago
2008
It is well known from queueing and simulation models that cycle times in capacitated production systems increase nonlinearly with resource utilization, which poses considerable di...
127
click to vote
ECLIPSE
2005
ACM
15 years 3 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...