DATE
2009
IEEE
14 years 17 days ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
FPL
2007
Springer
14 years 17 days ago
2007
Springer
Recently, there is a surge of interests in using FPGAs for computer architecture research including applications from emulating and analyzing a new platform to accelerating microa...
FPL
2007
Springer
14 years 17 days ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
FPL
2007
Springer
14 years 17 days ago
2007
Springer
FPL
2007
Springer
14 years 17 days ago
2007
Springer
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. These custom instructions are selected through an analys...
FPGA
2007
ACM
14 years 17 days ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
SAT
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
SAT
2010
Springer
14 years 17 days ago
2010
Springer
SAT
2010
Springer
14 years 17 days ago
2010
Springer
SAT
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to ...