10159 search results - page 1603 / 2032 » System Design Validation Using Formal Models |
217
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
228
click to vote
INFORMS
1998
15 years 6 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
182
click to vote
CASES
2006
ACM
16 years 26 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
184
click to vote
DAGSTUHL
2009
15 years 8 months ago
2009
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...
172
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a novel approach we call partitioning where the robot's degrees- of-freedom (D OF) are categorized into two classes based on joint kinematics and dynamics to desig...