Sciweavers

1010 search results - page 59 / 202
» Logics for Contravariant Simulations
Sort
View
PATMOS
2004
Springer
14 years 1 months ago
Leakage Power Analysis and Comparison of Deep Submicron Logic Gates
Basic combinational gates, including NAND, NOR and XOR, are fundamental building blocks in CMOS digital circuits. This paper analyses and compares the power consumption due to tran...
Geoff V. Merrett, Bashir M. Al-Hashimi
ICTCS
2003
Springer
14 years 1 months ago
On the Computational Complexity of Cut-Elimination in Linear Logic
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
Harry G. Mairson, Kazushige Terui
FCCM
2002
IEEE
119views VLSI» more  FCCM 2002»
14 years 1 months ago
Using On-Chip Configurable Logic to Reduce Embedded System Software Energy
We examine the energy savings possible by re-mapping critical software loops from a microprocessor to configurable logic appearing on the same-chip in commodity chips now commerci...
Greg Stitt, Brian Grattan, Jason R. Villarreal, Fr...
ASPDAC
2008
ACM
151views Hardware» more  ASPDAC 2008»
13 years 10 months ago
High performance current-mode differential logic
This paper presents a new logic style, named Current-Mode Differential logic (CMDL), that achieves both high operating speed and low power consumption. Inspired by the low-voltage ...
Ling Zhang, Jianhua Liu, Haikun Zhu, Chung-Kuan Ch...
ISM
2006
IEEE
125views Multimedia» more  ISM 2006»
14 years 2 months ago
Chalklets: Developing Applications for a Board Environment
This paper presents a framework for interactive applications running in a lecture recording system using the board as interface metaphor. A number of such applications, called Cha...
Lars Knipping, Marcus Liwicki