3836 search results - page 738 / 768 » Optimizing the Use of High Performance Software Libraries |
FSTTCS
2003
Springer
14 years 25 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
TRUST
2010
Springer
14 years 20 days ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
ICDCS
1997
IEEE
13 years 12 months ago
1997
IEEE
Load balancing is often used to ensure that nodes in a distributed systems are equally loaded. In this paper, we show that for real-time systems, load balancing is not desirable. ...
ICHIM
2001
13 years 9 months ago
2001
The Rock Art Project was set up by the Directorate for Cultural Heritage on behalf of the Norwegian Ministry of the Environment in 1996. The database was initiated within the EU-s...
BMCBI
2010
13 years 7 months ago
2010
Background: Whole genome association studies using highly dense single nucleotide polymorphisms (SNPs) are a set of methods to identify DNA markers associated with variation in a ...