Sciweavers

4156 search results - page 310 / 832
» Modeling and simulation of retrieving process
Sort
View
90
Voted
QEST
2008
IEEE
15 years 7 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
107
Voted
WSC
1997
15 years 2 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
101
Voted
DAC
2006
ACM
15 years 6 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
78
Voted
ATAL
2004
Springer
15 years 6 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
118
Voted
MODELS
2009
Springer
15 years 5 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...