Choose an application

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

Concurrent and Distributed Computing in Java addresses fundamental concepts in concurrent computing with Java examples. The book consists of two parts. The first part deals with techniques for programming in shared-memory based systems. The book covers concepts in Java such as threads, synchronized methods, waits, and notify to expose students to basic concepts for multi-threaded programming. It also includes algorithms for mutual exclusion, consensus, atomic objects, and wait-free data structures. The second part of the book deals with programming in a message-passing system. This part covers resource allocation problems, logical clocks, global property detection, leader election, message ordering, agreement algorithms, checkpointing, and message logging. Primarily a textbook for upper-level undergraduates and graduate students, this thorough treatment will also be of interest to professional programmers.

Computer architecture. Operating systems --- Parallel processing (Electronic computers) --- Electronic data processing --- Java (Computer program language) --- Distributed processing --- Distributed processing. --- Electronic data processing - Distributed processing

Choose an application

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

This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.

Computer science. --- Computer communication systems. --- Software engineering. --- Computer security. --- Algorithms. --- Computer logic. --- Computer Science. --- Computer Communication Networks. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Systems and Data Security. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- 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 --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Protection --- Security measures --- Distributed processing --- Logic design. --- Computer software. --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Self-stabilization (Computer science) --- Computer algorithms --- Fault-tolerant computing --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer networks. --- Data protection. --- Computer and Information Systems Applications. --- Computer Science Logic and Foundations of Programming. --- Data and Information Security. --- Data governance --- Data regulation --- Personal data protection --- Protection, Data

Choose an application

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

Fluid dynamics. --- Heat --- Turbulence. --- Transmission.

Choose an application

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

This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.

Logic --- Complex analysis --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- complexe analyse (wiskunde) --- bedrijfssoftware --- cloud computing --- mobiele netwerken --- ad-hocnetwerken --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- informatiesystemen --- software engineering --- computerbeveiliging --- computernetwerken --- computerkunde

Choose an application

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

Mathematical models --- Control theory --- Discrete-time systems