Sciweavers

2191 search results - page 362 / 439
» Improving the Efficiency of Non-Deterministic Computations
Sort
View
ESORICS
2006
Springer
14 years 24 days ago
Secure Key-Updating for Lazy Revocation
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
Michael Backes, Christian Cachin, Alina Oprea
VLDB
1995
ACM
94views Database» more  VLDB 1995»
14 years 20 days ago
Value-cognizant Speculative Concurrency Control
We describe SCC-kS, a Speculative Concurrency Control (SCC) algorithm that allows a DBMS to use efficiently the extra computing resources available in the system to increase the l...
Azer Bestavros, Spyridon Braoudakis
WSC
2008
13 years 11 months ago
Modeling and simulation of e-mail social networks: A new stochastic agent-based approach
Understanding how the structure of a network evolves over time is one of the most interesting and complex topics in the field of social networks. In our attempt to model the dynam...
Fabian Menges, Bud Mishra, Giuseppe Narzisi
WSC
2007
13 years 11 months ago
Generic simulation of automotive assembly for interoperability testing
Computer simulation is effective in improving the efficiency of manufacturing system design, operation, and maintenance. Most simulation models are usually tailored to address a n...
Deogratias Kibira, Charles R. McLean
ASPDAC
2008
ACM
174views Hardware» more  ASPDAC 2008»
13 years 11 months ago
Chebyshev Affine Arithmetic based parametric yield prediction under limited descriptions of uncertainty
In modern circuit design, it is difficult to provide reliable parametric yield prediction since the real distribution of process data is hard to measure. Most existing approaches ...
Jin Sun, Yue Huang, Jun Li, Janet Meiling Wang