Sciweavers

1329 search results - page 44 / 266
» Models and solution techniques for frequency assignment prob...
Sort
View
ENTCS
2007
99views more  ENTCS 2007»
14 years 11 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
DISOPT
2010
138views more  DISOPT 2010»
14 years 12 months ago
The Delivery Man Problem with time windows
In this paper, a variant of the Traveling Salesman Problem with Time Windows is considered, which consists in minimizing the sum of travel durations between a depot and several cu...
Géraldine Heilporn, Jean-François Co...
GAMEON
2000
15 years 1 months ago
Artificial Life Techniques for Generating Controllers for Physically Modelled Characters
The realistic physical modelling of characters in games and virtual worlds is becoming a viable alternative to more traditional animation techniques. Physical modelling can enhanc...
Tim Taylor
RTCSA
2006
IEEE
15 years 5 months ago
Towards an Analysis of Garbage Collection Techniques for Embedded Real-Time Java Systems
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
M. Teresa Higuera-Toledano
ICCSA
2004
Springer
15 years 5 months ago
Advanced Simulation Technique for Modeling Multiphase Fluid Flow in Porous Media
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
Jong G. Kim, Hyoung-Woo Park