10159 search results - page 382 / 2032 » System Design Validation Using Formal Models |
109
click to vote
ICVGIP
2004
15 years 5 months ago
2004
The size and detail of graphics environments in everyday use has gone up considerably recently. Still, most applications use locally resident geometric content for rendering. In t...
130
click to vote
WSC
1997
15 years 5 months ago
1997
Evaluating, analyzing and predicting the performance of a parallel system is challenging due to the complex inter-play between the application characteristics and architectural fe...
151
Voted
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
160
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
In main-memory databases, the number of processor cache misses has a critical impact on the performance of the system. Cacheconscious indices are designed to improve performance b...
127
click to vote
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...