Flylib.com
List of Programs
Previous page
Table of content
Chapter 2: Processes and Threads
Program 2.1:
NumberCanvas
class.
Program 2.2:
CountDown
applet class.
Chapter 3: Concurrent Execution
Program 3.1:
Rotator
class.
Program 3.2:
ThreadPanel
class.
Program 3.3:
ThreadDemo
applet class.
Chapter 4: Shared Objects and Mutual Exclusion
Program 4.1:
Turnstile
class.
Program 4.2:
Counter
class.
Program 4.3: Corrected
Counter
class.
Chapter 5: Monitors and Condition Synchronization
Program 5.1:
Arrivals
and
Departures
classes.
Program 5.2:
CarParkControl
monitor.
Program 5.3:
Semaphore
class.
Program 5.4: Extended version of
ThreadPanel
class.
Program 5.5:
MutexLoop
class.
Program 5.6:
Buffer
interface and
BufferImpl
class.
Program 5.7:
Producer
and
Consumer
classes.
Program 5.8:
Buffer class
using semaphores.
Program 5.9: Fixed bounded buffer using semaphores.
Chapter 6: Deadlock
Program 6.1: Outline of
PhilCanvas
class.
Program 6.2:
Fork
monitor.
Program 6.3:
Philosopher
thread class.
Chapter 7: Safety and Liveness Properties
Program 7.1:
BridgeCanvas
class.
Program 7.2:
RedCar
and
BlueCar
classes.
Program 7.3:
Bridge
class.
Program 7.4:
SafeBridge
class.
Program 7.5:
FairBridge
class.
Program 7.6:
ReadWrite
interface.
Program 7.7:
ReadWriteSafe
class.
Program 7.8:
ReadWritePriority
class.
Chapter 8: Model-Based Design
Program 8.1:
CarSpeed
interface.
Program 8.2:
Controller
class.
Program 8.3:
SpeedControl
class.
Chapter 9: Dynamic Systems
Program 9.1:
Allocator
interface and
SimpleAllocator
class.
Program 9.2:
Player
class.
Program 9.3:
SlotCanvas
class.
Program 9.4:
FairAllocator
class.
Program 9.5:
BoundedOvertakingAllocator
class.
Program 9.6:
Master
and
Slave
classes.
Chapter 10: Message Passing
Program 10.1:
Channel
class.
Program 10.2:
Sender
and
Receiver
threads.
Program 10.3: MsgGate class.
Program 10.4: MsgCarPark class.
Program 10.5:
Port
class.
Program 10.6: Asender and Areceiver classes.
Program 10.7:
Entry
class.
Program 10.8:
Client
and
Server
threads.
Chapter 11: Concurrent Architectures
Program 11.1:
PrimesCanvas
class.
Program 11.2:
Generator
class.
Program 11.3:
Filter
class.
Program 11.4:
Pipe
,
PipeImplUnBuf
and
PipeImplBuf
classes.
Program 11.5:
TupleSpace
interface.
Program 11.6:
TupleSpaceImpl
class.
Program 11.7:
SupervisorCanvas
,
WorkerCanvas
and
Function
classes.
Program 11.8:
Result
and
Supervisor
classes.
Program 11.9:
Worker
class.
Program 11.10:
BoxCanvas
class.
Program 11.11:
BoxMover
and
MyListener
classes.
Chapter 12: Timed Systems
Program 12.1:
Timed
interface.
Program 12.2:
TimedCountDown
class.
Program 12.3:
ProducerConsumer
class.
Program 12.4:
Producer
class.
Program 12.5:
Consumer
class.
Program 12.6:
TimeManager
class.
Program 12.7:
ImmutableList
class.
Program 12.8:
ParcelMover
and
SwitchControl
interfaces.
Program 12.9:
Chute
class.
Program 12.10:
Switch
class.
Program 12.11:
SensorController
class.
Chapter 13: Program Verification
Program 13.1:
Buffer
interface and
BufferImpl
class.
Program 13.2: Class
ReadWritePriority
.
Previous page
Table of content
Concurrency: State Models and Java Programs
ISBN: 0470093552
EAN: 2147483647
Year: 2004
Pages: 162
Authors:
Jeff Magee
,
Jeff Kramer
BUY ON AMAZON
CompTIA Project+ Study Guide: Exam PK0-003
IT Project Management Overview
Project Initiation
Other Planning Processes
Comprehensive Project Plan
Project Control
High-Speed Signal Propagation[c] Advanced Black Magic
Hierarchy of Regions
Normalizing the Output of an FFT Routine
Pcb Connectors
UTP Signal Propagation
Single-Mode Fiber-Optic Cabling
A Practitioners Guide to Software Test Design
The Testing Process
Section I - Black Box Testing Techniques
Pairwise Testing
Data Flow Testing
When to Stop Testing
Twisted Network Programming Essentials
Uploading a File
Working with POST Data from HTML Forms
Installing SOAP Libraries
Using Authentication in a Twisted Server
Logging Events and Errors
Persuasive Technology: Using Computers to Change What We Think and Do (Interactive Technologies)
Computers as Persuasive Media Simulation
Credibility and Computers
Credibility and the World Wide Web
Increasing Persuasion through Mobility and Connectivity
Captology Looking Forward
Lean Six Sigma for Service : How to Use Lean Speed and Six Sigma Quality to Improve Services and Transactions
Executing Corporate Strategy with Lean Six Sigma
Success Story #4 Stanford Hospital and Clinics At the forefront of the quality revolution
Phase 4 Performance and Control
Service Process Challenges
First Wave Service Projects
flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net
Privacy policy
This website uses cookies. Click
here
to find out more.
Accept cookies