Sciweavers

3481 search results - page 312 / 697
» A New Approach to Component Testing
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Adaptive edge enhancement using a neurodynamical model of visual attention
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
Francesca Gasparini, Silvia Corchs, Raimondo Schet...
ICCAD
2007
IEEE
132views Hardware» more  ICCAD 2007»
16 years 3 months ago
Principle Hessian direction based parameter reduction with process variation
— As CMOS technology enters the nanometer regime, the increasing process variation is bringing manifest impact on circuit performance. In this paper, we propose a Principle Hessi...
Alexander V. Mitev, Michael Marefat, Dongsheng Ma,...
ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
16 years 1 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider
COMPSAC
2008
IEEE
16 years 1 months ago
Dealing with the Crosscutting Structure of Software Architectural Styles
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
Sam Malek
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...