989 search results - page 135 / 198 » Dynamic Symmetry Reduction |
136
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
128
click to vote
SWAT
2004
Springer
15 years 9 months ago
2004
Springer
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...
147
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
—Interconnect inductance introduces a shielding effect which decreases the effective capacitance seen by the driver of a circuit, reducing the gate delay. A model of the effectiv...
119
click to vote
IAW
2003
IEEE
15 years 9 months ago
2003
IEEE
— The Computational Resiliency library (CRLib) provides distributed systems with the ability to sustain operation and dynamically restore the level of assurance in system functio...
112
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...