4164 search results - page 604 / 833 » Timing model reduction for hierarchical timing analysis |
169
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Providing a comprehensive set of relevant information at the point of care is crucial for making correct clinical decisions in a timely manner. Retrieval of scenario specific inf...
198
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
164
Voted
FASE
1998
Springer
15 years 11 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
148
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
162
Voted
JLP
2008
15 years 6 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...