|
Showing 1 - 8 of
8 matches in All Departments
In 1996 the International Federation for Information Processing
(IFIP) establ- hed its rst Technical Committee on foundations of
computer science, TC1. The aim of IFIP TC1 is to support the
development of theoretical computer science as a fundamental
science and to promote the exploration of fundamental c- cepts,
models, theories, and formal systems in order to understand laws,
limits, and possibilities of information processing. This volume
constitutes the proceedings of the rst IFIP International C-
ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring
New Frontiers of Theoretical Informatics { organized by IFIP TC1,
held at Tohoku University, Sendai, Japan in August 2000. The IFIP
TCS 2000 technical program consists of invited talks, contributed
talks, and a panel discussion. In conjunction with this program
there are two special open lectures by Professors Jan van Leeuwen
and Peter D. Mosses. The decision to hold this conference was made
by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene
ted from the e orts of many people; in particular, the TC1 members
and the members of the Steering Committee, the Program Committee,
and the Organizing Committee of the conference. Our special thanks
go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen
(U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami
Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus).
This book constitutes the refereed proceedings of the Third
International Symposium on Theoretical Aspects of Computer
Software, TACS'97, held in Sendai, Japan, in September 1997. The
book presents 20 revised full papers selected from a total of 46
submissions. Also included are seven invited papers by
internationally leading scientists. Among the topics addressed are
action calculi, polymorphisms, type theory, lambda calculi,
refinement, finite transition systems, model checking, process
algebras, logical frameworks, higher-order logics, etc.
This book presents the refereed proceedings of the International
Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held
in Beaune, France, in October 1995.
The 21 full papers included in the book were carefully selected for
presentation at the meeting and thoroughly revised afterwards.
Parallel symbolic computing has gained in importance for
high-performance computing; in recent years, many applications have
been implemented using C, C++, and their parallel extensions. This
volume is organized in sections on evaluation strategies,
programming tools, irregular data structures and applications,
systems, and distributed models and systems.
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.
|
Parallel Symbolic Computing: Languages, Systems, and Applications - US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. Proceedings (Paperback, 1993 ed.)
Robert H. Jr. Halstead, Takayasu Ito
|
R1,747
Discovery Miles 17 470
|
Ships in 10 - 15 working days
|
Parallel and distributed computing are becoming increasingly
important as cost-effective ways to achieve high computational
performance. Symbolic computations are notable for their use of
irregular data structures and hence parallel symbolic computing has
its own distinctive set of technical challenges. The papers in this
book are based on presentations made at a workshop at MIT in
October 1992. They present results in a wide range of areas
including: speculative computation, scheduling techniques, program
development tools and environments, programming languages and
systems, models of concurrency and distribution, parallel computer
architecture, and symbolic applications.
TACS'91 is the first International Conference on Theoretical
Aspects of Computer Science held at Tohoku University, Japan, in
September 1991. This volume contains 37 papers and an abstract for
the talks presented at the conference. TACS'91 focused on
theoretical foundations of programming, and theoretical aspects of
the design, analysis and implementation of programming languages
and systems. The following range of topics is covered: logic,
proof, specification and semantics of programs and languages;
theories and models of concurrent, parallel and distributed
computation; constructive logic, category theory, and type theory
in computer science; theory-based systems for specifying,
synthesizing, transforming, testing, and verifying software.
|
Concurrency: Theory, Language, and Architecture - UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings (Paperback, 1991 ed.)
Akinori Yonezawa, Takayasu Ito
|
R1,590
Discovery Miles 15 900
|
Ships in 10 - 15 working days
|
This volume is a collection of papers on topics focused around
concurrency, based on research work presented at the UK/Japan
Workshop held at Wadham College, Oxford, September 25-27, 1989. The
volume is organized into four parts: - Papers on theoretical
aspects of concurrency which reflect strong research activities in
the UK, including theories on CCS and temporal logic RDL. - Papers
on object orientation and concurrent languages which reflect major
research activities on concurrency in Japan. The languages
presented include extensions of C, Prolog and Lisp as well as
object-based concurrent languages. - Papers on parallel
architectures and VLSI logic, including a rewrite rule machine, a
graph rewriting machine, and a dataflow architecture. - An overview
of the workshop including the abstracts of the talks and the list
of participants. The appendix gives a brief report of the first
UK/Japan Workshop in Computer Science, held at Sendai, Japan, July
6-9, 1987.
This volume presents the proceedings of a workshop at which major
Parallel Lisp activities in the US and Japan were explained. Work
covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford,
Lucid and Parcel at Illinois, PaiLisp at Tohoku University,
Multiprocessor Lisp on TOP-1 at IBM Tokyo Research, and concurrent
programming in TAO. Most papers present languages and systems of
Parallel Lisp and are in particular concerned with: - Language
constructs of Parallel Lisp and their meanings from the standpoint
of implementing Parallel Lisp systems; - Some important technical
issues such as parallel garbage collection, dynamic task
partitioning, futures and continuations in parallelism, automatic
parallelization of Lisp programs, and the kernel concept of
Parallel Lisp. Some performance results are reported that suggest
practical applicability of Parallel Lisp systems in the near
future. Several papers on concurrent object-oriented systems are
also included.
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|