Sciweavers

138 search results - page 8 / 28
» Compiled-code-based simulation with timing verification
Sort
View
126
Voted
CAMAD
2006
IEEE
15 years 1 months ago
Nessi: a python network simulator for fast protocol development
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
Jérôme Vernez, Jürgen Ehrensberg...
EPK
2006
114views Management» more  EPK 2006»
15 years 1 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
82
Voted
EMSOFT
2004
Springer
15 years 5 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
EMSOFT
2004
Springer
15 years 3 months ago
Separation of concerns: overhead in modeling and efficient simulation techniques
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
Guang Yang 0004, Alberto L. Sangiovanni-Vincentell...
WSC
2008
15 years 1 months ago
Simulation analysis of cluster tool operations in wafer fabrication
Cluster tools have been one of the proposed alternatives to improve operations performance in semiconductor fabrication. The benefits include high yield throughput, less contamina...
Amit Kumar Gupta, Peter Lendermann, Appa Iyer Siva...