Choose an application

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

Parallel processing (Electronic computers) --- Engineering & Applied Sciences --- Computer Science --- Congresses --- Parallel processing (Electronic computers) - Congresses

Choose an application

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

This volume contains the papers selected after a very careful refereeing process for presentation during the Workshop on Job Scheduling Stategies for Parallel Processing, held in Santa Barbara, California, as a prelude to the IPPS '95 conference in April 1995. The 19 full papers presented demonstrate that parallel job scheduling takes on a crucial role as multi-user parallel supercomputers become more widespread. All aspects of job scheduling for parallel systems are covered, from the perspectives of academic research, industrial design of parallel systems, as well as user needs. Of particular interest, also for nonexpert readers, is the introductory paper "Parallel Job Scheduling: Issues and Approaches" by the volume editors.

Parallel processing (Electronic computers) --- Computer capacity --- Production scheduling --- Congresses. --- Management. --- Parallel processing (Computer science) --- Congresses --- Management --- Operating systems (Computers). --- Computer science. --- Computer software. --- Operating Systems. --- Programming Techniques. --- Processor Architectures. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Parallel processing (Electronic computers) - Congresses. --- Computer capacity - Management. --- Production scheduling - Congresses.

Choose an application

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

This book constitutes the refereed revised post-workshop proceedings of the 5th International Workshop on Network and Operating Systems Support for Digital Audio and Video, NOSSDAV '95, held in Durham, New Hampshire, USA in April 1995. The 24 full papers included were selected from a total of 101 submissions; together with overviews by the session chairpersons they reflect the state of the art in networking and operating systems support for multimedia. The papers are organized in sections on advance reservation systems, operating systems support, resource management and quality of service, audio and video systems, and scheduling and synchronization.

Sound --- Multimedia systems --- Digital video --- Computer networks --- Operating systems (Computers) --- Recording and reproducing --- Digital techniques --- Congresses. --- Congresses --- Digital television --- Operating systems (Computers). --- Computer Communication Networks. --- Computer science. --- Operating Systems. --- Computer Applications. --- Information Systems Applications (incl. Internet). --- Informatics --- Science --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Sound - Recording and reproducing - Digital techniques - Congresses. --- Multimedia systems - Congresses. --- Digital video - Congresses. --- Computer networks - Congresses. --- Operating systems (Computers) - Congresses.

Choose an application

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

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages. 22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.

Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congresses --- Congrès --- Congrès --- Electronic digital computers --- Programming --- Software engineering. --- Information theory. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses.

Choose an application

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

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.

Computer algorithms --- Parallel processing(Electronic computers) --- Knowledge representation (Information theory) --- Congresses. --- Congresses --- Parallel processing (Computer science) --- Information theory. --- Software engineering. --- Artificial intelligence. --- Computer software. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer algorithms - Congresses --- Parallel processing(Electronic computers) - Congresses. --- Knowledge representation (Information theory) - Congresses