Sciweavers

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