Listing 1 - 10 of 13 | << page >> |
Sort by
|
Choose an application
Computers --- Telecommunication --- Communication --- Computer networks --- Computers - Congresses. --- Telecommunication - Congresses. --- Communication - Congresses. --- Computer networks - Congresses.
Choose an application
Choose an application
Choose an application
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
This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995. The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel theories, models, languages, and programming systems.
Parallel processing (Electronic computers) --- Congresses. --- Congresses --- Computer network architectures. --- Computer science. --- Computer Communication Networks. --- Software engineering. --- Computer system performance. --- Computer System Implementation. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Programming Techniques. --- Computer software engineering --- Engineering --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Parallel processing (Electronic computers) - Congresses.
Choose an application
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
Fluid dynamics --- Parallel processing (Electronic computers) --- Supercomputers --- Data processing --- Congresses. --- -Parallel processing (Electronic computers) --- -Supercomputers --- -519.6 --- 681.3*J2 --- Electronic digital computers --- High performance computing --- Dynamics --- Fluid mechanics --- -Congresses --- Congresses --- Computational mathematics. Numerical analysis. Computer programming --- Physical sciences and engineering (Computer applications) --- 681.3*J2 Physical sciences and engineering (Computer applications) --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Fluid dynamics - Data processing - Congresses. --- Parallel processing (Electronic computers) - Congresses. --- Supercomputers - Congresses. --- -Data processing
Choose an application
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
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.
Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Commande numérique --- Congrès --- Congresses --- Digital control systems - Congresses. --- Computer science. --- Information theory. --- Software engineering. --- Logic design. --- Processor Architectures. --- Control and Systems Theory. --- Theory of Computation. --- 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 --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer networks --- Réseaux d'ordinateurs --- Informatique --- Computer science --- Réseaux d'ordinateurs. --- Computer networks. --- Réseaux d'ordinateurs --- Hybrid computers - Congresses. --- Basic (computer program language) --- Reseaux
Choose an application
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
Listing 1 - 10 of 13 | << page >> |
Sort by
|