Choose an application

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

C++ (Computer program language). --- C++. --- Intel. --- Parallel processing (Electronic computers). --- Parallel processing. --- Parallel programming.

Choose an application

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

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.

Ada (Computer program language) --- Parallel programming (Computer science) --- Real-time programming.

Choose an application

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

Parallel processing (Electronic computers) --- Electronic data processing --- Engineering & Applied Sciences --- Computer Science --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Distributed processing

Choose an application

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

Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).

Petri nets. --- Discrete-time systems. --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Systèmes échantillonnés --- Parallélisme (Informatique) --- Electronic books. -- local. --- Parallel processing (Electronic computers). --- Digital control systems --- Discrete-time systems --- Petri nets --- Mechanical Engineering - General --- Algebra --- Mathematics --- Mechanical Engineering --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Design and construction --- DES (System analysis) --- Discrete event systems --- Sampled-data systems --- Engineering. --- System theory. --- Control engineering. --- Robotics. --- Mechatronics. --- Control, Robotics, Mechatronics. --- Systems Theory, Control. --- Graph theory --- Nets (Mathematics) --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- System analysis --- Linear time invariant systems --- Systems, Theory of --- Systems science --- Science --- Philosophy --- Systems theory. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Design and construction. --- Automatic control --- Electronic digital computers --- Discrete mathematics

Choose an application

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

Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Machine theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Computer science. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- 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 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Informatics --- Science --- Programming --- Algorithms --- Recursive functions --- Robotics --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Information theory. --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Computer systems. --- Compilers (Computer programs). --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure