Sciweavers

207 search results - page 12 / 42
» ideas 1999
Sort
View
ICFP
1999
ACM
15 years 2 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
ISLPED
1999
ACM
100views Hardware» more  ISLPED 1999»
15 years 2 months ago
Selective instruction compression for memory energy reduction in embedded systems
We propose a technique for reducing the energy required by rmware code to execute on embedded systems. The method is based on the idea of compressing the most commonly executed in...
Luca Benini, Alberto Macii, Enrico Macii, Massimo ...
ITICSE
1999
ACM
15 years 2 months ago
Distributed algorithms visualisation for educational purposes
We present our work on building interactive continuous visualisations of distributed algorithms for educational purposes. The animations are comprised by a set of visualisation wi...
Boris Koldehofe, Marina Papatriantafilou, Philippa...
DEXAW
1999
IEEE
98views Database» more  DEXAW 1999»
15 years 2 months ago
QoS Aware Distributed Query Processing
In the environment of wide-area networks such as the Internet, distributed query processing becomes problematic due to the changing coming from both underlying networks and user&#...
Haiwei Ye, Brigitte Kerhervé, Gregor von Bo...
83
Voted
PADS
1999
ACM
15 years 2 months ago
Active Virtual Network Management Protocol
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP, for predictive network management. It explains how the Active Virtual Network Mana...
Stephen F. Bush