Sciweavers

7526 search results - page 274 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
TCAD
2010
121views more  TCAD 2010»
15 years 1 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
15 years 11 months ago
Incremental Compilation for Logic Emulation
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
Russell Tessier
HICSS
2005
IEEE
96views Biometrics» more  HICSS 2005»
16 years 9 days ago
Parallax, or Viewing Designs Through a Prism of Middleware Platforms
It is becoming more and more evident that the major hindrance to the proliferation and adoption of the MDA vision in the large is the current lack of tool support. Parallax, based...
Raul Silaghi, Alfred Strohmeier
ITNG
2010
IEEE
15 years 11 months ago
Architectural, Technological and Methodological Aspects Involved in Design and Engineering a Service-Oriented Geographic Intelli
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...
DKE
2008
114views more  DKE 2008»
15 years 6 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...