467 search results - page 39 / 94 » Partial Behavioural Models for Requirements and Early Design |
173
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
167
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
149
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
152
click to vote
CODES
2007
IEEE
16 years 9 days ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
153
click to vote
SLIP
2003
ACM
15 years 11 months ago
2003
ACM
In the past, a priori interconnect prediction, based on Rent’s rule, has been applied mainly for technology evaluation and roadmap applications. These applications do not requir...