13041 search results - page 18 / 2609 » Simulating space and time |
144
click to vote
ENTCS
2006
15 years 4 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
130
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
153
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
153
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
139
click to vote
DSD
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...