Sciweavers

896 search results - page 62 / 180
» Stepwise Refinement of Processes
Sort
View
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
15 years 1 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
CSREAESA
2004
14 years 11 months ago
An Energy-Aware Synthesis Methodology for OS-Driven Multi-Process Embedded Software
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
ICIP
2004
IEEE
15 years 11 months ago
Fast alignment of digital images using a lower bound on an entropy metric
We propose a registration algorithm based on successively refined quantization and an alignment metric derived from a minimal spanning tree entropy estimate. The metric favors edg...
Mert R. Sabuncu, Peter J. Ramadge
ICPR
2004
IEEE
15 years 11 months ago
Moving Object Extraction with a Localized Pyramid
In this paper, we present a tracking initialization method that combines a rough extraction of moving objects and a refined segmentation of their contours. The extraction of movin...
Jérémy Huart, Guillaume Foret, Pasca...
ICSEA
2006
IEEE
15 years 3 months ago
Reflection: Improving Research through Knowledge Transfer
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
Andre Oboler, Simon Lock, Ian Sommerville