Sciweavers

2467 search results - page 383 / 494
» Finite State Machines
Sort
View
94
Voted
ICES
2003
Springer
93views Hardware» more  ICES 2003»
15 years 5 months ago
A Genetic Representation for Evolutionary Fault Recovery in Virtex FPGAs
Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of tra...
Jason D. Lohn, Gregory V. Larchev, Ronald F. DeMar...
83
Voted
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 5 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes
112
Voted
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
15 years 5 months ago
Detecting Surface Features During Locomotion using Optic Flow
We test the hypothesis that: (1) Optic flow can be used to detect significant environmental features during locomotion in a biped, even given significant up and down movement and j...
M. Anthony Lewis
IPPS
2002
IEEE
15 years 5 months ago
Fault-Tolerance in the Network Storage Stack
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
Scott Atchley, Stephen Soltesz, James S. Plank, Mi...
ISSRE
2002
IEEE
15 years 5 months ago
Saturation Effects in Testing of Formal Models
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Tim Menzies, David Owen, Bojan Cukic