Theory and Practice of Parallel Programming - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

1995

Theory and Practice of Parallel Programming, International Workshop TPPP 94, Sendai, Japan, November 7-9, 1994, ProceedingsTakayasu Ito, Akinori Yonezawa, editors, Volume 907 of Lecture Notes in Computer Science, Springer, 1995.

1994

StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUstppp 1995: 121-136

Advanced Component Interface SpecificationManfred Broy. tppp 1995: 369-392

Notes on P-Algebra 1: Process StructureKohei Honda. tppp 1995: 25-44

A Performance Debugger for a Parallel Logic Programming Language FlengJun ichi Tatemura, Hanpei Koike, Hidehiko Tanaka. tppp 1995: 284-299

Locality Abstractions for Parallel and Distributed ComputingSuresh Jagannathan. tppp 1995: 320-345

Self-Describing Files + Smart Modules = Parallel Program VisualizationRobert H. Halstead Jr.. tppp 1995: 253-283

An Algorithm for Efficient Global Garbage Collection on Massively Parallel ComputersTomio Kamada, Satoshi Matsuoka, Akinori Yonezawa. tppp 1995: 346-355

Simulating Guarded Programs in Linear LogicMax I. Kanovich. tppp 1995: 45-69

Multi-threaded PaiLisp with Granularity Adaptive Parallel ExecutionShin-ichi Kawamoto, Takayasu Ito. tppp 1995: 94-120

Higher-Order Concurrent Linear Logic ProgrammingNaoki Kobayashi, Akinori Yonezawa. tppp 1995: 137-166

A Parallel Object-Oriented Language OCoreHiroki Konaka, Takashi Tomokiyo, Munenori Maeda, Yutaka Ishikawa, Atsushi Hori. tppp 1995: 167-186

A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel MachineShigeru Kusakabe, Makoto Amamiya. tppp 1995: 457-471

A Calculus for Exploiting Data Parallelism on Recursively Defined DataSusumu Nishimura, Atsushi Ohori. tppp 1995: 413-432

Concurrent Objects in a Process CalculusBenjamin C. Pierce. tppp 1995: 187-215

Time and Information in Sequential and Concurrent ComputationVaughan R. Pratt. tppp 1995: 1-24

Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed LanguageChristian Queinnec. tppp 1995: 70-93

First-class Synchronous OperationsJohn H. Reppy. tppp 1995: 235-252

Programming with Distributed Data Structure for EM-X MultiprocessorMitsuhisa Sato, Yuetsu Kodama, Hirofumi Sakane, Yoshinori Yamaguchi, Shuichi Sakai. tppp 1995: 472-483

A Formalism for Remotely Interacting ProcessesIchiro Satoh, Mario Tokoro. tppp 1995: 216-228

ProCSuS: A Meta System for Concurrent Process Calculi Based on SOSAtsushi Togashi, Sen Yoshida, Shigetomo Kimura, Norio Shiratori. tppp 1995: 229-234

I/O Mode Analysis in Concurrent Logic ProgrammingKazunori Ueda. tppp 1995: 356-368

First Class Continuation Facilities in Concurrent Programming Language Harmony/2Ken Wakita. tppp 1995: 300-319

Graph Notation for Concurrent CombinatorsNobuko Yoshida. tppp 1995: 393-412

The Data-Parallel C Language NCX and Its Implementation StrategiesTaiichi Yuasa, Toshiro Kijima, Yutaka Konishi. tppp 1995: 433-456

Sign in or sign up to see more results.

runs on WebDSL