9110 search results - page 331 / 1822 » Formally-Based Design Evaluation |
174
click to vote
ECBS
2003
IEEE
15 years 12 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
190
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
241
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, a novel design is proposed for eliminating glitches and signal bounces during wake-up events that result from incorporating multi-threshold CMOS (MTCMOS) into async...
162
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
— With power a major limiting factor in the design of scalable interconnected systems, power-aware networks will become inherent components of single-chip and multi-chip systems....
159
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...