Sciweavers

5639 search results - page 468 / 1128
» Timed Abstract Non-interference
Sort
View
VEE
2010
ACM
191views Virtualization» more  VEE 2010»
15 years 12 months ago
Multi-stage replay with crosscut
Deterministic record-replay has many useful applications, ranging from fault tolerance and forensics to reproducing and diagnosing bugs. When choosing a record-replay solution, th...
Jim Chow, Dominic G. Lucchetti, Tal Garfinkel, Geo...
TEI
2009
ACM
89views Hardware» more  TEI 2009»
15 years 11 months ago
Running up Blueberry Hill: prototyping whole body interaction in harmony space
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
Simon Holland, Paul Marshall, Jon Bird, Nick Sheep...
GLOBECOM
2009
IEEE
15 years 11 months ago
On the Connectivity of Key-Distribution Strategies in Wireless Sensor Networks
Abstract—Wireless sensor networks (WSNs) are usually missioned to gather critical information in hostile and adversarial environments, which make them susceptible to compromise a...
Hosein Shafiei, Ahmad Khonsari, Mohammad Sadegh Ta...
P2P
2009
IEEE
137views Communications» more  P2P 2009»
15 years 11 months ago
Analysis of Failure Correlation Impact on Peer-to-Peer Storage Systems
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
Olivier Dalle, Frédéric Giroire, Jul...
RECONFIG
2009
IEEE
269views VLSI» more  RECONFIG 2009»
15 years 11 months ago
A 10 Gbps OTN Framer Implementation Targeting FPGA Devices
Abstract—Integrated circuits for very high-speed telecommunication protocols often use ASICs, due to their strict timing constraints. This scenario is changing, since modern FPGA...
Guilherme Guindani, Frederico Ferlini, Jeferson Ol...