Sciweavers

7557 search results - page 272 / 1512
» Constraints as a design pattern
Sort
View
VTS
1999
IEEE
106views Hardware» more  VTS 1999»
15 years 11 months ago
RT-level TPG Exploiting High-Level Synthesis Information
High-level test pattern generation is today a widely investigated research topic. The present paper proposes a fully automated, simulation-based ATPG system, to address test patte...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 10 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
ACMSE
2010
ACM
15 years 4 months ago
Pattern-based synonym and antonym extraction
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
ICASSP
2011
IEEE
14 years 10 months ago
Edge oriented directional Color Filter Array interpolation
Most of the current digital cameras feature a single sensor design which limits the number of channels recorded at each pixel location to one. However, a color image is represente...
Ibrahim Pekkucuksen, Yucel Altunbasak
GLOBE
2009
Springer
15 years 11 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman