430 search results - page 76 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
JCM
2008
14 years 11 months ago
2008
Abstract--This paper presents measured results of manmade noise impact on an cryogenic receiver front-end (CRFE) in urban and suburban areas in the 2-GHz band with amplitude probab...
102
click to vote
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract-- Two-tier networks, comprising a conventional cellular network overlaid with shorter range hotspots (e.g. femtocells, distributed antennas, or wired relays), offer an eco...
VLSI
2010
Springer
14 years 6 months ago
2010
Springer
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
123
Voted
EUROPAR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...
CADE
2001
Springer
16 years 6 hour ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...