Sciweavers

2467 search results - page 29 / 494
» Finite State Machines
Sort
View
DDECS
2007
IEEE
106views Hardware» more  DDECS 2007»
15 years 8 months ago
A Proposal for ASM++ Diagrams
– Algorithmic State Machines are a 40-year old tool for the design of digital circuits. They are a good alternative to Finite State Machines, where only states can be properly de...
Santiago De Pablo, Santiago Cáceres, Jes&ua...
ADC
2004
Springer
106views Database» more  ADC 2004»
15 years 7 months ago
Customizing Internal Activity Behaviour for Flexible Process Enforcement
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
Belinda M. Carter, Joe Y.-C. Lin, Maria E. Orlowsk...
AICCSA
2007
IEEE
84views Hardware» more  AICCSA 2007»
15 years 8 months ago
Encoding Algorithms for Logic Synthesis
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
Valery Sklyarov, Iouliia Skliarova
BIOCOMP
2006
15 years 3 months ago
Toward In Vivo Disease Diagnosis and Treatment Using DNA
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...
Yuriy Brun, Manoj Gopalkrishnan
EURODAC
1994
IEEE
129views VHDL» more  EURODAC 1994»
15 years 6 months ago
Synthesis of Self-Testable Controllers
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...
Sybille Hellebrand, Hans-Joachim Wunderlich