Listing 1 - 10 of 36 | << page >> |
Sort by
|
Choose an application
Parallel processing (Electronic computers) --- Parallel computers --- Ordinateurs parallèles --- Parallel computers. --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Electronic digital computers --- Parallélisme (Informatique)
Choose an application
Computer. Automation --- Parallel processing (Electronic computers) --- Parallel computers --- Parallélisme (Informatique) --- Ordinateurs parallèles --- Periodicals --- Périodiques --- 681.3 --- Computer science --- Parallélisme (Informatique) --- Ordinateurs parallèles --- Périodiques. --- Information Technology --- Mathematical Sciences --- Telecommunications Technology --- General and Others --- Applied Mathematics --- Communication Networks & Technology --- Digital Signal Processing --- Périodiques --- Electronic digital computers --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / /
Choose an application
While much has been written on asymmetric aspects of sentence structure, symmetric aspects have been largely ignored, or claimed to be non-existent. Does symmetry in syntax exist, and if it does, how do we account for it? In this book, Barbara Citko sets out to tackle these questions and offers a unified approach to a number of phenomena that have so far been studied only in isolation. Focusing on three core minimalist mechanisms: merge, move and labeling, she advances a new theory of these mechanisms, by showing that under certain well-defined circumstances merge can create symmetric structures, move can target either of two potentially moveable objects, and labels can be constructed symmetrically from the features of two objects. This book is aimed at researchers and graduate students interested in minimalist syntax, the structure of questions, relative clauses, coordination, double object constructions and copular sentences.
Grammar, Comparative and general --- Parallelism (Linguistics) --- Generative grammar. --- Syntax. --- Generative grammar --- Language and languages --- Linguistics --- Grammar, Generative --- Grammar, Transformational --- Grammar, Transformational generative --- Transformational generative grammar --- Transformational grammar --- Psycholinguistics --- Syntax --- Style --- Derivation --- Arts and Humanities --- Language & Linguistics --- Grammaire générative --- Philology --- Grammar, Comparative and general Syntax --- Parallélisme (linguistique) --- Syntaxe
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
Parallel processing (Electronic computers) --- Electronic data processing --- Parallélisme (Informatique) --- Traitement réparti --- Congresses. --- Distributed processing --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Programming Techniques. --- Computation by Abstract Devices. --- 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 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Special purpose computers --- Informatics --- Science --- Programming --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Choose an application
"Parallel Evolutionary Computation" focuses on the aspects related to the parallelization of evolutionary computations, such as parallel genetic operators, parallel fitness evaluation, distributed genetic algorithms, and parallel hardware implementations, as well as on their impact on several applications. The book is divided into four parts. The first part deals with a clear software-like and algorithmic vision on parallel evolutionary optimizations. The second part is about hardware implementations of genetic algorithms, a valuable topic which is hard to find in the present literature. The third part treats the problem of distributed evolutionary computation and presents three interesting applications wherein parallel EC new ideas are featured. Finally, the last part deals with the up-to-date field of parallel particle swarm optimization to illustrate the intrinsic similarities and potential extensions to techniques in this domain. The book offers a wide spectrum of sample works developed in leading research throughout the world about parallel implementations of efficient techniques at the heart of computational intelligence. It will be useful both for beginners and experienced researchers in the field of computational intelligence.
Evolutionary computation. --- Parallel processing (Electronic computers) --- Réseaux neuronaux à structure évolutive --- Parallélisme (Informatique) --- Engineering. --- Artificial intelligence. --- Engineering mathematics. --- Appl.Mathematics/Computational Methods of Engineering. --- Artificial Intelligence (incl. Robotics). --- Evolutionary computation --- Computer Science --- Applied Mathematics --- Civil Engineering --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Computation, Evolutionary --- Applied mathematics. --- Engineering --- Engineering analysis --- Mathematical analysis --- 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 --- Construction --- Industrial arts --- Technology --- Mathematics --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Neural networks (Computer science) --- Mathematical and Computational Engineering. --- Artificial Intelligence.
Choose an application
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Petri nets. --- Discrete-time systems. --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Systèmes échantillonnés --- Parallélisme (Informatique) --- Electronic books. -- local. --- Parallel processing (Electronic computers). --- Digital control systems --- Discrete-time systems --- Petri nets --- Mechanical Engineering - General --- Algebra --- Mathematics --- Mechanical Engineering --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Design and construction --- DES (System analysis) --- Discrete event systems --- Sampled-data systems --- Engineering. --- System theory. --- Control engineering. --- Robotics. --- Mechatronics. --- Control, Robotics, Mechatronics. --- Systems Theory, Control. --- Graph theory --- Nets (Mathematics) --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- System analysis --- Linear time invariant systems --- Systems, Theory of --- Systems science --- Science --- Philosophy --- Systems theory. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Design and construction. --- Automatic control --- Electronic digital computers --- Discrete mathematics
Choose an application
This book constitutes the thoroughly refereed postproceedings of the 12th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2006, held in Saint-Malo, France, in June 2006 in conjunction with the Joint International Conference on Measurement and Modeling of Computer Systems SIGMETRICS/Performance 2006. The 12 revised full research papers presented went through two rounds of reviewing and improvement. The papers cover all current issues of job scheduling strategies for parallel processing such as workflow problems, scheduling performance, job migration issues, performance degradation by resource sharing, and job modeling issues in grid computing.
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
Listing 1 - 10 of 36 | << page >> |
Sort by
|