Sciweavers

788 search results - page 130 / 158
» An Experiment on the Effect of Design Recording on Impact An...
Sort
View
CCS
2010
ACM
13 years 5 months ago
Practical leakage-resilient pseudorandom generators
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
Yu Yu, François-Xavier Standaert, Olivier P...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
14 years 9 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
ICRA
2008
IEEE
143views Robotics» more  ICRA 2008»
14 years 2 months ago
How morphology affects self-assembly in a stochastic modular robot
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...
Shuhei Miyashita, Max Kessler, Marco Lungarella
ICMCS
2006
IEEE
181views Multimedia» more  ICMCS 2006»
14 years 2 months ago
A Novel Distributed and Practical Incentive Mechanism for Peer to Peer Live Video Streaming
The successful deployment of peer-to-peer (P2P) live video streaming systems has practically demonstrated that it can scale to reliably support a large population of peers. Howeve...
Yun Tang, Lifeng Sun, Meng Zhang, Shiqiang Yang, Y...
IPTPS
2005
Springer
14 years 2 months ago
An Empirical Study of Free-Riding Behavior in the Maze P2P File-Sharing System
Maze1 is a P2P file-sharing system with an active and large user base. It is developed, deployed and operated by an academic research team. As such, it offers ample opportunities ...
Mao Yang, Zheng Zhang, Xiaoming Li, Yafei Dai