1274 search results - page 116 / 255 » N-fold integer programming |
110
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
104
click to vote
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
Voted
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...