2976 search results - page 261 / 596 » On the bounded integer programming |
135
click to vote
ICALP
2004
Springer
15 years 10 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...
128
Voted
ICALP
2010
Springer
15 years 9 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...
143
click to vote
RTSS
1998
IEEE
15 years 9 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....
214
Voted
ARITH
2009
IEEE
15 years 9 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...
136
Voted
COCO
2006
Springer
15 years 8 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...