Sciweavers

10718 search results - page 284 / 2144
» On the Circuit Implementation Problem
Sort
View
160
Voted
ISMVL
2006
IEEE
108views Hardware» more  ISMVL 2006»
16 years 19 days ago
A Novel Balanced Ternary Adder Using Recharged Semi-Floating Gate Devices
Abstract— This paper presents a novel voltage mode Balanced Ternary Adder (BTA), implemented with Recharged SemiFloating Gate Devices. By using balanced ternary notation, it poss...
Henning Gundersen, Yngvar Berg
DAC
1998
ACM
15 years 11 months ago
M32: A Constructive multilevel Logic Synthesis System
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
Victor N. Kravets, Karem A. Sakallah
ISLPED
1998
ACM
83views Hardware» more  ISLPED 1998»
15 years 11 months ago
A three-port adiabatic register file suitable for embedded applications
Adiabatic logic promises extremely low power consumption for those applications where slower clock rates are acceptable. However, there have been very few adiabatic memory designs...
Stephan Avery, Marwan A. Jabri
HASKELL
2007
ACM
15 years 10 months ago
A functional-logic library for wired
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
Matthew Naylor, Emil Axelsson, Colin Runciman
ICFP
2009
ACM
16 years 7 months ago
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
Tiark Rompf, Ingo Maier, Martin Odersky