Sciweavers

5401 search results - page 1001 / 1081
» Using Versions in GIS
Sort
View
105
Voted
HPCA
2006
IEEE
16 years 3 months ago
LogTM: log-based transactional memory
Transactional memory (TM) simplifies parallel programming by guaranteeing that transactions appear to execute atomically and in isolation. Implementing these properties includes p...
Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan...
120
Voted
CHI
2004
ACM
16 years 3 months ago
Multi-modal Interaction in Biomedicine
This chapter introduces the concept of multi-modal interaction and our findings related to the development of biomedical applications for two different projection modalities: virtu...
Elena V. Zudilova, Peter M. A. Sloot
228
Voted
POPL
2004
ACM
16 years 3 months ago
Free theorems in the presence of seq
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
Janis Voigtländer, Patricia Johann
125
Voted
STOC
2007
ACM
136views Algorithms» more  STOC 2007»
16 years 3 months ago
Exponential separations for one-way quantum communication complexity, with applications to cryptography
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...
Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, ...
STOC
2004
ACM
152views Algorithms» more  STOC 2004»
16 years 2 months ago
Exponential separation of quantum and classical one-way communication complexity
Abstract. We give the first exponential separation between quantum and bounded-error randomized one-way communication complexity. Specifically, we define the Hidden Matching Proble...
Ziv Bar-Yossef, T. S. Jayram, Iordanis Kerenidis
« Prev « First page 1001 / 1081 Last » Next »