Sciweavers

7271 search results - page 311 / 1455
» Fault-Tolerant Distributed Simulation
Sort
View
INFOCOM
2012
IEEE
13 years 9 months ago
Distributed storage codes reduce latency in vehicular networks
—We investigate the benefits of distributed storage using erasure codes for file sharing in vehicular networks through realistic trace-based simulations. We find that coding o...
Maheswaran Sathiamoorthy, Alexandros G. Dimakis, B...
TKDE
2012
198views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Distributed Line Graphs: A Universal Technique for Designing DHTs Based on Arbitrary Regular Graphs
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
Yiming Zhang, Ling Liu
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
16 years 29 days ago
Component-Based Hardware/Software Co-Simulation
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
Ping Hang Cheung, Kecheng Hao, Fei Xie
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
16 years 3 days ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
EUROPAR
2004
Springer
16 years 16 hour ago
A Parallel PSPG Finite Element Method for Direct Simulation of Incompressible Flow
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
Jörg Stiller, Karel Frana, Roger Grundmann, U...