Del i serien Lecture Notes in Computer Science

Theory and Practice of Parallel Programming

International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings

Häftad, Engelska, 1995

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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 inclusion in this volume. TPPP '94 focused on theoretical foundations of parallel languages and parallel programming, related implementation issues, and practical applications. Among the topics covered are models of computation, logic, proof, specification of programs, semantics of languages, implementation of languages and systems, and architectural support for parallellism and massively parallel computation.

Produktinformation

Utgivningsdatum1995-04-21
Mått216 x 279 x 27 mm
Vikt750 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor488
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540591726

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

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.

Mer från samma författare

Parallel Lisp: Languages and Systems

Takayasu Ito, Robert H. Jr. Halstead

Häftad, 1990

749 kr

Concurrency: Theory, Language, and Architecture

Akinori Yonezawa, Takayasu Ito

Häftad, 1991

749 kr

Theoretical Aspects of Computer Software

Takayasu Ito, Albert R. Meyer

Häftad, 1991

1 479 kr

Parallel Symbolic Computing: Languages, Systems, and Applications

Robert H.Jr. Halstead, Takayasu Ito

Häftad, 1993

749 kr

Parallel Symbolic Languages and Systems

Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec

Häftad, 1996

749 kr

Theoretical Aspects of Computer Software

Martin Abadi, Takayasu Ito

Häftad, 1997

1 479 kr

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito

Häftad, 2000

1 479 kr

PARALLEL AND DISTRIBUTED COMPUTING FOR SYMBOLIC AND IRREGULAR APPLICATIONS - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP PDSIA ’99

TAKAYASU ITO & TAIICHI YUASA, Takayasu Ito, Taiichi Yuasa

Inbunden, 2000

3 079 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

969 kr

Du kanske också är intresserad av

Concurrency: Theory, Language, and Architecture

Akinori Yonezawa, Takayasu Ito

Häftad, 1991

749 kr

Recent Trends in Data Type Specification

Egidio Astesiano, Gianna Reggio

Häftad, 1995

749 kr

End Of Equality

Mickey Kaus

Häftad, 1995

269 kr

Schizophrenia And Manic-depressive Disorder

Ann E. Bowler, E. Fuller Torrey, Edward Taylor, Irving Gottesman

Häftad, 1995

479 kr

Theoretical Aspects of Computer Software

Takayasu Ito, Albert R. Meyer

Häftad, 1991

1 479 kr

Concise Encyclopedia of Foods & Nutrition

Audrey H. Ensminger, Marion Eugene Ensminger, James E. Konlande, John R.K. Robson

Inbunden, 1995

9 969 kr

Acta Medicinæ Legalis. Volume XLIV. 1994

Patrice Mangin, Bertrand Ludes

Häftad, 1995

749 kr

Parallel Symbolic Computing: Languages, Systems, and Applications

Robert H.Jr. Halstead, Takayasu Ito

Häftad, 1993

749 kr

States and Economic Development

Linda Weiss, John Hobson

Häftad, 1995

439 kr

Since You Went Away

Judy Barrett Litoff, Judy Barrett Litoff, David C. Smith

Häftad, 1995

569 kr

Del i serien Lecture Notes in Computer Science

Theory and Practice of Parallel Programming

International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings

Häftad, Engelska, 1995

AvTakayasu Ito,Akinori Yonezawa

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1995-04-21
Mått216 x 279 x 27 mm
Vikt750 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor488
Upplaga1995
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540591726

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

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.