Sciweavers

2421 search results - page 151 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
EVOW
2003
Springer
15 years 6 months ago
GAME-HDL: Implementation of Evolutionary Algorithms Using Hardware Description Languages
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...
Rolf Drechsler, Nicole Drechsler
SIGMOD
2012
ACM
230views Database» more  SIGMOD 2012»
13 years 3 months ago
Pay-as-you-go data integration for linked data: opportunities, challenges and architectures
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
Norman W. Paton, Klitos Christodoulou, Alvaro A. A...
SPLC
2004
15 years 2 months ago
A Feature-Based Approach to Product Line Production Planning
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
Jaejoon Lee, Kyo Chul Kang, Sajoong Kim
CAIP
1999
Springer
15 years 5 months ago
Shift Detection by Restoration
In this paper an approach is presented for robust shift detection of two given images. The new unifying idea is that we determine a shifted delta impulse using some well-known res...
Herbert Süße, Klaus Voss, Wolfgang Ortm...
131
Voted
FDL
2004
IEEE
15 years 4 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng