Sciweavers

4378 search results - page 607 / 876
» On the Complexity of Ordered Colourings
Sort
View
IPPS
1996
IEEE
15 years 11 months ago
Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
Martin C. Rinard, Pedro C. Diniz
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CHI
1996
ACM
15 years 10 months ago
The Freedom to Work from an Arbitiary Position
We have designed two sets of communication tools to enable telepresence in groups who work in different locations. Afterwards we evaluated the tools. Studie (A), in the first grou...
Britt Jönsson, Anna Schömer, Konrad Toll...
SIGCOMM
1996
ACM
15 years 10 months ago
Hierarchical Packet Fair Queueing Algorithms
Hierarchical Packet Fair Queueing (H-PFQ)algorithms have the potential to simultaneously support guaranteed realtime service, rate-adaptive best-eort, and controlled linksharing s...
Jon C. R. Bennett, Hui Zhang
VLDB
1997
ACM
175views Database» more  VLDB 1997»
15 years 10 months ago
STING: A Statistical Information Grid Approach to Spatial Data Mining
Spatial data mining, i.e., discovery of interesting characteristics and patterns that may implicitly exist in spatial databases, is a challenging task due to the huge amounts of s...
Wei Wang 0010, Jiong Yang, Richard R. Muntz