Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computers --- Telecommunication --- Communication --- Computer networks --- Computers - Congresses. --- Telecommunication - Congresses. --- Communication - Congresses. --- Computer networks - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Computer architecture --- Information Technology --- Computer Science (Hardware & Networks) --- Parallel processing (Electronic computers) - Congresses --- Computer architecture - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communication via a shared data space. The 21 revised full papers presented were selected from a total of 78 submissions; also included are three invited papers and 10 posters. All in all, these papers report the state of the art in this young and active area of research and development.

Parallel processing (Electronic computers) --- Electronic data processing --- Congresses. --- Distributed processing --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Automation --- Verteiltes System --- Nebenläufigkeit --- Koordination --- Programmiersprache --- Cesena <1996> --- Distributed processing&delete& --- Congresses --- Computer network architectures. --- Computer science. --- Computer Communication Networks. --- Computer System Implementation. --- Programming Techniques. --- Computation by Abstract Devices. --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Parallel processing (Electronic computers) - Congresses. --- Electronic data processing - Distributed processing - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Digital control systems --- Hybrid computers --- Commande numérique --- Calculateurs hybrides --- Congresses --- Congrès --- Commande numérique --- Congrès --- Computer science. --- Information theory. --- Computer network architectures. --- Software engineering. --- Logic design. --- Processor Architectures. --- Theory of Computation. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Hybrid computers - Congresses --- Digital control systems - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processing, held in conjunction with IPPS '96 symposium in Honolulu, Hawaii, in April 1996. The book presents 15 thoroughly revised full papers accepted for inclusion on the basis of the reports of at least five program committee members. The volume is a highly competent contribution to advancing the state-of-the-art in the area of job scheduling for parallel supercomputers. Among the topics addressed are job scheduler, workload evolution, gang scheduling, multiprocessor scheduling, parallel processor allocation, and distributed memory environments.

Parallel processing (Electronic computers) --- Computer capacity --- Production scheduling --- Congresses. --- Management --- Computer network architectures. --- Computer science. --- Operating systems (Computers). --- Logic design. --- Computer System Implementation. --- Processor Architectures. --- Operating Systems. --- Programming Techniques. --- Logic Design. --- Computation by Abstract Devices. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Operating systems --- Parallel processing (Electronic computers) - Congresses. --- Computer capacity - Management - Congresses. --- Production scheduling - Congresses.