LEADER 04596oam 2200397zu 450 001 996204871503316 005 20210807003507.0 035 $a(CKB)111026746743152 035 $a(SSID)ssj0001034661 035 $a(PQKBManifestationID)12425118 035 $a(PQKBTitleCode)TC0001034661 035 $a(PQKBWorkID)11015743 035 $a(PQKB)10166800 035 $a(NjHacI)99111026746743152 035 $a(EXLCZ)99111026746743152 100 $a20160829d1997 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$a17th IEEE Real-Time Systems Symposium 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1997 215 $a1 online resource (x, 321 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8186-7689-2 327 $aForeword -- Committees -- Reviewers -- Session 1: Scheduling I -- Bounding Completion Times of Jobs with Arbitrary Release Times and Variable Execution Times -- On Task Schedulability in Real-Time Control System -- A Multiframe Model for Real-Time Tasks -- Session 2 Experimental Systems and Applications -- Middleware for Distributed Industrial Real-Time Systems on ATM Networks -- Analysing APEX Applications -- Operating System Extensions for Dynamic Real-Time Applications -- Session 3: Formal Methods -- Approximate Reachability Analysis of Timed Automata -- Correctness of Vehicle Control Systems -A Case Study -- Reducing the number of clock variables of timed automata -- Predictability of Real-Time Systems: A Process-Algebraic Approach -- Session 4: Synchronization -- A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems -- Optimizing a FIFO, Scalable Spin Lock Using Consistent Memory -- Work in Progress -- Session S: Invited Talks on System Requirements -- Session 6: Model and Tools -- The MSP.RTL Real-Time Scheduler Synthesis Tool -- Tool Support for the Construction of Statically Analysable Hard Real-Time Ada Systems -- High Availability in The Real-Time Publisher/Subscriber Inter-Process Communication Model -- Session 7: Communications -- Structuring Communication Software for Quality-of-Service Guarantees -- Multirate Scheduling for Guaranteed and Predictive Services in ATM Network -- Message Transmission with Timing Constraints in Ring Networks -- On Supporting Time-Constrained Communications in WDMA-based Star-Coupled Optical Networks -- Session 8: Scheduling II -- Real-Time Queueing Theory -- An Optimal Pinwheel Scheduler Using the Single-Number Reduction Techniqu -- Integrated Scheduling of Multimedia and Hard Real-Time Tasks -- EEE Real-Time Systems TC meeting -- Session 9 Databases -- Commit Processing in Distributed Real-Time Database Systems -- Value-cognizant Admission Control for RTDB Systems -- Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics -- Session 10 Timing Analysis -- Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches -- Analysis of Cache-related Preemption Delay in Fixed-priority Preemptive Schedulin -- A Method for Bounding the Effect of DMA U0 Interference on Program Execution Time -- Session 11: Resource Allocation and System Implementation -- A Proportional Share Resource Allocation Algorithm for Real-Time, Time-shared Systems -- Visual Assessment of a Real-Time Systems Design: A Case Study on a CNC Controller -- Optimizing Interprocess Communication for Embedded Real-Time Systems -- Author Index. 330 $aEncompassing both computer-science and engineering aspects of real-time systems the 31 papers cover scheduling, experimental systems and applications, formal methods, synchronization, models and tools, communications, databases, timing analysis, resource allocation, and system implementation. Among the specific topics are optimizing interprocess communications for embedded systems, analyzing cache-related pre-emption delay in fixed-priority preemptive scheduling, exploiting data semantics to schedule transactions with temporal constraints, queuing theory, message transmission with timing constraints in ring networks, and approximate reachability analysis of times automata. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR. 606 $aReal-time data processing$vCongresses 615 0$aReal-time data processing 676 $a004.33 801 0$bPQKB 906 $aBOOK 912 $a996204871503316 996 $a17th IEEE Real-Time Systems Symposium$92346169 997 $aUNISA LEADER 02435nam 2200673 450 001 9910797229403321 005 20230522050820.0 010 $a1-4426-5686-7 010 $a1-4426-3355-7 024 7 $a10.3138/9781442656864 035 $a(CKB)3710000000433162 035 $a(EBL)3432081 035 $a(OCoLC)929153617 035 $a(SSID)ssj0001536276 035 $a(PQKBManifestationID)11995506 035 $a(PQKBTitleCode)TC0001536276 035 $a(PQKBWorkID)11509611 035 $a(PQKB)10590949 035 $a(CEL)449961 035 $a(OCoLC)914233196 035 $a(CaBNVSL)thg00930787 035 $a(DE-B1597)465753 035 $a(OCoLC)979630954 035 $a(DE-B1597)9781442656864 035 $a(MiAaPQ)EBC4669427 035 $a(Au-PeEL)EBL4669427 035 $a(CaPaEBR)ebr11255960 035 $a(OCoLC)945975059 035 $a(MdBmJHUP)musev2_107137 035 $a(EXLCZ)993710000000433162 100 $a20160920h19611961 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe early H. G. Wells $ea study of the scientific romances /$fBernard Bergonzi 210 1$aToronto, [Ontario] :$cUniversity of Toronto Press,$d1961. 210 4$dİ1961 215 $a1 online resource (237 p.) 225 0 $aHeritage 311 $a1-4426-5184-9 320 $aIncludes bibliographical references and index. 327 $aH.G. Wells and the Fin de siecle -- From The chronic Argonauts to The time machine -- The short stories -- The wonderful visit, The Island of Dr. Moreau, and The invisible man -- The war of the worlds -- When the sleeper wakes and The first men in the Moon -- Wells and the twentieth century -- Select bibliography -- Appendix. A tale of the twentieth century -- The chronic Argonauts. 330 $aThis is a sensitive study of Wells' imaginative development during his formative years. 606 $aScience fiction, English$xHistory and criticism 608 $aCriticism, interpretation, etc. 608 $aElectronic books. 615 0$aScience fiction, English$xHistory and criticism. 676 $a823/.9/12 700 $aBergonzi$b Bernard$0163421 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910797229403321 996 $aThe early H. G. Wells$93781206 997 $aUNINA 999 $p$36.30$u11/26/2017$5Eng