close
1.

図書

図書
sponsored by IEEE Computer Society, Technical Committee on Real-Time Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000  xiii, 311 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chairs
Organization Committee
Program Committee
Papers
Real-Time System Design and Analysis I / Session 1:
Constructing Real-Time Group Communication Middleware Using the Resource Kernel / S. Johnson ; F. Jahanian ; A. Miyoshi ; D. de Niz ; R. Rajkumar
Performance Specifications and Metrics for Adaptive Real-Time Systems / C. Lu ; J. A. Stankovic ; T. F. Abdelzaher ; G. Tao ; S. H. Son ; M. Marley
Scalable Real-Time System Design Using Preemption Thresholds / M. Saksena ; Y. Wang
Distributed Real-Time Processing / Session 2:
Adding PEP to Real-Time Distributed Commit Processing / J. R. Haritsa ; K. Ramamritham
CReMeS: A CORBA Compliant Reflective Memory Based Real-Time Communication Service / S.-T. Chung ; O. Gonzalez ; C. Shen
Dynamic Scheduling of Distributed Method Invocations / V. Kalogeraki ; P. M. Melliar-Smith ; L. E. Moser
Processor Scheduling / Session 3:
Static-Priority Periodic Scheduling on Multiprocessors / S. Ramamurthy ; M. Moir
Enhanced Fixed-Priority Scheduling with (m,k)-Firm Guarantee / G. Quan ; X. Hu
An Efficient Feasibility Test Method for Hard Real-Time Periodic Tasks / M. Park ; Y. Cho
Applications of Real-Time Systems Technology / Session 4:
Real-Time Digital Signal Processing of Component-Oriented Phased Array Radars / C.-F. Kuo ; T.-W. Kuo ; C. Chang
Implementation and Performance Evaluation of a Real-Time E-Brokerage System / P. Konana ; A. K. Mok ; C.-G. Lee ; H. Woo ; G. Liu
Formal Specification for Building Robust Real-Time Microkernels / M. Rodriguez ; J.-C. Fabre ; J. Arlat
Real-Time System Design and Analysis II / Session 5:
Real-Time Control System Analysis: An Integrated Approach / L. Palopoli ; L. Abeni ; F. Conticelli ; M. Di Natale ; G. Buttazzo
An Integrated Approach to Real-Time System Design and On-Line Performance Visualization with Steering / A. Bakic ; M. W. Mutka
Formal Analysis of the Priority Ceiling Protocol / B. Dutertre
Timing Analysis and Verification / Session 6:
Modeling Complex Flows for Worst-Case Execution Time Analysis / J. Engblom ; A. Ermedahl
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems / X. Du ; C. R. Ramakrishnan ; S. A. Smolka
A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications / I. Kim ; Z. Segall
Cache and Pipeline Sensitive Fixed Priority Scheduling for Preemptive Real-Time Systems / J. Schneider
Resource Allocation / Session 7:
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints / D. Isovic ; G. Fohler
A Framework for Achieving Inter-Application Isolation in Multiprogrammed, Hard Real-Time Environments / G. Lipari ; J. Carpenter ; S. Baruah
A User-Customizable Energy-Adaptive Combined Static/Dynamic Scheduler for Mobile Applications / T. C.-L. Ma ; K. G. Shin
Networking and Real-Time Communications / Session 8:
Analysis of a Window-Constrained Scheduler for Real-Time and Best-Effort Packet Streams / R. West ; C. Poellabauer
Admission of High Priority Real-Time Calls in an ATM Network via Bandwidth Reallocation and Dynamic Rerouting of Active Channels / L. K. Miller ; A. M. K. Cheng
Scheduling the CAN Bus with Earliest Deadline Techniques
High Speed Hardware-Assisted Real-Time Interprocess Communication for Embedded Microcontrollers / S. Srinivasan ; D. B. Stewart
Scheduling in the Face of Overloads / Session 9:
An Incremental Approach to Scheduling during Overloads in Real-Time Systems / P. Mejia-Alvarez ; R. Melhem ; D. Mosse
Capacity Sharing for Overrun Control / M. Caccamo ; L. Sha
A Fast Algorithm for Scheduling Imprecise Computations with Timing Constraints to Minimize Weighted Error / W.-K. Shih ; C.-R. Lee ; C.-H. Tang
Author Index
Message from the Symposium Chairs
Organization Committee
Program Committee
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Real-Time Systems, in cooperation with Microsoft Corporation Office of Naval Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xiii, 372 p. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
Organization Committee
Program Committee
Message from the Symposium Chairs
Reviewers
Keynote Speeches
It's Time to Get Physical / David Tennenhouse
Scalable Network Support for Multimedia, Real-Time Communication / Jim Kurose
From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years / C. L. Liu
Panel
Challenges of Real-Time Computation and Communication
Papers
Timing Issues / Session I:
Timing Anomalies in Dynamically Scheduled Microprocessors / T. Lundquist ; P. Stenstrom
Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis / S-K. Kim ; R. Ha ; S.L. Min
Deriving Deadlines and Periods for Real-Time Update Transactions / M. Xiong ; K. Ramamritham
QoS Provisioning with qContracts in Web and Multimedia Servers / T.F. Abdelzaher ; K.G. Shin
Scheduling Algorithms / Session II:
Design and Evaluation of a Feedback Control EDF Scheduling Algorithm / C. Lu ; J.A. Stankovic ; G. Tao ; S.H. Son
New Results on Fixed Priority Aperiodic Servers / G. Bernat ; A. Burns
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks / H. Aydin ; R. Melhem ; D. Mosse ; P. Mejia-Alvarez
Cooperative Scheduling of Multiple Resources / S. Saewong ; R. Rajkumar
Specification and Verification / Session III:
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality / P.R. D'Argenio ; J-P. Katoen ; E. Brinksma
High-Level Modeling and Analysis of TCAS / C. Livadas ; J. Lygeros ; N.A. Lynch
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols / P. Sinha ; N. Suri
SRDE--Application of Data Similarity to Process Control / D. Chen ; A.K. Mok
Task Coordinations / Session IV:
On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems / M.E. Thomadakis ; J-C. Liu
Enabling Deadline Scheduling for Java Real-Time Computing / C. Lizzi
A Framework for Scheduler Synthesis / K. Altisen ; G. Go[beta]ler ; A. Pnueli ; J. Sifakis ; S. Tripakis ; S. Youine
On Scheduling Tasks in Reliable Real-Time Control Systems / R. Chandra ; L. Sha
Real-Time Communication / Session V:
A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing / H-Y. Tyan ; C-J. Hou ; B. Wang
Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model / S-K. Kweon
Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic / S. Song ; J.K-Y. Ng ; B. Tang
Parallel Switching in Connection-Oriented Networks / J. Anderson ; S. Baruah ; K. Jeffay
New Applications (Poster) / Session VI:
Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment / G.F. Mauer ; C. Fernando
HoneyWEB: Embedded Web-based Control Applications / C. Iaccarino ; M.A. Sigel ; R.E. Taylor Jr. ; D. Perozzi ; A. Staikos ; P.A. Morreale
IP Security Impact on System Performance in a Distributed Real-Time Environment / B.L. Chappell ; D.T. Marlow ; P.M. Irey IV ; K. O'Donoghue
Time Based Linux for Real-Time NOWs and MPI/RT / M. Apte ; S. Chakravarthi ; A. Pillai ; A. Skjellum ; X.Y. Zan
System Development / Session VII:
FARACost: An Adaptation Cost Model Aware of Pending Constraints / D. Rosu ; K. Schwan
System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection / A.G. Dean ; J.P. Shen
Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel / Y-C. Wang ; K-J. Lin
A Fixed-Priority-Driven Open Environment for Real-Time Applications / T-W. Kuo ; C-H. Li
Design and Implementations / Session VIII:
Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms / J. Wegener ; H. Sthamer ; H. Pohlheim
Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux / A. Atlas ; A. Bestavros
Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor / F. Siebert
Proportional Time Simulation of ATM Networks / S.B. House ; S. Murthy ; D. Niehaus
Resource Management / Jim HuangSession IX:
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines / M. Caccamo ; G. Lipari ; G. Buttazzo
Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources / M. Moir ; S. Ramamurthy
A Theory of Rate-Based Execution / S. Goddard
A Scalable Solution to the Multi-Resource QoS Problem / C. Lee ; J. Lehoczky ; D. Siewiorek ; J. Hansen
Distributed Systems / Session X:
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems / J.C. Palencia ; M. Gonzalez Harbour
Priority Inheritance and Ceilings for Distributed Mutual Exclusion / F. Mueller
Hierarchical Scheduling of Periodic Messages in Open System / L.Y. Zhang ; J.W.S. Liu ; Z. Deng ; I. Philp
Towards Systematic Testing of Distributed Real-Time Systems / H. Thane ; H. Hansson
Author Index
Organization Committee
Program Committee
Message from the Symposium Chairs
3.

図書

図書
Sponsored by Korea Information Science Society (KISS) ; in cooperation with IEEE Computer Society Technical Committee on Real-Time Systems ...[et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xi, 328 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
edited by Daniel Mossé, Janusz Zalewski ; sponsored by IEEE Computer Society Technical Committee on Real-Time Systems (TC RTS) ; co-sponsored by University of Pittsburgh
出版情報: Los Alamitos, California : IEEE Computer Society Press, c1997  viii, 125 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xi, 293 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Real-Time Systems, The Technical University of Madrid
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  xiii, 493 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  xi, 237 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems ; in cooperation with the U. S. Office of Naval Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 263 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Real-Time Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 341 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  x, 321 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