Sciweavers

632 search results - page 3 / 127
» C and C Style Guides
Sort
View
101
Voted
ARVLSI
1999
IEEE
151views VLSI» more  ARVLSI 1999»
15 years 6 months ago
Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing
Nestoras Tzartzanis, William C. Athas
LICS
1987
IEEE
15 years 5 months ago
Kripke-Style models for typed lambda calculus
John C. Mitchell, Eugenio Moggi

Book
411views
16 years 11 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
IEE
2000
143views more  IEE 2000»
15 years 1 months ago
Object-oriented preprocessor fit for C++
: C++ retains the ANSI C preprocessor, although its limitations have been widely recognised. We describe FOG, a meta-compiler for a super-set of C++, that provides replacement prep...
Edward D. Willink, Vyacheslav B. Muchnick
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
15 years 7 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi