Sciweavers

950 search results - page 107 / 190
» Pin-pointing concept descriptions
Sort
View
DATE
2009
IEEE
125views Hardware» more  DATE 2009»
15 years 11 months ago
HLS-l: High-level synthesis of high performance latch-based circuits
An inherent performance gap between custom designs and ASICs is one of the reasons why many designers still start their designs from register transfer level (RTL) description rath...
Seungwhun Paik, Insup Shin, Youngsoo Shin
ICDE
2008
IEEE
118views Database» more  ICDE 2008»
15 years 11 months ago
OntoNet: Scalable knowledge-based networking
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
Joseph B. Kopena, Boon Thau Loo
ECOWS
2007
Springer
15 years 11 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
ER
2007
Springer
187views Database» more  ER 2007»
15 years 11 months ago
Metamodeling Integration Architecture for Open Biomedical Ontologies: The GO Extensions' Case Study
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
15 years 10 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu