10159 search results - page 77 / 2032 » System Design Validation Using Formal Models |
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
QOSA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
IADIS
2004
13 years 9 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
PDP
2006
IEEE
14 years 2 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...