267 search results - page 23 / 54 » Formal Parametric Polymorphism |
122
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
130
click to vote
GI
1997
Springer
15 years 6 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
110
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
89
Voted
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...
117
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...