3192 search results - page 207 / 639 » Translating Model Simulators to Analysis Models |
130
click to vote
MASCOTS
1997
15 years 4 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
132
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
128
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
133
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
AIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...