Sciweavers

6834 search results - page 120 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
141
Voted
NJC
2006
119views more  NJC 2006»
15 years 3 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...
158
Voted
ESEM
2007
ACM
15 years 7 months ago
Proposal of a Complete Life Cycle In-Process Measurement Model Based on Evaluation of an In-Process Measurement Experiment Using
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Sei...
142
Voted
DATE
2004
IEEE
181views Hardware» more  DATE 2004»
15 years 7 months ago
A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models
Retargetable C compilers are key tools for efficient architecture exploration for embedded processors. In this paper we describe a novel approach to retargetable compilation based...
Manuel Hohenauer, Hanno Scharwächter, Kingshu...
111
Voted
HPDC
1998
IEEE
15 years 7 months ago
Extending Metasystem Functionality Using Reflection
To support a vast set of user requirements, flexibility and extensibility are essential features of a metasystem architecture. We present an execution model, the Reflective Graph ...
Anh Nguyen-Tuong, Steve J. Chapin, Andrew S. Grims...
156
Voted
FORMATS
2004
Springer
15 years 7 months ago
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
Bruno Dutertre, Maria Sorea