Sciweavers

2211 search results - page 78 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
ISCAS
2007
IEEE
89views Hardware» more  ISCAS 2007»
15 years 4 months ago
Switching Phase States of Chaotic Circuits Coupled by Time-Varying Resistor
— In this study, two chaotic circuits coupled by a time-varying resistor are investigated. We assume that the timevarying resistor is realized by switching a positive and a negat...
Yoko Uwate, Yoshifumi Nishio
SIGSOFT
2007
ACM
15 years 10 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
IACR
2011
115views more  IACR 2011»
13 years 9 months ago
Multi-Server Oblivious RAM
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
Steve Lu, Rafail Ostrovsky
WSC
2007
15 years 5 days ago
Simulation-aided path planning of UAV
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
Farzad Kamrani, Rassul Ayani
AMC
2007
103views more  AMC 2007»
14 years 10 months ago
Ballistic missile trajectory prediction using a state transition matrix
A method for the determination of the trajectory of a ballistic missile over a rotating, spherical Earth given only the launch position and impact point has been developed. The it...
W. J. Harlin, D. A. Cicci