Sciweavers

1822 search results - page 54 / 365
» GENI Design Principles
Sort
View
FORTE
1990
15 years 4 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
CDC
2009
IEEE
227views Control Systems» more  CDC 2009»
15 years 1 months ago
Reduced-order observer design using a Lagrangian method
This paper considers the problem of reduced-order observer design. A design procedure is proposed in which the impulse response of the observer is treated as the solution of a gene...
Mark Mutsaers, Siep Weiland, Richard Engelaar
124
Voted
WCRE
2008
IEEE
15 years 9 months ago
Navigating Through the Design of Object-Oriented Programs
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
Epameinondas Gasparis, Jonathan Nicholson, Amnon H...
VISSOFT
2005
IEEE
15 years 9 months ago
DependencyViewer - A Tool for Visualizing Package Design Quality Metrics
DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...
Michael Wilhelm, Stephan Diehl
CSREAESA
2006
15 years 4 months ago
Novel and Efficient 4: 2 and 5: 2 Compressors with Minimum Number of Transistors Designed for Low-Power Operations
This paper proposes efficient and optimal 4:2 and 5:2 compressors. The compressors are highly optimized in terms of transistor count. These designs have the principle advantage th...
Pallavi Devi Gopineedi, Himanshu Thapliyal, M. B. ...