Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Parallelisme (Informatique) --- Programmation parallele (Informatique) --- Logiciels
Choose an application
Choose an application
Computer science --- Computer algorithms --- Parallel processing (Electronic computers) --- Algorithmes --- Parallélisme (Informatique) --- Parallel algorithms --- Parallel algorithms. --- Parallelle algoritmen --- 681.3 --- Parallel processing (Electronic computers). --- Parallélisme (Informatique)
Choose an application
Parallel processing (Electronic computers) --- Computer algorithms --- Parallélisme (Informatique) --- Algorithmes --- Congresses --- Congrès --- -Parallel processing (Electronic computers) --- -681.3*C12 --- 681.3*I26 --- Algorithms --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- 681.3*C12 --- Parallel processing (Electronic computers) - Congresses --- Computer algorithms - Congresses --- Parallélisme (Informatique) - Congrès - Congrès --- Algorithmes - Congrès - Congrès
Choose an application
Parallel processing (Electronic computers) --- Parallel algorithms --- Parallélisme (Informatique) --- Algorithmes parallèles --- 681.3 *G10 --- 681.3*C12 --- 681.3*F12 --- 681.3*G22 --- Algorithms --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computerwetenschap--?*G10 --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- Parallel algorithms. --- Parallel processing (Electronic computers). --- 681.3*G22 Graph theory: graph algorithms; network problems; path and tree problems; trees--See also {681.3*F22} --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch
Choose an application
This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- -681.3*D13 --- 681.3*D32 --- 681.3*F12 --- 681.3*F3 --- Concurrent programming --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 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 --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D13 Concurrent programming --- Parallélisme (Informatique) --- Congrès --- Parallel processing (Computer science) --- Mathematics. --- Information theory. --- Logic design. --- Computer science. --- Applications of Mathematics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Math --- -Congresses
Choose an application
Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement.
Parallel processing (Electronic computers) --- Parallelle verwerking (Computers) --- Petri nets --- Petrinetten --- Réseaux de Petri --- Traitement parallèle (Ordinateurs) --- Parallélisme (Informatique) --- Réseaux de Pétri --- 681.3*D22 --- 681.3*F12 --- 681.3*F32 --- 681.3*F43 --- Graph theory --- Nets (Mathematics) --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Parallélisme (Informatique) --- Réseaux de Pétri --- Petri nets. --- Computer network architectures. --- Systems theory. --- Software engineering. --- Computer science. --- Computer System Implementation. --- Systems Theory, Control. --- Software Engineering. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Listing 1 - 7 of 7 |
Sort by
|