4359 search results - page 153 / 872 » Automated Pipeline Design |
126
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The paper presents the design of a hardware genetic algorithm which uses a pipeline of systolic arrays. Demostrated is the design methodology, where a simple genetic algorithm exp...
172
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
117
Voted
HF
2002
15 years 3 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
104
click to vote
INTERACT
2007
15 years 4 months ago
2007
This short paper questions the focus on automation of egovernment processes, and efficiency in e-government, which is prevalent in both research and in practice in Swedish governm...