9110 search results - page 254 / 1822 » Formally-Based Design Evaluation |
170
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
—In this paper, we introduce a novel reconfigurable architecture, named 3D nFPGA, which utilizes 3D integration techniques and new nanoscale materials synergistically. The propos...
169
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
155
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Historically, Harvey Mudd College (HMC) has had very little success attracting women to the study of computer science: women have chosen CS less than any other field of study. In...
191
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
The first memristor, originally theorized by Dr. Leon Chua in 1971, was identified by a team at HP Labs in 2008. This new fundamental circuit element is unique in that its resis...
141
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Proponents of utility-based scheduling policies have shown the potential for a 100–1400% increase in value-delivered to users when used in lieu of traditional approaches such as...