6167 search results - page 1019 / 1234 » Can Refinement be Automated |
CODES
1998
IEEE
14 years 2 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
DEXAW
1998
IEEE
14 years 2 months ago
1998
IEEE
Due to the increasingly di culty of discovering patterns in real-world databases using only conventional OLAP tools, an automated process such as data mining is currently essentia...
ICCAD
1998
IEEE
14 years 2 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
ROBOCUP
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...