1291 search results - page 89 / 259 » Arithmetic program paths |
106
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
92
Voted
ICALP
2010
Springer
15 years 5 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...
110
click to vote
HICSS
1995
IEEE
15 years 4 months ago
1995
IEEE
The computing community has long faced the problem of scientifically comparing different computers and different algorithms. When architecture, method, precision, or storage capac...
111
click to vote
CDES
2008
15 years 2 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
93
Voted
SODA
2003
ACM
15 years 2 months ago
2003
ACM
State-of-the-art linear programming (LP) solvers give solutions without any warranty. Solutions are not guaranteed to be optimal or even close to optimal. Of course, it is general...