Sciweavers

4463 search results - page 546 / 893
» computer 2000
Sort
View
DATE
2000
IEEE
112views Hardware» more  DATE 2000»
15 years 9 months ago
Quantitative Comparison of Power Management Algorithms
Dynamic power management saves power by shutting down idle devices. Several management algorithms have been proposed and demonstrated effective in certain applications. We quantit...
Yung-Hsiang Lu, Eui-Young Chung, Tajana Simunic, G...
DEXAW
2000
IEEE
137views Database» more  DEXAW 2000»
15 years 9 months ago
A Holonic Component-Based Approach to Reconfigurable Manufacturing Control Architecture
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...
Jin-Lung Chirn, Duncan C. McFarlane
ECRTS
2000
IEEE
15 years 9 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
EUROMICRO
2000
IEEE
15 years 9 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
FCCM
2000
IEEE
103views VLSI» more  FCCM 2000»
15 years 9 months ago
A Networked FPGA-Based Hardware Implementation of a Neural Network Application
This paper describes a networked FPGA-based implementation of the FAST (Flexible Adaptable-Size Topology) architecture, a Arti cial Neural Network (ANN) that dynamically adapts it...
Héctor Fabio Restrepo, Ralph Hoffmann, Andr...