12032 search results - page 424 / 2407 » Simulation of Manufacturing Systems |
169
click to vote
ISPASS
2005
IEEE
16 years 15 days ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
168
click to vote
ECAL
2005
Springer
16 years 14 days ago
2005
Springer
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
209
click to vote
ICCS
2004
Springer
16 years 9 days ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
179
click to vote
WADT
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
198
click to vote
ESTIMEDIA
2003
Springer
16 years 4 days ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...