5085 search results - page 369 / 1017 » Multidimensional Design by Examples |
155
click to vote
ITC
1989
IEEE
15 years 11 months ago
1989
IEEE
: The concept of a pseudo-exhaustive test for sequential circuits is introduced in a similar way as it is used for combinational networks. Instead of test sets one has to apply pse...
177
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
183
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
The UML 2 Activity Diagram is designed for modelling business processes, but does not yet include any concepts for modelling process goals and their measures. We extend the UML 2 A...
171
click to vote
TACAS
1995
Springer
15 years 11 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
176
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...