1585 search results - page 161 / 317 » A framework for computer-aided validation |
126
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
116
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
161
Voted
ISLPED
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a framework for CMOS ring oscillator phase noise analysis for given power consumption specifications. This model considers both linear and nonlinear operation...
147
Voted
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
121
Voted
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...