Listing 1 - 6 of 6 |
Sort by
|
Choose an application
Choose an application
Choose an application
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
Computer architecture. Operating systems --- 681.3*B0 --- 681.3*D4 --- Computerwetenschap--?*B0 --- Operating systems--See also {681.3*C} --- 681.3*D4 Operating systems--See also {681.3*C} --- Software engineering. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering
Choose an application
This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly sponsored and organized by the Sonderforschungsbereich 124 "VSLI-Entwurfsmethoden und Parallelität" and the European Network Center (ENC) of the IBM Corporation, Heidelberg. The objective of the workshop was to bring together researchers who had gathered substantial experience with the implementation of distributed systems. The emphasis was put on the exchange of (good and bad) experiences with existing concepts in distributed system design rather than presenting new ideas. Participation in the workshop was by invitation only. The presentations can be roughly categorized as reports on a specific project or reports on experiences with a certain topic accumulated through several projects. Other lectures treated general topics such as fault tolerance, design principles for distributed languages and systems, and distributed databases.
Programming --- Computer architecture. Operating systems --- 681.3*C24 --- 681.3*D33 --- 681.3*D4 --- 681.3*H24 --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Operating systems--See also {681.3*C} --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Software engineering. --- Operating systems (Computers). --- Software Engineering. --- Operating Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Operating systems
Choose an application
Unix --- Computer architecture. Operating systems --- UNIX (Computer operating system) --- Computer input-output equipment --- Electronic digital computers --- UNIX (Système d'exploitation des ordinateurs) --- Ordinateurs --- Programmation des ordinateurs --- Programming --- Equipement d'entrée-sortie --- 681.3*D4 --- driver --- unix --- Operating systems--See also {681.3*C} --- Computer input-output equipment. --- Computer programming. --- 681.3*D4 Operating systems--See also {681.3*C} --- UNIX (Système d'exploitation des ordinateurs) --- Equipement d'entrée-sortie --- Computer programming --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Computer hardware --- Computer I/O equipment --- Electronic analog computers --- Hardware, Computer --- I/O equipment (Computers) --- Input equipment (Computers) --- Input-output equipment (Computers) --- Output equipment (Computers) --- Computer systems --- Input-output equipment --- UNIX (Computer file)
Choose an application
Computer architecture. Operating systems --- Computer networks --- Réseaux d'ordinateurs --- Protocoles de réseaux d'ordinateurs --- Réseaux d'ordinateurs. --- Architectures --- Architectures. --- 681.3 *C2 --- 681.3*C20 --- 681.3*D4 --- Computer communication networks: data communications OSI security and protection --- Computerwetenschap--?*C20 --- Operating systems--See also {681.3*C} --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3 *C2 Computer communication networks: data communications OSI security and protection --- Computers--Netwerken --- Ordinateurs--Réseaux --- Computer communication networks: data communications; OSI; security and protection --- Communications management: buffering; input/output; message sending; network communication; terminal management (Operating systems)--See also {?681.3*C2} --- Computer science--?*C20 --- 681.3*D44 Communications management: buffering; input/output; message sending; network communication; terminal management (Operating systems)--See also {?681.3*C2} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Réseaux informatiques --- 681.35 --- 681.3*C2 --- 681.3*D44 --- Computerarchitectuur. Operating systems --- 6813*C20 --- Réseaux d'ordinateurs - Architectures --- Réseaux d'ordinateurs - Architectures.
Listing 1 - 6 of 6 |
Sort by
|