Sciweavers

4156 search results - page 310 / 832
» Modeling and simulation of retrieving process
Sort
View
113
Voted
QEST
2008
IEEE
15 years 9 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
WSC
1997
15 years 4 months ago
Minimum Cost Adaptive Synchronization: Experiments with the ParaSol System
We present a novel adaptive synchronization algorithm, called the minimum average cost (MAC) algorithm, in the context of the ParaSol parallel simulation system. ParaSol is a mult...
Edward Mascarenhas, Felipe Knop, Vernon Rego
DAC
2006
ACM
15 years 9 months ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
ATAL
2004
Springer
15 years 8 months ago
Applying Distributed Adaptive Optimization to Digital Car Body Development
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
Sven Brueckner, Richard Gerth
MODELS
2009
Springer
15 years 7 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...