Sciweavers

1204 search results - page 151 / 241
» Parallel concurrent ML
Sort
View
155
Voted
ICDCS
1999
IEEE
15 years 8 months ago
Scalable Processing of Read-Only Transactions in Broadcast Push
Recently, push-based delivery has attracted considerable attention as a means of disseminating information to large client populations in both wired and wireless settings. In this...
Evaggelia Pitoura, Panos K. Chrysanthis
105
Voted
CONCUR
1999
Springer
15 years 8 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
148
Voted
PVM
1998
Springer
15 years 7 months ago
Load Balancing for Network Based Multi-threaded Applications
In this paper we present Lbs, a load-management-system for network based concurrent computing. The system is built on Pt-Pvm, a library based on the PVM system. Pt-Pvm provides mes...
Oliver Krone, Martin Raab, Béat Hirsbrunner
152
Voted
PODC
1997
ACM
15 years 7 months ago
Collecting Distributed Garbage Cycles by Back Tracing
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...
Umesh Maheshwari, Barbara Liskov
115
Voted
TPPP
1994
15 years 7 months ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy