Real-Time Systems: Scheduling, Analysis, and Verification

Real-Time Systems: Scheduling, Analysis, and Verification

Albert M. K. Cheng
0 / 0
0 comments
Sukakah Anda buku ini?
Bagaimana kualitas file yang diunduh?
Unduh buku untuk menilai kualitasnya
Bagaimana kualitas file yang diunduh?
The first book to provide a comprehensive overview of the subject rather than a collection of papers.The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences.A handy reference for practitioners in the field.
Kategori:
Computers - Databases
Tahun:
2002
Edisi:
1
Penerbit:
Wiley-Interscience
Bahasa:
english
Halaman:
550
ISBN 10:
0471184063
File:
PDF, 3.73 MB
IPFS:
CID , CID Blake2b
english, 2002
Mengunduh (pdf, 3.73 MB)
  • Checking other formats...
  • File yang dikonversi dapat berbeda dari file asli. Jika ada kemungkinan, lebih baik mengunduh file dalam format aslinya
Pengubahan menjadi sedang diproses
Pengubahan menjadi gagal

Istilah kunci

 
systems
analysis
graph
transition
algorithm
task
execution
timing
tasks
firing
finite
specification
timed
cycle
false
variables
fixed
figure
sensor
input
eql
scheduling
programs
verification
proc
firings
automaton
corresponding
constraints
formula
cheng
fcp
wmes
checking
event
values
response
edge
automata
approach
computation
initial
labeled
enabled
enabling
events
cycles
optimization
specified
deadline
bounded
element
ops5
petri
schedule
algorithms
determine
icp
node
function

Daftar buku terkait