Sciweavers

101 search results - page 9 / 21
» Control structure design for complete chemical plants
Sort
View
86
Voted
ESEM
2007
ACM
14 years 11 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
ICCD
1992
IEEE
126views Hardware» more  ICCD 1992»
15 years 1 months ago
High-Level State Machine Specification and Synthesis
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
75
Voted
CF
2007
ACM
15 years 1 months ago
Automated generation of layout and control for quantum circuits
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
Mark Whitney, Nemanja Isailovic, Yatish Patel, Joh...
BMCBI
2010
139views more  BMCBI 2010»
14 years 9 months ago
A global optimization algorithm for protein surface alignment
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...
Paola Bertolazzi, Concettina Guerra, Giampaolo Liu...
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
14 years 9 months ago
Asymptotic rejection of unknown sinusoidal disturbances in nonlinear systems
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
Zhengtao Ding