ECOOP
1993
Springer
13 years 12 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
ECOOP
1993
Springer
13 years 12 months ago
1993
Springer
: To supply the financial engineering community with adequate and timely software support we advocate a reusability oriented approach to software development. The approach focuses ...
ECOOP
1993
Springer
13 years 12 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
ECOOP
1993
Springer
13 years 12 months ago
1993
Springer
COMPASS
1994
13 years 12 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
COMPASS
1994
13 years 12 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
ASPLOS
1994
ACM
13 years 12 months ago
1994
ACM
Synchronization algorithms that are efficient across a wide range of applications and operating conditions are hard to design because their performance depends on unpredictable ru...
ASPLOS
1994
ACM
13 years 12 months ago
1994
ACM
There is an increasing trend to use commodity microprocessors as the compute engines in large-scale multiprocessors. However, given that the majority of the microprocessors are so...
ASPLOS
1994
ACM
13 years 12 months ago
1994
ACM
Despite improvements in network interfaces and software messaging layers, software communication overhead still dominates the hardware routing cost in most systems. In this study,...
ASPLOS
1994
ACM
13 years 12 months ago
1994
ACM