Sciweavers

424 search results - page 59 / 85
» types 1999
Sort
View
142
Voted
PLDI
1999
ACM
15 years 8 months ago
Pointer Analysis for Multithreaded Programs
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
Radu Rugina, Martin C. Rinard
140
Voted
PODC
1999
ACM
15 years 8 months ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...
PODS
1999
ACM
133views Database» more  PODS 1999»
15 years 8 months ago
Processing and Optimization of Multiway Spatial Joins Using R-Trees
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
Dimitris Papadias, Nikos Mamoulis, Yannis Theodori...
136
Voted
POPL
1999
ACM
15 years 8 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
SI3D
1999
ACM
15 years 8 months ago
Toolspaces and glances: storing, accessing, and retrieving objects in 3D desktop applications
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
Jeffrey S. Pierce, Matthew Conway, Maarten van Dan...