Sciweavers

3483 search results - page 487 / 697
» Forward
Sort
View
ISER
1997
Springer
86views Robotics» more  ISER 1997»
15 years 10 months ago
Preliminary Experiments with an Actively Tuned Passive Dynamic Running Robot
: This paper describes experiments with an electrically actuated one legged hopping robot, the ARL Monopod. While a spring-mass system, comprised of the leg spring and the body mas...
Mojtaba Ahmadi, Martin Buehler
MICRO
1994
IEEE
123views Hardware» more  MICRO 1994»
15 years 10 months ago
The effects of predicated execution on branch prediction
High performance architectures have always had to deal with the performance-limiting impact of branch operations. Microprocessor designs are going to have to deal with this proble...
Gary S. Tyson
EPIA
1993
Springer
15 years 10 months ago
A Uniform Framework for Deductive Database Derivation Strategies
A uniform framework is presented to describe the most typical strategies that are used to compute answers to Deductive Databases. The framework is based on the definition of a ge...
Robert Demolombe
ACISP
2007
Springer
15 years 10 months ago
A New Strategy for Finding a Differential Path of SHA-1
In this paper, we propose a new construction algorithm for finding differential paths of Round 1 of SHA-1 for use in the collision search attack. Generally, the differential path o...
Jun Yajima, Yu Sasaki, Yusuke Naito, Terutoshi Iwa...
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 10 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti