Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses. --- Digital control systems - Congresses. --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming - Congresses. --- Programming languages (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Distributed operating systems (Computers) --- Traitement réparti --- Systèmes d'exploitation répartis --- Distributed processing --- Congresses. --- Congrès --- Computer Science --- Telecommunications --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Operating systems (Computers). --- Computer Science. --- Computer System Implementation. --- Computer Communication Networks. --- Software Engineering. --- Programming Techniques. --- Operating Systems. --- Special Purpose and Application-Based Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Special purpose computers --- 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 --- Informatics --- Science --- Operating systems --- Programming --- Operating systems (Computers) --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Electronic data processing - Distributed processing - Congresses. --- Distributed operating systems (Computers) - Congresses. --- Computer systems. --- Computer networks. --- Computers, Special purpose. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Embedded computing systems have started to carry out the key control functions in diverse domains such as telecommunications, automotive electronics, avionics and even complete industrial manufacturing lines. Traditionally, such embedded control systems have been implemented in a monolithic, centralized manner. However, distributed and parallel solutions have been steadily gaining popularity. In a distributed setup, the control task is carried out by a number of controllers distributed over the entire system and interconnected as a network by communication components such as field buses. More demanding local control applications require controllers based on parallel architectures or processors with dedicated co-processors. Distribution and parallelism in embedded system design increase the engineering challenges and demand new development methods and tools. From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.

Embedded computer systems --- Electronic data processing --- Parallel processing (Electronic computers) --- Systèmes enfouis (Informatique) --- Traitement réparti --- Parallélisme (Informatique) --- Congresses --- Distributed processing --- Congrès --- Electronic data processing -- Distributed processing -- Congresses. --- Embedded computer systems -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Computer Science --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Computer organization. --- Computer communication systems. --- Computer system failures. --- Architecture, Computer. --- Computer Science. --- Computer Communication Networks. --- Computer System Implementation. --- System Performance and Evaluation. --- Computer Systems Organization and Communication Networks. --- Computer network architectures. --- Computer system performance. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Organization, Computer --- Electronic digital computers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Architecture, Computer --- 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 --- Failures --- Computer networks. --- Computer systems. --- Computer engineering. --- Computer Engineering and Networks. --- Evaluation. --- Computers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Design and construction