Sciweavers

2838 search results - page 288 / 568
» Verifying Controlled Components
Sort
View
127
Voted
PATMOS
2005
Springer
15 years 8 months ago
Power - Performance Optimization for Custom Digital Circuits
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
Radu Zlatanovici, Borivoje Nikolic
113
Voted
EMSOFT
2004
Springer
15 years 8 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
118
Voted
ISCIS
2004
Springer
15 years 8 months ago
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
Andrea Matta, Carlo A. Furia, Matteo Rossi
128
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 8 months ago
Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
Marco Caldari, Massimo Conti, Massimo Coppola, Ste...
127
Voted
ICDAR
2003
IEEE
15 years 8 months ago
An Approach to Extracting the Target Text Line from a Document Image Captured by a Pen Scanner
In this paper, we present a new approach to extracting the target text line from a document image captured by a pen scanner. Given the binary image, a set of possible text lines a...
Zhen-Long Bai, Qiang Huo