2662 search results - page 235 / 533 » Objects-early tools: a demonstration |
127
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
122
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
GLVLSI
2000
IEEE
15 years 6 months ago
2000
IEEE
System-level power exploration requires tools for estimation of the overall power consumed by a system, as well as a detailed breakdown of the consumption of its main functional b...
ICDAR
1999
IEEE
15 years 6 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
145
click to vote
ATS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a new effective Built-In Self Test (BIST) scheme that achieves 100% fault coverage with low area overhead, and without any modification of the circuit under tes...