Narrow your search
Listing 1 - 2 of 2
Sort by
Modeling embedded systems and SoC's : concurrency and time in models of computation
Author:
ISBN: 1558609253 9781558609259 9786611022686 1281022683 0080511821 9780080511825 9781281022684 6611022686 Year: 2004 Publisher: San Francisco (Calif.) : Morgan Kaufmann,

Loading...
Export citation

Choose an application

Bookmark

Abstract

1. Introduction 2. Behavior and Concurrency 3. The Untimed Model of Computation 4. The Synchronous Model of Computation 5. The Timed Model of Computation 6. MoC Interfaces 7. Tightly Coupled Process Networks 8. Nondeterminism and Probability 9. Applications 10. Concluding Remarks

CONCUR 2004 -- Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 354022940X 3540286446 9783540229407 Year: 2004 Volume: 3170 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer communication systems. --- Computation by Abstract Devices. --- Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computer Communication Networks. --- Electronic data processing --- Computer network architectures. --- Logic design. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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 --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Distributed processing --- Programming --- Computer architecture. --- Programming languages (Electronic computers) --- Computer networks.

Listing 1 - 2 of 2
Sort by