4586 search results - page 785 / 918 » Computing stable models in parallel |
118
click to vote
DEDS
2006
15 years 1 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
111
Voted
PC
2002
15 years 1 months ago
2002
This paper presents a solution to the open problem of finding the optimal tile size to minimise the execution time of a parallelogram-shaped iteration space on a distributed memory...
104
click to vote
SIMULATION
2002
15 years 1 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
126
Voted
MAGS
2007
15 years 1 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
140
click to vote
MICCAI
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...