3579 search results - page 184 / 716 » Transformations of software models into performance models |
121
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
115
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper give...
144
click to vote
IJPRAI
2010
15 years 2 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
139
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
126
click to vote
WICSA
2001
15 years 6 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...