675 search results - page 43 / 135 » Using Fairness to Make Abstractions Work |
154
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—Intra-session network coding is known to be vulnerable to pollution attacks. In this work, first, we introduce a novel homomorphic MAC scheme called SpaceMac, which all...
130
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bundle adjustment for multi-view reconstruction is traditionally done using the Levenberg-Marquardt algorithm with a direct linear solver, which is computationally very e...
131
click to vote
ANCS
2007
ACM
15 years 7 months ago
2007
ACM
To realize a path in an InfiniBand network, an address, known as Local IDentifier (LID) in the InfiniBand specification, must be assigned to the destination and used in the forwar...
136
Voted
JUCS
2008
15 years 3 months ago
2008
Abstract: Nowadays, more and more users make use of web-based collaborative systems. Users participate in communities or search for and provide information in webbased systems. The...
130
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...