PARLE '91. Parallel Architectures and Languages Europe [[electronic resource] ] : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings / / edited by Emile H.L. Aarts, Jan van Leeuwen, Martin Rem

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
• Edizione: 1st ed. 1991.
• Descrizione fisica: 1 online resource (XVII, 495 p.)
• Disciplina: 004.1
• Soggetto topico: Microprocessors; Architecture, Computer; Computers; Computer communication systems; Special purpose computers; Computer system failures; Processor Architectures; Computer System Implementation; Theory of Computation; Computer Communication Networks; Special Purpose and Application-Based Systems; System Performance and Evaluation
• Persona (resp. second.): AartsEmile H.L; LeeuwenJan van; RemMartin
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Loosely-coupled processes (preliminary version) -- Rendez-vous with metric semantics -- Embeddings among concurrent programming languages -- Invariants and paradigms of concurrency theory -- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems -- Models for dynamically placed concurrent processes -- Formalisation of the behavior of actors by colored Petri nets and some applications -- Program refinement in fair transition systems -- Communication abstraction and refinement -- On the semantics of languages for massively parallel SIMD architectures -- A denotational real-time semantics for shared processors -- Concurrent clean -- The scriptic programming language -- Structural operational semantics for Kernel Andorra Prolog -- Customization of first-class tuple-spaces in a higher-order language -- A formal specification of the process trellis -- Strong bisimilarity on nets revisited -- A configuration approach to parallel programming -- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system -- Parallel associative combinator evaluation -- Static analysis of term graph rewriting systems -- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor -- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler -- Virtual memory support for OR-parallel logic programming systems -- Interfacing engines and schedulers in Or-Parallel Prolog systems -- Reduction of code space in parallel logic programming systems -- Search level parallel processing of production systems.
• Titolo autorizzato: PARLE '91, Parallel Architectures and Languages Europe
• ISBN: 3-540-47472-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465526803316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 506