Sciweavers

4835 search results - page 704 / 967
» Refactoring Functional Programs
Sort
View
128
Voted
ACSE
2000
ACM
15 years 4 months ago
Concurrency, objects and visualisation
Object-oriented programming and concurrency are increasingly popular in computing education. Both are difficult topics in themselves, and the combination of both introduces subtle...
Chris Exton, Michael Kölling
AGP
1999
IEEE
15 years 4 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
81
Voted
HOTOS
1999
IEEE
15 years 4 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 4 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...
93
Voted
ISWC
1999
IEEE
15 years 4 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