Sciweavers

2421 search results - page 299 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
FMCAD
2007
Springer
15 years 8 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
AOSE
2008
Springer
15 years 7 months ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella
CDES
2006
107views Hardware» more  CDES 2006»
15 years 6 months ago
An Algorithm for Yield Improvement via Local Positioning and Resizing
The ability to improve the yield of integrated circuits through layout modification has been recognized and several techniques for yield enhanced routing and compaction have been ...
Vazgen Karapetyan
RSP
1999
IEEE
122views Control Systems» more  RSP 1999»
15 years 9 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
TOG
2008
140views more  TOG 2008»
15 years 4 months ago
Multidimensional adaptive sampling and reconstruction for ray tracing
We present a new adaptive sampling strategy for ray tracing. Our technique is specifically designed to handle multidimensional sample domains, and it is well suited for efficientl...
Toshiya Hachisuka, Wojciech Jarosz, Richard Peter ...