Sciweavers

45 search results - page 7 / 9
» Automated generation of layout and control for quantum circu...
Sort
View
TVLSI
2008
140views more  TVLSI 2008»
13 years 7 months ago
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
Jorge Campos, Hussain Al-Asaad
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
13 years 6 months ago
Autonomous cruise control of circulating multi-robot for congestion
— This paper describes a methodology regarding an autonomous cruise control (ACC) of circulating multi-robot which is directly effective for solving the congestion regardless of ...
Satoshi Hoshino, Hiroya Seki, Yuji Naka, Jun Ota
EUROMICRO
2000
IEEE
13 years 12 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...
ISCAS
2005
IEEE
173views Hardware» more  ISCAS 2005»
14 years 1 months ago
CMOS contact imager for monitoring cultured cells
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
Honghao Ji, Pamela Abshire, M. Urdaneta, Elisabeth...
ISSS
1999
IEEE
151views Hardware» more  ISSS 1999»
13 years 11 months ago
Optimized System Synthesis of Complex RT Level Building Blocks from Multirate Dataflow Graphs
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
Jens Horstmannshoff, Heinrich Meyr