224 search results - page 19 / 45 » A Modeling Paradigm for Integrated Modular Avionics Design |
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
HICSS
1998
IEEE
13 years 11 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
SIGGRAPH
1991
ACM
13 years 11 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
APSEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...