4340 search results - page 786 / 868 » Designing for change |
123
Voted
ICCAD
2006
IEEE
16 years 25 days ago
2006
IEEE
Electrostatic analysis of complicated molecular surfaces arises in a number of nanotechnology applications including: biomolecule design, carbon nanotube simulation, and molecular...
136
Voted
ICCAD
2006
IEEE
16 years 25 days ago
2006
IEEE
A dynamically reconfigurable processor (DRP) is designed to achieve high area efficiency by switching reconfigurable data paths dynamically. Our DRP architecture has a stand alone...
148
click to vote
ICCAD
2002
IEEE
16 years 25 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
135
click to vote
ICCAD
2001
IEEE
16 years 25 days ago
2001
IEEE
Abstract: We propose an effective algorithm for power optimization in behavioral synthesis. In previous work, it has been shown that several hardware allocation/binding problems fo...
133
Voted
SOSP
2003
ACM
16 years 25 days ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...