Ditapis dengan
Analyzing Computer System Performance with Perl::PDQ
Theory of System Performance Analysis -- Time—The Zeroth Performance Metric -- Getting the Jump on Queueing -- Queueing Systems for Computer Systems -- Linux Load Average—Take a Load Off! -- Performance Bounds and Log Jams -- Practice of System Performance Analysis -- Pretty Damn Quick (PDQ)—A Slow Introduction -- Multicomputer Analysis with PDQ -- How to Scale an Elephant with PDQ -- Cli…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268604
- Deskripsi Fisik
- XXIII, 436 p. 176 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dependable Computing - EDCC 2005
Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolera…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320197
- Deskripsi Fisik
- XVI, 480 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dependable Computing
Invited Talks -- Probabilistic Validation of Computer System Survivability -- Timed Asynchronous Distributed Systems -- WLAN in Automation – More Than an Academic Exercise? -- Evaluation -- Using Stratified Sampling for Fault Injection -- A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code -- Quantitative Evaluation of D…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320920
- Deskripsi Fisik
- XV, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constituents of Modern System-safety Thinking
Independent Safety Assessment -- The IEE/BCS Independent Safety Assurance Working Group -- Putting Trust into Safety Arguments -- Independent Safety Assessment of Safety Arguments -- Safety and Security -- Structuring a Safety Case for an Air Traffic Control Operations Room -- SafSec: Commonalities Between Safety and Security Assurance -- Accident Investigation -- Learning from a Train Derailme…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281303
- Deskripsi Fisik
- X, 226 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performanc…
Peer-to-Peer Networks -- Performance of Internet Protocols I -- Wireless Security -- Network Security -- Wireless Performance -- Network Service Support -- Network Modeling and Simulations -- Wireless LANs -- Optical Networking -- Performance of Internet & Web Applications -- Ad Hoc Networks I -- Adaptive Networking -- Performance of Internet Protocols II -- Radio Resource Management -- Interne…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320173
- Deskripsi Fisik
- LX, 1487 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Aspects in Security and Trust
Security Issues in the Tuple-Space Coordination Model -- Information Flow Analysis for Probabilistic Timed Automata -- Dynamic Security Labels and Noninterference (Extended Abstract) -- Formal Analysis of a Fair Payment Protocol -- Pattern-Matching Spi-Calculus -- Decidability of Opacity with Non-Atomic Keys -- Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards -- Fami…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387240985
- Deskripsi Fisik
- X, 246 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Effects of early warning score (EWS) tutorial simulation on nurses' knowledge…
Nurse Media Journal of Nursing Vol 9 No 2 December 2019 (Rak 6 - K : Kedokteran & Kesehatan)
- Edisi
- -
- ISBN/ISSN
- 2087-7811
- Deskripsi Fisik
- hal. 231-241.: tab.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Are nursing students’ early course and perceived performance related to the…
Nurse Media Journal of Nursing Vol 9 No 2 December 2019 (Rak 6 - K : Kedokteran & Kesehatan)
- Edisi
- -
- ISBN/ISSN
- 2087-7811
- Deskripsi Fisik
- hal. 167-175.: tab.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Functional Verification of Programmable Embedded Architectures
to Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions.Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlene…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387263991
- Deskripsi Fisik
- XIX, 180 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Control Reconfiguration of Dynamical Systems
Introduction to Control Reconfiguration -- Literature Overview -- Part I. Reconfiguration Problem -- Running Example: the 2-Tank System -- General Reconfiguration Problem -- Part II. Linear Solution Approaches -- Direct Reconfiguration Using a Static Block -- Reconfiguration Using a Virtual Sensor -- Reconfiguration Using a Virtual Actuator -- Reconfiguration with Set-Point Tracking -- Reconfig…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315865
- Deskripsi Fisik
- XIV, 270 p. 126 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah