Sciweavers

1172 search results - page 121 / 235
» Constructions of generalized Sidon sets
Sort
View
CHI
2004
ACM
16 years 6 months ago
DiamondSpin: an extensible toolkit for around-the-table interaction
DiamondSpin is a toolkit for the efficient prototyping of and experimentation with multi-person, concurrent interfaces for interactive shared displays. In this paper, we identify ...
Chia Shen, Clifton Forlines, Frédéri...
POPL
2007
ACM
16 years 6 months ago
Lock allocation
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Ru...
STOC
2002
ACM
152views Algorithms» more  STOC 2002»
16 years 6 months ago
Universally composable two-party and multi-party secure computation
d Abstract) Ran Canetti Yehuda Lindell Rafail Ostrovsky Amit Sahai? We show how to securely realize any multi-party functionality in a universally composable way, regardless of th...
Ran Canetti, Yehuda Lindell, Rafail Ostrovsky, Ami...
SIGMOD
2009
ACM
177views Database» more  SIGMOD 2009»
16 years 6 months ago
ORDEN: outlier region detection and exploration in sensor networks
Sensor networks play a central role in applications that monitor variables in geographic areas such as the traffic volume on roads or the temperature in the environment. A key fea...
Conny Franke, Michael Gertz
ICSE
2008
IEEE-ACM
16 years 6 months ago
Celadon: a change impact analysis tool for aspect-oriented programs
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao