105 search results - page 7 / 21 » In Vitro Implementation of Finite-State Machines |
154
Voted
PTS
2000
15 years 5 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
114
Voted
BIOCOMP
2006
15 years 5 months ago
2006
We propose a technique to diagnose and treat individual cells in the human body. A virus-like system delivers a copy of a diagnosis and treatment DNA complex to each cell. The comp...
141
Voted
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
119
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
117
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...