219 search results - page 29 / 44 » Context-aware counter abstraction |
FPL
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...
78
Voted
ICPP
1993
IEEE
15 years 1 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
AINTEC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Proactive routing protocols for mobile ad hoc networks currently offer few mechanisms to detect and/or counter malevolent nodes. Stability and performance of most, if not...
131
Voted
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Analysing Online Social Networks (OSN), voluntarily maintained and automatically exploitable databases of electronic personal information, promises a wealth of insight in...