2062 search results - page 218 / 413 » Derivatives of Logical Formulas |
155
click to vote
MST
2011
14 years 11 months ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
110
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Metallic Carbon Nanotubes (CNTs) create source-drain shorts in Carbon Nanotube Field Effect Transistors (CNFETs), causing excessive leakage, degraded noise margin and delay variat...
134
click to vote
FDL
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
114
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
116
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
- This paper presents a placement-driven technology mapping procedure based on fuzzy delay curves. The fuzziness has been introduced to deal with the inherent vagueness in wiring l...