Sciweavers

2452 search results - page 373 / 491
» The Case for Precision Sharing
Sort
View
COCO
2007
Springer
109views Algorithms» more  COCO 2007»
16 years 11 days ago
Perfect Parallel Repetition Theorem for Quantum XOR Proof Systems
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
Richard Cleve, William Slofstra, Falk Unger, Sarva...
ESTIMEDIA
2007
Springer
16 years 11 days ago
Network Calculus Applied to Verification of Memory Access Performance in SoCs
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
Tomas Henriksson, Pieter van der Wolf, Axel Jantsc...
ESWS
2007
Springer
16 years 11 days ago
Towards a Semantic Wiki for Science
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
Christoph Lange 0002
ICALP
2007
Springer
16 years 11 days ago
Private Multiparty Sampling and Approximation of Vector Combinations
We consider the problem of private efficient data mining of vertically-partitioned databases. Each of several parties holds a column of a data matrix (a vector) and the parties wan...
Yuval Ishai, Tal Malkin, Martin J. Strauss, Rebecc...
142
Voted
RV
2007
Springer
74views Hardware» more  RV 2007»
16 years 9 days ago
Rollback Atomicity
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
Serdar Tasiran, Tayfun Elmas