1707 search results - page 150 / 342 » Early Integer Programming |
104
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
119
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
161
click to vote
ARITH
2009
IEEE
15 years 6 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...
115
click to vote
DATE
2004
IEEE
15 years 6 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...
110
Voted
COCO
2006
Springer
15 years 6 months ago
2006
Springer
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the...