2019
MindMusic: Brain-Controlled Musical Improvisation.
Proceedings of the Tenth International Conference on Computational Creativity, 2019
2017
Learning to Create Jazz Melodies Using a Product of Experts.
Proceedings of the Eighth International Conference on Computational Creativity, 2017
2016
A Fluid Chord Voicing Generator.
Proceedings of the 2016 International Computer Music Conference, 2016
2013
Automating the Explanation of Jazz Chord Progressions Using Idiomatic Analysis.
Comput. Music. J., 2013
2012
A Creative Improvisational Companion Based on Idiomatic Harmonic Bricks.
Proceedings of the Third International Conference on Computational Creativity, 2012
2010
Machine Learning of Jazz Grammars.
Comput. Music. J., 2010
Learning to Create Jazz Melodies Using Deep Belief Nets.
Proceedings of the International Conference on Computational Creativity, 2010
2008
Grid-enabling a vibroacoustic analysis toolkit.
,
,
,
,
,
,
,
,
,
,
Int. J. High Perform. Comput. Netw., 2008
Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008
2006
System Management for Grid-Enabling a Vibroacoustic Analysis Application.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006
2005
Fun and games: a new software engineering course.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005
Grid-enabling a vibroacoustic analysis application.
Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005
1989
Semantics and Implementation of Resource Expressions.
J. Parallel Distributed Comput., 1989
1987
The Gradient Model Load Balancing Method.
IEEE Trans. Software Eng., 1987
1986
ACM Trans. Program. Lang. Syst., 1986
Primitives for resource management in a demand-driven reduction model.
Int. J. Parallel Program., 1986
Semantics of Digital Networks Containing Indeterminate Modules.
Distributed Comput., 1986
Distributed Recovery in Applicative Systems.
Proceedings of the International Conference on Parallel Processing, 1986
Gradient Model: A Demand-Driven Load Balancing Scheme.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986
Overview of Rediflow II Development.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986
1985
Approaching Distributed Database Implementations through Functional Programming Concepts.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985
1984
Simulated Performance of a Reduction-Based Multiprocessor.
Computer, 1984
Static Inference of Properties of Applicative Programs.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
Deadlock analysis in the design of data-flow circuits.
Proceedings of the 21st Design Automation Conference, 1984
Semantics of Networks Containing Indeterminate Operators.
Proceedings of the Seminar on Concurrency, 1984
Rediflow Multiprocessing.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984
1983
Specification of Synchronizing Processes.
IEEE Trans. Software Eng., 1983
1982
Data Flow Program Graphs.
Computer, 1982
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems.
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982
Resource expressions for applicative languages.
Proceedings of the International Conference on Parallel Processing, 1982
1981
Specifying and Proving Properties of Sentinel Processes.
Proceedings of the 5th International Conference on Software Engineering, 1981
Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981
Applications of feedback in functional programming.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981
On synchronization and its specification.
Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981
1980
Some Theoretical Aspects of Applicative Multiprocessing.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980
1979
A loosely-coupled applicative multi-processing system.
Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979
1977
Denotational Models for Parallel Programs with Indeterminate Operators.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
1976
Formal Verification of Parallel Programs.
Commun. ACM, 1976
1975
1974
Towards a Theory of Universal Speed-Independent Modules.
IEEE Trans. Computers, 1974
A Fundamental Tehoerem of Asynchronous Parallel Computation.
Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974
1973
Parallel Program Schemata and Maximal Parallelism II: Construction of Closures.
J. ACM, 1973
Parallel Program Schemata and Maximal Parallelism I. Fundamental Results.
J. ACM, 1973
Some Approaches to Best-Match File Searching.
Commun. ACM, 1973
1972
On the Decomposition of Asynchronous Systems
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972
1970
On Maximally Parallel Schemata
Proceedings of the 11th Annual Symposium on Switching and Automata Theory, 1970