Sciweavers

1464 search results - page 71 / 293
» Behavioral optimization using the manipulation of timing con...
Sort
View
AI
2008
Springer
13 years 9 months ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
Ian P. Gent, Ian Miguel, Peter Nightingale
CPAIOR
2007
Springer
14 years 2 months ago
Solving a Stochastic Queueing Control Problem with Constraint Programming
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custome...
Daria Terekhov, J. Christopher Beck
PLANX
2007
13 years 10 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
MICRO
2010
IEEE
210views Hardware» more  MICRO 2010»
13 years 6 months ago
Thread Cluster Memory Scheduling: Exploiting Differences in Memory Access Behavior
In a modern chip-multiprocessor system, memory is a shared resource among multiple concurrently executing threads. The memory scheduling algorithm should resolve memory contention...
Yoongu Kim, Michael Papamichael, Onur Mutlu, Mor H...
SI3D
1999
ACM
14 years 1 months ago
Haptic sculpting of dynamic surfaces
Conventional free-form surface design usually require tedious control-point manipulation and/or painstaking constraint specification via unnatural mouse-based interfaces. This pa...
Frank Dachille, Hong Qin, Arie E. Kaufman, Jihad E...