Sciweavers

4325 search results - page 343 / 865
» Incremental computation with names
Sort
View
ICPADS
2006
IEEE
16 years 26 days ago
Coloring the Internet: IP Traceback
Several IP Traceback schemes employing packet marking have been proposed to trace DoS/DDoS attacks that use source address spoofing. The major challenges in the design of an ef...
Muthusrinivasan Muthuprasanna, G. Manimaran, Manso...
172
Voted
ICRA
2006
IEEE
90views Robotics» more  ICRA 2006»
16 years 26 days ago
A Fast and Adaptive Test of Static Equilibrium for Legged Robots
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
Timothy Bretl, Sanjay Lall
RTAS
2006
IEEE
16 years 25 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
VTC
2006
IEEE
16 years 25 days ago
MC-CDMA HARQ with Variable Spreading Factor
This paper presents a hybrid automatic repeat request (HARQ) with variable spreading factor (VSF) suitable for a multicarrer code division multiple access (MC-CDMA). We consider a ...
Shinsuke Takaoka, Haris Gacanin, Fumiyuki Adachi
185
Voted
COMPGEOM
2006
ACM
16 years 24 days ago
Engineering a compact parallel delaunay algorithm in 3D
We describe an implementation of a compact parallel algorithm for 3D Delaunay tetrahedralization on a 64-processor shared-memory machine. Our algorithm uses a concurrent version o...
Daniel K. Blandford, Guy E. Blelloch, Clemens Kado...