Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proceedings of the January 1995 workshop, containing the keynote session, open forums, and sessions on parallel algorithms, load balancing, modeling, software environments, parallel architectures, linear algebra, and various distributed database systems. Open forums offer papers on topics such as distributed hard real-time systems, heterogeneous parallelism, and logic circuit simulation on a network.

Electronic data processing --- Parallel programming (Computer science) --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proceedings of the January 1995 workshop, containing the keynote session, open forums, and sessions on parallel algorithms, load balancing, modeling, software environments, parallel architectures, linear algebra, and various distributed database systems. Open forums offer papers on topics such as distributed hard real-time systems, heterogeneous parallelism, and logic circuit simulation on a network.

Electronic data processing --- Parallel programming (Computer science) --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel programming (Computer science) --- 519.68 --- 681.3*D13 --- Computer programming --- Parallel processing (Electronic computers) --- Concurrent programming --- Parallel programming (Computer science). --- 681.3*D13 Concurrent programming --- 519.68 Computer programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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 explore and understand the potential and limitations of this approach: first UNITY is applied to formulate and tackle problems in parallelism such as compositionality; second, the logic and notation of UNITY is generalized in order to increase its range of applicability; finally, paradigms and abstractions useful for the design of probabilistic parallel algorithms are developed. Taken together the results presented reaffirm the promise of UNITY as a versatile medium for treating many problems of parallelism.

Parallel programming (Computer science) --- Parallelle programmering (Informatica) --- Programmation parallèle (Informatique) --- Computer software --- Verification. --- Verification --- Parallel programming. --- Computer network architectures. --- Software engineering. --- Computer science. --- Logic design. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software - Verification.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient parallel solutions to irregularly structured problems and aims at fostering cooperation between practitioners and theoreticians in the field.Besides three invited papers, 20 full papers and eight short contributions are presented, all selected during a highly competitive refereeing process; the volume is organized in sections on programming methods and compiling techniques, mapping and scheduling, applications, and optimization.

Parallel algorithms --- Parallel programming (Computer science) --- Congresses. --- Congresses --- Computer algorithms --- Coomputer algorithms - Congresses. --- Information theory. --- Computer network architectures. --- Computer science. --- Theory of Computation. --- Computer System Implementation. --- Computation by Abstract Devices. --- Programming Techniques. --- Processor Architectures. --- Arithmetic and Logic Structures. --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics