10159 search results - page 258 / 2032 » System Design Validation Using Formal Models |
128
click to vote
SIGMETRICS
1993
ACM
15 years 7 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
117
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
115
click to vote
DIAGRAMS
2000
Springer
15 years 7 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
142
click to vote
SEUS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
127
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...