Sciweavers

4067 search results - page 78 / 814
» Programs for Applying Symmetries
Sort
View
AMAST
1991
Springer
13 years 11 months ago
Event Spaces and their Linear Logic
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
Vaughan R. Pratt
MOZ
2004
Springer
14 years 1 months ago
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
Torsten Anders, Christina Anagnostopoulou, Michael...
EUROMICRO
1996
IEEE
14 years 6 days ago
Efficient Program Composition on Parix by the Ensemble Methodology
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
John Yiannis Cotronis
ECOOP
1992
Springer
14 years 4 days ago
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
Svend Frølund
SC
1992
ACM
14 years 3 days ago
Parallel Program Performance Metrics: A Comparison and Validation
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
Jeffrey K. Hollingsworth, Barton P. Miller