| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465526803316 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 495 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 506 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
| |