Sciweavers

12272 search results - page 328 / 2455
» Experimental program analysis
Sort
View
ECP
1997
Springer
130views Robotics» more  ECP 1997»
15 years 11 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler
AAAI
2007
15 years 9 months ago
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming
A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and servic...
Daria Terekhov, J. Christopher Beck, Kenneth N. Br...
ESANN
2006
15 years 8 months ago
Learning for stochastic dynamic programming
Abstract. We present experimental results about learning function values (i.e. Bellman values) in stochastic dynamic programming (SDP). All results come from openDP (opendp.sourcef...
Sylvain Gelly, Jérémie Mary, Olivier...
MJ
2007
66views more  MJ 2007»
15 years 6 months ago
Staircase-down SET programming approach for phase-change memories
This paper presents a staircase-down SET programming technique for phase-change memories (PCMs). The proposed programming approach allows compensating for spreads in cell physical...
Ferdinando Bedeschi, Chiara Boffino, Edoardo Boniz...
PAAPP
2002
101views more  PAAPP 2002»
15 years 6 months ago
Static performance prediction of skeletal parallel programs
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
Yasushi Hayashi, Murray Cole