Sciweavers

3156 search results - page 72 / 632
» An address translation simulator
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Simulation and Implementation of the PTIDES Programming Model
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Patricia Derler, Edward A. Lee, Slobodan Matic
ROBOCUP
2001
Springer
104views Robotics» more  ROBOCUP 2001»
15 years 6 months ago
A Generalised Approach to Position Selection for Simulated Soccer Agents
Position selection is a key task that must be carried out by a soccer-playing agent, but is often overlooked in favour of the more active tasks such as ball control. This paper exa...
Matthew Hunter, Huosheng Hu
CARS
2004
15 years 2 months ago
Vessel segmentation and blood flow simulation using Level-Sets and Embedded Boundary methods
In this article we address the problem of blood flow simulation in realistic vascular objects. The anatomical surfaces are extracted by means of Level-Sets methods that accurately ...
Thomas Deschamps, P. Schwartz, D. Trebotich, P. Co...
SAT
2009
Springer
117views Hardware» more  SAT 2009»
15 years 8 months ago
Dynamic Symmetry Breaking by Simulating Zykov Contraction
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
Bas Schaafsma, Marijn Heule, Hans van Maaren
108
Voted
FTDCS
1999
IEEE
15 years 5 months ago
A Simulation Model of Task Cluster Scheduling in Distributed Systems
This paper addresses issues of task clustering-the coalition of several fine grain tasks into single coarser grain tasks called task clusters+md task cluster scheduling on distrib...
Helen D. Karatza