460 search results - page 59 / 92 » RTL-Datapath Verification using Integer Linear Programming |
94
Voted
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
123
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
98
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied...
129
Voted
ISSS
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
107
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...