Sciweavers

4716 search results - page 680 / 944
» Tangible functional programming
Sort
View
AGP
1999
IEEE
15 years 3 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning
HOTOS
1999
IEEE
15 years 3 months ago
The Case for Higher-Level Power Management
Reducing the energy consumed in the use of computing devices is becoming a major design challenge. While the problem obviously must be addressed with improved low-level technology...
Carla Schlatter Ellis
ICCAD
1999
IEEE
120views Hardware» more  ICCAD 1999»
15 years 3 months ago
Design and optimization of LC oscillators
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...
Maria del Mar Hershenson, Ali Hajimiri, Sunderaraj...
ISWC
1999
IEEE
15 years 3 months ago
Realtime Personal Positioning System for Wearable Computers
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...
Hisashi Aoki, Bernt Schiele, Alex Pentland
ECAL
1999
Springer
15 years 3 months ago
Arithmetic Operations on Self-Replicating Cellular Automata
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
Enrico Petraglio, Jean-Marc Henry, Gianluca Tempes...