Search
Feedback
About
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 0262240297 9780262240291 Year: 1990 Volume: vol *6 Publisher: Cambridge London MIT Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540609156 3540496750 9783540609155 Year: 1996 Volume: 1043 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail. Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
Parallel processing (Computer science) --- Parallele verwerking (Informatica) --- Traitement parallèle (Informatique) --- Electronic data processing --- Parallel processing (Electronic computers) --- Traitement réparti --- Parallélisme (Informatique) --- Distributed processing --- Distributed processing. --- Parallel processing (Electronic computers). --- Traitement réparti --- Parallélisme (Informatique) --- Computer network architectures. --- Information theory. --- Logic design. --- Computer science. --- Computer software. --- Computer System Implementation. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Information, Théorie de l' --- Codage --- Electronic data processing - Distributed processing. --- Informatique theorique --- Automates abstraits --- Algorithmes --- Complexite
ISBN: 3540628401 3540687017 9783540628408 Year: 1997 Volume: 1220 Publisher: Berlin [etc.] : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Massively parallel processing is currently the most promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This book focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code written in a sequential language. Fortran has been chosen for the presentation of the material because of its dominant role in high-performance programming for scientific and engineering applications.
Parallel processing (Computer science) --- Parallele verwerking (Informatica) --- Traitement parallèle (Informatique) --- Parallel processing (Electronic computers) --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Numerical analysis. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Numerical Analysis. --- Computer Communication Networks. --- Operating Systems. --- Computer network architectures. --- Mathematical analysis --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Operating systems --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Distributed processing --- Programming
| Listing 1 - 3 of 3 |
Sort by
|