Narrow your search

Library

EhB (8)

VUB (6)

KU Leuven (4)

Odisee (4)

Thomas More Kempen (4)

Thomas More Mechelen (4)

UCLL (4)

ULB (4)

ULiège (4)

VIVES (4)

More...

Resource type

book (8)


Language

English (8)


Year
From To Submit

2011 (3)

2010 (1)

2006 (3)

1979 (1)

Listing 1 - 8 of 8
Sort by
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
Authors: ---
ISBN: 9781846283369 9781852338954 1852338954 Year: 2006 Publisher: London: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP. The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures. In addition, the book discusses communicating automata approaches (both finite and infinite state); how the theory can be generalised to the timed setting; and, finally, the authors generalise the (finite and infinite state) communicating automata notations to yield timed automata and discrete timed automata. This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata. Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading.


Book
Encyclopedia of Parallel Computing
Authors: ---
ISBN: 9780387097664 9780387097657 Year: 2011 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selected, written, and peer-reviewed by an international pool of distinguished researchers in the field.  The Encyclopedia is broad in scope, covering machine organization, programming languages, algorithms, and applications.  Within each area, concepts, designs, and specific implementations are presented.  The highly-structured essays in this work comprise synonyms, a definition and discussion of the topic, bibliographies, and links to related literature. Extensive cross-references to other entries within the Encyclopedia support efficient, user-friendly searchers for immediate access to useful information.  Key concepts presented in the Encyclopedia of Parallel Computing include; laws and metrics; specific numerical and non-numerical algorithms; asynchronous algorithms; libraries of subroutines; benchmark suites;  applications; sequential consistency and cache coherency; machine classes such as clusters, shared-memory multiprocessors, special-purpose machines and dataflow machines; specific machines such as Cray supercomputers, IBM's cell processor and Intel's multicore machines; race detection and auto parallelization; parallel programming languages, synchronization primitives, collective operations, message passing libraries, checkpointing, and operating systems.   Topics covered: Speedup, Efficiency, Isoefficiency, Redundancy, Amdahls law, Computer Architecture Concepts, Parallel Machine Designs, Benmarks, Parallel Programming concepts & design, Algorithms, Parallel applications.  This authoritative reference will be published in two formats: print and online.  The online edition features hyperlinks to cross-references and to additional significant research.  Related Subjects:  supercomputing, high-performance computing, distributed computing


Book
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Authors: --- ---
ISBN: 9783642218347 9783642218330 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011. The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.


Book
CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Authors: --- ---
ISBN: 9783642232176 9783642232169 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

The definitive guide to GCC
Author:
ISBN: 9781430202196 1590595858 9781590595855 9786613250650 143020219X 1283250659 Year: 2006 Publisher: Berkeley, Calif. : Apress,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The GNU Compiler Collection (GCC) offers a variety of compilers for different programming languages including C, C++, Java, Fortran, and Ada. The Definitive Guide to GCC, Second Edition has been revised to reflect the changes made in the most recent major GCC release, version 4. Providing in-depth information on GCC's enormous array of features and options, and introducing crucial tools such as autoconf, gprof, and libtool, this book functions as both a guide and reference. This book goes well beyond a general introduction to GCC and covers key programming techniques such as profiling and optimization that, when used in conjunction with GCC's advanced features, can greatly improve application performance. This second edition will prove to be an invaluable resource, whether youre a student seeking familiarity with this crucial tool or an expert who uses GCC on a daily basis.

Virtual machines
Author:
ISBN: 9781846282461 1852339691 9781852339692 9786612823442 1846282462 1282823442 Year: 2006 Publisher: London: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Virtual Machines offers a unique insight into the building of virtual machines for sequential, object-oriented and parallel languages, and uses comparisons of different VMs to provide actual, practical examples on how to build VMs. State transitions are used as a formal technique for the specification of virtual machines throughout and - in addition – transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based system. Two virtual machines are defined using a simple sequential language, which is then generalised to include object and parallelism. Other themes explored include the implementation of VMs and proposals for future work. Appendices contain high-level specifications of two compilers: one for the simple language that serves as the basic example throughout the book, the other for the event-based language specified in Chapter 6. This book is an essential reference tool for academic and industrial researchers as well as postgraduates in this area.


Book
Parallel computational fluid dynamics 2008 : parallel numerical methods, software devleopment and applications
Authors: ---
ISBN: 9783642144387 3642144381 9783642144370 3642144373 9786612996665 1282996665 Year: 2010 Publisher: New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book collects the proceedings of the Parallel Computational Fluid Dynamics 2008 conference held in Lyon, France. Contributed papers by over 40 researchers representing the state of the art in parallel CFD and architecture from Asia, Europe, and North America examine major developments in (1) block-structured grid and boundary methods to simulate flows over moving bodies, (2) specific methods for optimization in Aerodynamics Design, (3) innovative parallel algorithms and numerical solvers, such as scalable algebraic multilevel preconditioners and the acceleration of iterative solutions, (4) software frameworks and component architectures for parallelism, (5) large scale computing and parallel efficiencies in the industrial context, (6) lattice Boltzmann and SPH methods, and (7) applications in the environment, biofluids, and nuclear engineering.

Keywords

