Extensions of the UNITY methodology : :: SCD d'Orléans

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism

This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise further develops the ideas behind UNITY in order to ex...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Rao, Josyula Ramachandra, 19..-
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 908
Matèries:	Génie logiciel Informatique Langages de programmation Ordinateurs Probabilités Logiciels > Essais Programmation parallèle (informatique)
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Extensions of the UNITY methodology, compositionality, fairness, and probability in parallelism, Josyula R. Rao, Berlin, Springer-Verlag, 1995, 1 vol. (XI-178 p.), Lecture notes in computer science, 0-387-59173-7 • Extensions of the UNITY Methodology, Texte imprimé, 9783662192580

Ítems similars

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
per: Lengauer, Christian

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
per: Banâtre, Jean-Pierre

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
per: Zwiers, Job, 19..-

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
per: Halstead, Robert H., Jr., 1953-

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
per: Godefroid, Patrice, 19..-

Parallel execution of Parlog
per: Cheese, Andrew, 19..-

A Survey of verification techniques for parallel programs
per: Barringer, Howard, 1951-

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 : proceedings

Algebraic methods II : theory, tools and applications

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
per: Petrenko, Alexandre

Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September 1979

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30 31, 2001 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26 27, 2003 : proceedings

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
per: Lauer, Peter E., 1934-

Modular specification and verification of object-oriented programs
per: Müller, Peter, 1961-...., informaticien

Algebraic specification techniques in object oriented programming environments
per: Breu, Ruth, 19..-

Ada 95 reference manual : language and standard libraries
per: Taft, S. Tucker, 1953-

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : proceedings

Ada 95 rationale : the language, tha standard libraries
per: Barnes, John Gilbert Presslie, 1937-

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
per: Taft, S. Tucker, 1953-

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Advanced parallel processing technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings

Distributed memory computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic November 23 December 1, 1995 : proceedings

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2 6, 2001 : revised papers

Optimal interprocedural program optimization : a new framework and its application
per: Knoop, Jens

Interacting code motion transformations : their impact and their complexity
per: Rüthing, Oliver

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales