Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Parallel processing (Electronic computers) --- Electronic data processing --- Parallélisme (Informatique) --- Traitement réparti --- Congresses. --- Distributed processing --- Congrès --- Parallélisme (Informatique) --- Traitement réparti --- Congrès
Choose an application
This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. The workshop was held in New York City, on June 13, 2004, at Columbia University, in conjunction with the SIGMETRICS 2004 conference. Although it is a workshop, the papers were conference-reviewed, with the full versions being read and evaluated by at least five and usually seven members of the Program Committee. We refer to it as a workshop because of the very fast turnaround time, the intimate nature of the actual presentations, and the ability of the authors to revise their papers after getting feedback from workshop attendees. On the other hand, it was actually a conference in that the papers were accepted solely on their merits as decided upon by the Program Committee. We would like to thank the Program Committee members, Su-Hui Chiang, Walfredo Cirne, Allen Downey, Eitan Frachtenberg, Wolfgang Gentzsch, Allan Gottlieb, Moe Jette, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Mark Squillante, and John Towns, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and final revisions for this volume. Finally, we would like to thank the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), The Hebrew University, and Columbia University for the use of their facilities in the preparation of the workshop and these proceedings.
Parallel processing (Electronic computers) --- Computer capacity --- Production scheduling --- Parallélisme (Informatique) --- Capacité de traitement --- Ordonnancement (Gestion) --- Congresses. --- Management --- Congrès --- Gestion --- Computer Science --- Engineering & Applied Sciences --- Job scheduling (Production control) --- Job-shop scheduling --- Project scheduling (Production control) --- Scheduling (Management) --- Capacity, Computer --- Computer science. --- Logic design. --- Microprocessors. --- Architecture, Computer. --- Computer programming. --- Operating systems (Computers). --- Algorithms. --- Computer Science. --- Computer System Implementation. --- Operating Systems. --- Programming Techniques. --- Algorithm Analysis and Problem Complexity. --- Processor Architectures. --- Logic Design. --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Minicomputers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Foundations --- Operating systems --- Programming --- Production control --- Scheduling --- Computer network architectures. --- Computer software. --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer systems. --- Computer architecture. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Choose an application
Parallel processing (Electronic computers) --- Computer capacity --- Production scheduling --- Parallélisme (Informatique) --- Capacité de traitement --- Ordonnancement (Gestion) --- Congresses. --- Management --- Congrès --- Gestion --- Computer Science --- Engineering & Applied Sciences --- Job scheduling (Production control) --- Job-shop scheduling --- Project scheduling (Production control) --- Scheduling (Management) --- Capacity, Computer --- Computer science. --- Logic design. --- Microprocessors. --- Architecture, Computer. --- Computer programming. --- Operating systems (Computers). --- Algorithms. --- Computer Science. --- Computer System Implementation. --- Operating Systems. --- Programming Techniques. --- Algorithm Analysis and Problem Complexity. --- Processor Architectures. --- Logic Design. --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Minicomputers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Foundations --- Operating systems --- Programming --- Production control --- Scheduling --- Computer network architectures. --- Computer software. --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer systems. --- Computer architecture. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Choose an application
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rst meetings, in 1978. The two-day event, 7–8 July 2004, was hosted by London South Bank U- versity’s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re?ect upon and look beyondthe?rstquarter-centuryofCSP’scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je? Sanders), poster presentations by PhD students and others, featured a ?re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.
Computer programming --- Parallel processing (Electronic computers) --- Programmation (Informatique) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- CSP (Computer program language) --- Parallel programming (Computer science) --- Sequential processing (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Cross System Product (Computer program language) --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Programming Techniques. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Programming languages (Electronic computers) --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Compilers (Computer programs). --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Choose an application
The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park. It was jointly sponsored by the Department of Computer Science at the University of Ma- land and the University of Maryland Institute for Advanced Computer Studies (UMIACS).LCPC2002broughttogetherover60researchersfromacademiaand research institutions from many countries. The program of 26 papers was selected from 32 submissions. Each paper was reviewed by at least three Program Committee members and sometimes by additional reviewers. Prior to the workshop, revised versions of accepted papers were informally published on the workshop’s website and in a paper proceedings that was distributed at the meeting. This year, the workshopwas organizedinto sessions of papers on related topics, and each session consisted of two to three 30-minute presentations.Based on feedback from the workshop,the papers were revised and submitted for inclusion in the formal proceedings published in this volume. Two papers were presented at the workshop but later withdrawn from the ?nal proceedings by their authors. We were very lucky to have Bill Carlson from the Department of Defense give the LCPC 2002 keynote speech on “UPC: A C Language for Shared M- ory Parallel Programming.” Bill gave an excellent overview of the features and programming model of the UPC parallel programming language.
Parallel processing (Electronic computers) --- Programming languages (Electronic computers) --- Compilers (Computer programs) --- Parallélisme (Informatique) --- Langages de programmation --- Compilateurs (Logiciels) --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Arithmetic and logic units, Computer. --- Computer communication systems. --- Computer programming. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Computers. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Arithmetic and Logic Structures. --- Data Structures. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Arithmetic and logic units, Computer --- Computer arithmetic --- Informatics --- Science --- Programming --- Distributed processing --- Circuits --- Data structures (Computer scienc. --- Compilers (Computer programs). --- Computer networks. --- Computer arithmetic and logic units. --- Artificial intelligence—Data processing. --- Compilers and Interpreters. --- Theory of Computation. --- Data Science. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Listing 1 - 5 of 5 |
Sort by
|