Sciweavers

1916 search results - page 265 / 384
» Reconfiguring a state machine
Sort
View
ICES
2003
Springer
93views Hardware» more  ICES 2003»
14 years 2 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...
ICSOC
2003
Springer
14 years 2 months ago
Model Checking Correctness Properties of Electronic Contracts
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
Ellis Solaiman, Carlos Molina-Jiménez, Sant...
DSD
2002
IEEE
93views Hardware» more  DSD 2002»
14 years 2 months ago
Fault Latencies of Concurrent Checking FSMs
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
Roman Goot, Ilya Levin, Sergei Ostanin
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
14 years 2 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
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
14 years 2 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