11215 search results - page 315 / 2243 » Skeleton - Easy Simulation System |
218
click to vote
ICCS
2004
Springer
16 years 19 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...
192
click to vote
WADT
2004
Springer
16 years 18 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...
218
click to vote
ESTIMEDIA
2003
Springer
16 years 14 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...
177
click to vote
FIDJI
2003
Springer
16 years 14 days ago
2003
Springer
Spontaneous multihop networks with high device mobility and frequent fluctuations are interesting platforms for future distributed applications. Because of the large number of mob...
186
click to vote
DATE
2010
IEEE
16 years 10 days ago
2010
IEEE
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...