Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Choose an application
This volume consists of the proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006). This series of conferences provides a forum for presenting the current state of researchon Petri nets and related approachesto concurrent s- tems. Both applications and theoretical developments are represented. Shorter presentations introducing novel tools or substantial enhancements to existing tools are also encouraged. Further, a range of invited talks that survey related domains are presented. ICATPN2006wasco-locatedwiththe6thInternationalConferenceonApp- cationsofConcurrencytoSystemDesign(ACSD2006).Thetwoconferenceshad common satellite events and invited speakers as well as coordinated programs to enable participants to bene?t from both conferences. The ICATPN 2006 conference as well as ACSD 2006 was organized ? by the Department of Computer Science, Abo Academi University, Turku, F- land. We would like to heartily thank the Organizing Committee, chaired by Johan Lilius, for the considerablee?ort invested to bring o? the two conferences smoothly. Detailed information about ICATPN 2006 and the related events can be found athttp://www.cs.abo.fi/atpn2006/. Thisyearwereceived93submissionsfromauthorsfrom26di?erentcountries.
Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- informatica --- software engineering --- OS (operating system) --- computernetwerken --- architectuur (informatica)
Choose an application
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.
Programming --- Computer architecture. Operating systems --- embedded systems --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- OS (operating system)
Choose an application
Programming --- Computer architecture. Operating systems --- embedded systems --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- OS (operating system)
Choose an application
Petri nets --- Parallel processing (Electronic computers) --- Réseaux de Pétri --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer multitasking --- Algebra --- Computer Science --- Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Microprocessors. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Computer Communication Networks. --- Processor Architectures. --- Operating Systems. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- 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 operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- 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 --- Minicomputers --- Informatics --- Science --- Operating systems --- Distributed processing --- Information theory. --- Computational complexity. --- Complexity, Computational --- Communication theory --- Communication --- Computer science—Mathematics. --- Discrete mathematics. --- Computer networks. --- Computer architecture. --- Architecture, Computer --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Listing 1 - 5 of 5 |
Sort by
|