Narrow your search

Library

KU Leuven (36)

Odisee (36)

Thomas More Kempen (36)

Thomas More Mechelen (36)

UCLL (36)

ULiège (36)

VIVES (36)

ULB (35)

UGent (5)

LUCA School of Arts (3)

More...

Resource type

book (33)

periodical (3)


Language

English (36)


Year
From To Submit

2011 (1)

2008 (5)

2007 (13)

2006 (10)

2005 (4)

More...
Listing 1 - 10 of 36 << page
of 4
>>
Sort by

Periodical
Concurrency and computation : practice and experience.
ISSN: 15320634 15320626 Year: 2001 Publisher: Chichester, UK : John Wiley & Sons,


Book
Symmetry in syntax : merge, move, and labels
Author:
ISBN: 9781107005556 9780511794278 9781316606483 9781139078658 1139078658 0511794274 1107005558 9781139080927 113908092X 1107221331 1139063944 Year: 2011 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
Authors: --- --- ---
ISBN: 9783540253303 3540253300 3540317953 Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Authors: --- --- --- ---
ISBN: 9783540310242 354031024X 3540316175 Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Authors: --- --- ---
ISBN: 9783540258131 3540258132 3540322655 Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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

Coordination Models and Languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Authors: --- ---
ISBN: 9783540346944 3540346945 3540346953 Year: 2006 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

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

Parallel evolutionary computations
Authors: --- ---
ISBN: 9783540328377 3540328378 9786610615308 1280615303 3540328394 Year: 2006 Publisher: Berlin, Germany ; New York, New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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.

Dynamic analysis of petri net-based discrete systems
Author:
ISBN: 9783540714644 3540714642 9786610951604 1280951605 3540715606 Year: 2007 Publisher: Berlin, Germany : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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).

Job Scheduling Strategies for Parallel Processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Authors: --- ---
ISBN: 9783540710349 3540710345 9786610902217 1280902213 3540710353 Year: 2007 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Keywords

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
of 4
>>
Sort by