دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Thomas Johnsson (auth.), Emile H. L. Aarts, Jan van Leeuwen, Martin Rem (eds.) سری: Lecture Notes in Computer Science ISBN (شابک) : 9783662232064, 9783662252093 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 942 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 39 مگابایت
کلمات کلیدی مربوط به کتاب Parle ’91 Parallel Architectures and Languages Europe: جلد اول: معماری ها و الگوریتم های موازی آیندهوون ، هلند ، 10 تا 13 ژوئن ، مجموعه مقالات: احتمالات و آمار در علوم کامپیوتر، کاربردهای ریاضی در علوم کامپیوتر، معماری پردازنده
در صورت تبدیل فایل کتاب Parle ’91 Parallel Architectures and Languages Europe: Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Parle ’91 Parallel Architectures and Languages Europe: جلد اول: معماری ها و الگوریتم های موازی آیندهوون ، هلند ، 10 تا 13 ژوئن ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
پیشرفت نوآورانه در توسعه سیستمهای محاسباتی موازی در مقیاس بزرگ و کوچک و در دسترس بودن فزاینده آنها باعث افزایش شدید علاقه به اصول علمی که زیربنای محاسبات موازی و برنامهنویسی موازی هستند، شده است. کنفرانس های دوسالانه "معماری و زبان های موازی اروپا" (PARLE) با هدف ارائه مطالب تحقیقاتی جاری در مورد تمام جنبه های تئوری، طراحی و کاربرد سیستم های محاسباتی موازی و پردازش موازی است. در عین حال، هدف کنفرانس های PARLE فراهم کردن یک انجمن برای محققان و دست اندرکاران است تا ایده های خود را در مورد پیشرفت ها و روندهای اخیر در زمینه محاسبات موازی و برنامه نویسی موازی تغییر دهند. اولین کنفرانس های ~wo، PARLE '87 و PARLE '89، در رسیدن به این هدف موفق شدند و PARLE را به کنفرانسی تبدیل کردند که در سراسر جهان در زمینه محاسبات موازی شناخته شده است. PARLE '91 دوباره انبوهی از مواد تحقیقاتی با کیفیت بالا را به نفع جامعه علمی ارائه می دهد. در مقایسه با پیشینیان خود، دامنه PARLE '91 گسترش یافته است تا محدوده ریتم ها و پیچیدگی الگوهای موازی، علاوه بر موضوعات اصلی معماری موازی و زبان ها را پوشش دهد. مجموعه مقالات کنفرانس PARLE '91 حاوی متن تمام مقالات مشارکتی است که برای برنامه انتخاب شده اند و مقالات دعوت شده توسط متخصصان برجسته در این زمینه.
The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual "Parallel Architectures and Languages Europe" (PARLE) conferences aim at presenting current research material on all aspects of the theory, design, and application of parallel computing systems and parallel processing. At the same time, the goal of the PARLE conferences is to provide a forum for researchers and practitioners to ex change ideas on recent developments and trends in the field of parallel com puting and parallel programming. The first ~wo conferences, PARLE '87 and PARLE '89, have succeeded in meeting this goal and made PARLE a conference that is recognized worldwide in the field of parallel computation. PARLE '91 again offers a wealth of high-quality research material for the benefit of the scientific community. Compared to its predecessors, the scope of PARLE '91 has been broadened so as to cover the area of parallel algo rithms and complexity, in addition to the central themes of parallel archi tectures and languages. The proceedings of the PARLE '91 conference contain the text of all con tributed papers that were selected for the programme and of the invited papers by leading experts in the field.
Front Matter....Pages I-XXVIII
Parallel Evaluation of Functional Programs: The 〈 v, G 〉-machine approach (Summary)....Pages 1-5
Towards a Single Model of Efficient Computation in Real Parallel Machines....Pages 6-24
Neural Computing and the GALATEA Project....Pages 25-33
A Novel High-Speed Memory Organization for Fine-Grain Multi-Thread Computing....Pages 34-51
Evaluation of Futurebus hierarchical caching....Pages 52-68
Efficient Global Computations on a Processor Network with Programmable Logic....Pages 69-82
POMP or How to design a massively parallel machine with small developments....Pages 83-100
The Function Processor: An Architecture for Efficient Execution of Recursive Functions....Pages 101-118
The G-Line a Distributed Processor for Graph Reduction....Pages 119-136
The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes (Extended Abstract)....Pages 137-149
Indirect Reference Counting: A Distributed Garbage Collection Algorithm....Pages 150-165
Periodic Multiprocessor Scheduling....Pages 166-178
Embeddings of shuffle-like graphs in hypercubes....Pages 179-190
Mapping Uniform Recurrences onto Small Size Arrays....Pages 191-208
Area Complexity of Multilective Merging....Pages 209-218
Deriving Fully Efficient Systolic Arrays by Quasi-Linear Allocation Functions....Pages 219-235
Affine Timings for Systems of Affine Recurrence Equations....Pages 236-251
On the Computational Complexity of Optimal Sorting Network Verification....Pages 252-269
Managing a Parallel Heap Efficiently....Pages 270-287
Parallel complexity in the design and analysis of concurrent systems....Pages 288-303
FORK : A High-Level Language for PRAMs ....Pages 304-320
Neural Network-Based Decision Making for Large Incomplete Databases....Pages 321-337
An Optical Content-Addressable Parallel Processor for Fast Searching and Retrieving....Pages 338-354
Towards an Efficient Hybrid Dataflow Architecture Model....Pages 355-371
Data Flow Implementation of Generalized Guarded Commands....Pages 372-389
On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies....Pages 390-405
A Toolkit for Debugging Parallel Lisp Programs....Pages 406-422
Loosely-Coupled Processes (Preliminary Version)....Pages 423-448
Rendez-Vous with Metric Semantics....Pages 449-479
Embeddings Among Concurrent Programming Languages....Pages 480-480
Invariants and Paradigms of Concurrency Theory....Pages 481-496
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems....Pages 497-513
Models for dynamically placed concurrent processes....Pages 514-531
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications....Pages 532-549
Program Refinement in Fair Transition Systems....Pages 550-569
Communication Abstraction and Refinement....Pages 570-587
On the semantics of languages for massively parallel SIMD architectures....Pages 588-605
A Denotational Real-Time Semantics for Shared Processors....Pages 606-623
Concurrent Clean....Pages 624-641
The Scriptic Programming Language....Pages 642-659
Structural Operational Semantics for Kernel Andorra Prolog....Pages 660-675
Customization of First-Class Tuple-Spaces in a Higher-Order Language....Pages 676-698
A Formal Specification of the Process Trellis....Pages 699-716
Strong Bisimilarity on Nets Revisited....Pages 717-734
A Configuration Approach to Parallel Programming....Pages 735-752
Chaotic Linear System Solvers in a Variable-Grain Data-Driven Multiprocessor System....Pages 753-770
Parallel Associative Combinator Evaluation....Pages 771-788
Static Analysis of Term Graph Rewriting Systems....Pages 789-806
Scheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor....Pages 807-824
Flexible Scheduling of Or-parallelism in Aurora: The Bristol Scheduler....Pages 825-842
Virtual Memory Support for OR-Parallel Logic Programming Systems....Pages 843-860
Interfacing Engines and Schedulers in Or-Parallel Prolog Systems....Pages 861-875
Reduction of Code Space in Parallel Logic Programming Systems....Pages 876-892
Search Level Parallel Processing of Production Systems....Pages 893-910
Back Matter....Pages 911-916