Sciweavers

12373 search results - page 173 / 2475
» Semi-Logarithmic Number Systems
Sort
View
SRDS
2000
IEEE
14 years 2 months ago
Using Multicast Communication to Reduce Deadlock in Replicated Databases
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi
INFORMATICALT
2010
99views more  INFORMATICALT 2010»
13 years 8 months ago
Security Analysis of Asymmetric Cipher Protocol Based on Matrix Decomposition Problem
The asymmetric cipher protocol, based on decomposition problem in matrix semiring M over semiring of natural numbers N is presented. The security of presented cipher protocol is ba...
Andrius Raulynaitis, Eligijus Sakalauskas, Saulius...
CADE
2008
Springer
14 years 10 months ago
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
Geoff Sutcliffe, Jirí Vyskocil, Josef Urban...
CRYPTO
2005
Springer
135views Cryptology» more  CRYPTO 2005»
14 years 3 months ago
Collusion Resistant Broadcast Encryption with Short Ciphertexts and Private Keys
We describe two new public key broadcast encryption systems for stateless receivers. Both systems are fully secure against any number of colluders. In our first construction both...
Dan Boneh, Craig Gentry, Brent Waters
FCCM
2000
IEEE
133views VLSI» more  FCCM 2000»
14 years 2 months ago
Configuration Caching Management Techniques for Reconfigurable Computing
Although run-time reconfigurable systems have been shown to achieve very high performance, the speedups over traditional microprocessor systems are limited by the cost of configur...
Zhiyuan Li, Katherine Compton, Scott Hauck