Sciweavers

32 search results - page 1 / 7
» A Theory of Modulated Objects for New Shamanic Controller De...
Sort
View
NIME
2004
Springer
123views Music» more  NIME 2004»
13 years 10 months ago
A Theory of Modulated Objects for New Shamanic Controller Design
This paper describes a theory for modulated objects based on observations of recent musical interface design trends. The theory implies extensions to an object-based approach to c...
Matthew Burtner
ECOOP
2003
Springer
13 years 10 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ICNP
2002
IEEE
13 years 9 months ago
A Theory of Window-Based Unicast Congestion Control
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
Nishanth R. Sastry, Simon S. Lam
CODES
2006
IEEE
13 years 11 months ago
Thermal-aware high-level synthesis based on network flow method
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
Pilok Lim, Taewhan Kim
CORR
2002
Springer
131views Education» more  CORR 2002»
13 years 4 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann