Sciweavers

15777 search results - page 172 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
91
Voted
FSTTCS
1993
Springer
15 years 6 months ago
Time Optimal Self-Stabilizing Spanning Tree Algorithms
Sudhanshu Aggarwal, Shay Kutten
108
Voted
FSTTCS
1993
Springer
15 years 6 months ago
A Meta-Language for Typed Object-Oriented Languages
Giuseppe Castagna
100
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke