9888 search results - page 1840 / 1978 » compute 2009 |
180
click to vote
SLS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In this paper, a real-life routing and scheduling problem encountered is addressed. The problem, which consists in optimizing the delivery of fluids by tank trucks on a ...
160
click to vote
ASSETS
2009
ACM
16 years 28 days ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
180
click to vote
CASES
2009
ACM
16 years 28 days ago
2009
ACM
As technology scales and the energy of computation continually approaches thermal equilibrium [1,2], parameter variations and noise levels will lead to larger error rates at vario...
164
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
210
click to vote
HASKELL
2009
ACM
16 years 28 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...