Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings
This volume presents the proceedings of the First International Workshop on Theory and Practice of Parallel Programming, TPPP '94, held in Sendai, Japan in November 1994. Besides 9 full paper versions of the invited talks by prominent speakers, 15 revised contributed papers were selected for in...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
907 |
| Materias: | |
| Acceso en línea: | 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: | • Theory and practice of parallel programming, proceedings, International workshop TPPP '94, Sendai, Japan, November 7-9, 1994, [Berlin], Springer, 1995, 1 vol. (VIII-483 p.), Lecture notes in computer science, 3-540-59172-9 • Theory and Practice of Parallel Programming, Texte imprimé, 9783662182949 |
Tabla de Contenidos:
- Time and information in sequential and concurrent computation
- Notes on P-algebra 1: Process structure
- Simulating guarded programs in linear logic
- Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language
- Multi-threaded PaiLisp with granularity adaptive parallel execution
- StackThreads: An abstract machine for scheduling fine-grain threads on stock CPUs
- Higher-order concurrent linear logic programming
- A parallel object-oriented language OCore
- Concurrent objects in a process calculus
- A formalism for remotely interacting processes
- ProCSuS: A meta system for concurrent process calculi based on SOS
- First-class synchronous operations
- Self-describing files + smart modules= parallel program visualization
- A performance debugger for parallel logic programming language fleng
- First class continuation facilities in concurrent programming language Harmony/2
- Locality abstractions for parallel and distributed computing
- An algorithmfor efficient global garbage collection on massively parallel computers (extend abstract)
- I/O mode analysis in concurrent logic programming
- Advanced component interface specification
- Graph notation for concurrent combinators
- A calculus for exploiting data parallelism on recursively defined data
- The data-parallel C language NCX and its implementation strategies
- A dataflow-based massively parallel programming language V and its implementation on a stock parallel machine
- Programming with distributed data structure for EM-X multiprocessor.