9842 search results - page 1690 / 1969 » Compositional timing analysis |
109
Voted
CGF
2002
15 years 3 months ago
2002
This paper presents an interactive global visualization technique for dense vector fields using levels of detail. We introduce a novel scheme which combines an error-controlled hi...
109
Voted
COMCOM
2000
15 years 3 months ago
2000
The new Path Length Control (PLC) algorithm establishes and maintains multicast trees which maximize the bandwidth to be shared by multiple receivers and which satisfy the maximum...
139
Voted
CL
2002
Springer
15 years 3 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
141
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
115
Voted
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...