Sciweavers

4635 search results - page 222 / 927
» Modeling Design Knowledge on Structure
Sort
View
148
Voted
MTDT
2003
IEEE
164views Hardware» more  MTDT 2003»
15 years 9 months ago
Applying Defect-Based Test to Embedded Memories in a COT Model
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
Robert C. Aitken
132
Voted
CAIP
2001
Springer
165views Image Analysis» more  CAIP 2001»
15 years 8 months ago
A New Approach for Model-Based Adaptive Region Growing in Medical Image Analysis
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Regina Pohle, Klaus D. Tönnies
133
Voted
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 2 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
VLSID
2002
IEEE
172views VLSI» more  VLSID 2002»
16 years 4 months ago
Improvement of ASIC Design Processes
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
Vineet Sahula, C. P. Ravikumar, D. Nagchoudhuri
114
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 3 months ago
Synchronous Dataflow Pattern Matching
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
Grégoire Hamon