Sciweavers

302 search results - page 61 / 61
» Deriving input syntactic structure from execution
Sort
View
ICFP
2009
ACM
16 years 12 days ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao
CORR
2008
Springer
138views Education» more  CORR 2008»
14 years 12 months ago
Computing Minimum Spanning Trees with Uncertainty
Abstract. We consider the minimum spanning tree problem in a setting where information about the edge weights of the given graph is uncertain. Initially, for each edge e of the gra...
Thomas Erlebach, Michael Hoffmann 0002, Danny Kriz...