informatica --- Mathematical physics --- Fluid mechanics --- theoretische fysica --- Engineering sciences. Technology --- informaticaonderzoek --- ingenieurswetenschappen --- vloeistofstroming --- Computer science --- aerodynamica --- Computational fluid dynamics --- Parallel processing (Electronic computers) --- 519.63 --- 681.3*G18 --- CFD (Computational fluid dynamics) --- Fluid dynamics --- 519.63 Numerical methods for solution of partial differential equations --- Numerical methods for solution of partial differential equations --- Partitial differential equations: domain decomposition methods; elliptic equations; finite difference methods; finite element methods; finite volume methods; hyperbolic equations; inverse problems; iterative solution techniques; methods of lines; multigrid and multilevel methods; parabolic equations; special methods --- Computer simulation --- Data processing --- Engineering mathematics. --- Computer aided design. --- Computer science. --- Classical and Continuum Physics. --- Mathematical and Computational Engineering. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computational Science and Engineering. --- Fluid- and Aerodynamics. --- Theoretical, Mathematical and Computational Physics. --- Informatics --- Science --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Engineering --- Engineering analysis --- Mathematical analysis --- Mathematics --- Continuum physics. --- Applied mathematics. --- Computer-aided engineering. --- Computer mathematics. --- Fluids. --- Mathematical physics. --- Physical mathematics --- Physics --- Hydraulics --- Mechanics --- Hydrostatics --- Permeability --- Computer mathematics --- Electronic data processing --- CAE --- Classical field theory --- Continuum physics --- Continuum mechanics

Automata, languages and programming: : sixth colloquium, Graz, Austria, July 16-20, 1979
Authors: ---
ISBN: 9780387095110 9780387095103 0387095101 038709511X 354009511X 3540351639 3540095101 354035168X 9783540095118 9783540095101 Year: 1979 Volume: 70 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Introductory MEMS: Fabrication and Applications is a practical introduction to MEMS for advanced undergraduate and graduate students. Part I introduces the student to the most commonly used MEMS fabrication techniques as well as the MEMS devices produced using these techniques. Part II focuses on MEMS transducers: principles of operation, modeling from first principles, and a detailed look at commercialized MEMS devices, in addition to microfluidics. Multiple field-tested laboratory exercises are included, designed to facilitate student learning about the fundamentals of microfabrication processes. References, suggested reading, review questions, and homework problems are provided at the close of each chapter. Introductory MEMS: Fabrication and Applications is an excellent introduction to the subject, with a tested pedagogical structure and an accessible writing style suitable for students at an advanced undergraduate level across academic disciplines. .

Keywords

Engineering. --- Electronics and Microelectronics, Instrumentation. --- Circuits and Systems. --- Mechanics. --- Surfaces and Interfaces, Thin Films. --- Continuum Mechanics and Mechanics of Materials. --- Materials. --- Electronics. --- Systems engineering. --- Surfaces (Physics). --- Ingénierie --- Mécanique --- Matériaux --- Electronique --- Ingénierie des systèmes --- Surfaces (Physique) --- Microelectromechanical systems. --- Electronic apparatus and appliances. --- Transducers. --- Electronic books. -- local. --- Microelectromechanical systems --- Electronic apparatus and appliances --- Transducers --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Electronic devices --- Electronics --- MEMS (Microelectromechanical systems) --- Micro-electro-mechanical systems --- Micro-machinery --- Microelectromechanical devices --- Micromachinery --- Micromachines --- Micromechanical devices --- Micromechanical systems --- Apparatus and appliances --- 681.3*A0 --- 681.3*D31 --- 681.3*F12 --- Formal definitions and theory: semantics syntax (Programming languages)--See also {681.3*D21} {681.3*F31} {681.3*F32} {681.3*F42} {681.3*F43} --- Process management: concurrency deadlocks multiprocessing/multiprogrammingmutual exclusion scheduling synchronization (Operating systems) --- Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- 681.3*F12 Modes of computation: alternation and nondeterminism parallelism probabilistic computation relations among modes relativized computation --- 681.3*D41 Process management: concurrency deadlocks multiprocessing/multiprogrammingmutual exclusion scheduling synchronization (Operating systems) --- 681.3*D31 Formal definitions and theory: semantics syntax (Programming languages)--See also {681.3*D21} {681.3*F31} {681.3*F32} {681.3*F42} {681.3*F43} --- Sequential Machine Theory --- FORMAL LANGUAGES --- Continuum mechanics. --- Microelectronics. --- Electronic circuits. --- Materials --- Thin films. --- Surfaces. --- Programming --- Computer science --- #TCPW P4.0 --- #TCPW P4.6 --- 681.3*D41 --- 681.3*F3 --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*A0 General --- General --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*F0 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Computerwetenschap--?*F0 --- Electric apparatus and appliances --- Electromechanical devices --- Physical instruments --- Scientific apparatus and instruments --- Electronic instruments --- Microtechnology --- Mechatronics --- Parallel processing (Electronic computers) --- Programming languages (Electronic computers) --- Congresses --- Semantics --- Parallélisme (Informatique) --- Langages de programmation --- Congrès --- Sémantique --- Mechanics, Applied. --- Classical Mechanics. --- Solid Mechanics. --- Applied mechanics --- Engineering, Mechanical --- Engineering mathematics --- Physics --- Surface chemistry --- Surfaces (Technology) --- Classical mechanics --- Newtonian mechanics --- Dynamics --- Quantum theory --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Electrical engineering --- Physical sciences --- Design and construction --- Materials—Surfaces. --- Films, Thin --- Solid film --- Solid state electronics --- Solids --- Coatings --- Thick films --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Semiconductors --- Miniature electronic equipment --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Logic design. --- Software engineering. --- Logics and Meanings of Programs. --- Software Engineering. --- Information theory. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Logique --- Programmation système (informatique) --- Parallel processing (Electronic computers) - Congresses --- Programming languages (Electronic computers) - Semantics - Congresses --- Sequential Machine Theory - Congresses --- FORMAL LANGUAGES - Congresses --- Programming languages (Electronic computers) - Congresses --- Langages de programmation.

Listing 1 - 8 of 8
Sort by