دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
دانلود کتاب تئوری و عمل برنامه نویسی موازی: کارگاه بین المللی TPPP '94 سندای، ژاپن، 7 تا 9 نوامبر 1994 مجموعه مقالات
مشخصات کتاب
Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
ویرایش: [1 ed.] نویسندگان: Vaughan Pratt (auth.), Takayasu Ito, Akinori Yonezawa (eds.) سری: Lecture Notes in Computer Science 907 ISBN (شابک) : 3540591729, 9783540591726 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 488 [492] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری و عمل برنامه نویسی موازی: کارگاه بین المللی TPPP '94 سندای، ژاپن، 7 تا 9 نوامبر 1994 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری و عمل برنامه نویسی موازی: کارگاه بین المللی TPPP '94 سندای، ژاپن، 7 تا 9 نوامبر 1994 مجموعه مقالات
این جلد مجموعه مقالات اولین کارگاه بین المللی تئوری و عمل
برنامه نویسی موازی، TPPP '94، برگزار شده در سندای، ژاپن در
نوامبر 1994 را ارائه می دهد.
علاوه بر 9 نسخه کاغذی کامل از سخنرانی های دعوت شده توسط
سخنرانان برجسته، 15 مقاله ارائه شده اصلاح شده برای گنجاندن در
این جلد انتخاب شدند. TPPP '94 بر مبانی نظری زبان های موازی و
برنامه نویسی موازی، مسائل مربوط به پیاده سازی و کاربردهای
عملی تمرکز داشت. در میان موضوعات تحت پوشش، مدل‌های محاسبات،
منطق، اثبات، مشخصات برنامه‌ها، معناشناسی زبان‌ها، پیاده‌سازی
زبان‌ها و سیستم‌ها، و پشتیبانی معماری برای موازی‌سازی و
محاسبات موازی انبوه است.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Time and information in sequential and concurrent computation....Pages 1-24
Notes on P-algebra 1: Process structure....Pages 25-44
Simulating guarded programs in linear logic....Pages 45-69
Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language....Pages 70-93
Multi-threaded PaiLisp with granularity adaptive parallel execution....Pages 94-120
StackThreads : An abstract machine for scheduling fine-grain threads on stock CPUs....Pages 121-136
Higher-order concurrent linear logic programming....Pages 137-166
A parallel object-oriented language OCore....Pages 167-186
Concurrent objects in a process calculus....Pages 187-215
A formalism for remotely interacting processes....Pages 216-228
ProCSuS: A meta system for concurrent process calculi based on SOS....Pages 229-234
First-class synchronous operations....Pages 235-252
Self-describing files + smart modules= parallel program visualization....Pages 253-283
A performance debugger for parallel logic programming language fleng....Pages 284-299
First class continuation facilities in concurrent programming language Harmony/2....Pages 300-319
Locality abstractions for parallel and distributed computing....Pages 320-345
An algorithm for efficient global garbage collection on massively parallel computers (extend abstract)....Pages 346-355
I/O mode analysis in concurrent logic programming....Pages 356-368
Advanced component interface specification....Pages 369-392
Graph notation for concurrent combinators....Pages 393-412
A calculus for exploiting data parallelism on recursively defined data....Pages 413-432
The data-parallel C language NCX and its implementation strategies....Pages 433-456
A dataflow-based massively parallel programming language “V” and its implementation on a stock parallel machine....Pages 457-471
Programming with distributed data structure for EM-X multiprocessor....Pages 472-483
