Listing 1 - 8 of 8 |
Sort by
|
Choose an application
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.
Choose an application
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
Programming --- Computer architecture. Operating systems --- Computer. Automation --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering --- architectuur (informatica) --- Parallel processing (Electronic computers) --- EPUB-LIV-FT LIVINFOR SPRINGER-B
Choose an application
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.
Mathematical logic --- Logic --- Computer science --- Programming --- Computer. Automation --- informatica --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- Petri nets --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congresses --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B
Choose an application
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.
Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- ontwerpen --- programmeren (informatica) --- informatiesystemen --- programmeertalen --- software engineering --- KI (kunstmatige intelligentie) --- computernetwerken --- robots --- Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B
Choose an application
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.
Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer science. --- Software engineering. --- Informatique --- Génie logiciel --- Compilers (Computer programs). --- Compilers (Computer programs) -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Programming languages (Electronic computers) -- Congresses. --- Compilers (Computer programs) --- Engineering & Applied Sciences --- Computer Science --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Programming Languages, Compilers, Interpreters. --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming languages (Electronic computers). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial
Choose an application
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.
Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Operating Systems. --- Computer science. --- Software engineering. --- Operating systems (Computers). --- Informatique --- Génie logiciel --- Systèmes d'exploitation (Ordinateurs) --- Virtual computer systems --- Virtual computer systems. --- Engineering & Applied Sciences --- Computer Science --- Parallel processing (Electronic computers) --- Machine systems, Virtual --- Virtual machine systems --- Computer hardware. --- Programming languages (Electronic computers). --- Computer Hardware. --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer systems --- Digital computer simulation --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Operating systems --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial
Choose an application
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.
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
Choose an application
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. .
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
|