close
1.

図書
図書
1. Real-time imaging : 29-30 January, 1996, San Jose, California
Phillip A. Laplante, Alexander D. Stoyenko, Divyendu Sinha, chairs/editors; sponsored by IS&T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c1996  viii, 178 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2661
所蔵情報: loading…
2.

図書
図書
2. Real-time imaging II : 10 February, 1997, San Jose, California
Divyendu Sinha, chair/editor ; sponsored by, IS&T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Washington : SPIE, c1997  vii, 190 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3028
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Real-Time Systems Symposium : December 7-9, 1982, Airport Hyatt, Los Angeles, California
sponsors, IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  vii, 221 p. ; 29 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings, Real-Time Systems Symposium, December 6-8, 1983, Marriott Crystal Gateway Hotel, Arlington, Virginia (paper ; microfiche ; casebound)
sponsors, IEEE Computer Society ... [et al.]
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  x, 289 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Real-time imaging V : 24-25 January 2001, San Jose, USA
Nasser Kehtarnavaz, chair/editor ; sponsored by IS&T--the Society for Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2001  v, 168 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4303
所蔵情報: loading…
6.

図書
図書
6. Real-time imaging VI : 23-24 January, 2002, San Jose, [California] USA
Nasser Kehtarnavaz, chair/editor ; sponsored by IS&T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering ; published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Washington : SPIE, c2002  v, 174 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4666
所蔵情報: loading…
7.

図書
図書
7. Real-time imaging VIII : 20-22 January 2004, San Jose, California, USA
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored ... by IS&T--the Society for Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2004  viii, 300 p. ; 28 cm
シリーズ名: Proceedings of Electronic Imaging Science and Technology
Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5297
所蔵情報: loading…
8.

図書
図書
8. Real-time imaging IX : 18-20 January 2005, San Jose, California, USA (pbk.)
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored by IS&T--the Society for Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE , Springfield, Va. : IS&T, c2005  viii, 264 p. ; 28 cm
シリーズ名: Proceedings of Electronic Imaging Science and Technology
Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5671
所蔵情報: loading…
9.

図書
図書
9. Real-time image processing 2006 : 16-17 January, 2006, San Jose, California, USA
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored by IS&T--the Society for Imaging Science and Technology [and] SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE , Springfield, Va. : IS&T, c2006  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6063
Proceedings of Electronic Imaging Science and Technology
所蔵情報: loading…
10.

図書
図書
10. Proceedings : The 21st IEEE Real-Time Systems Symposium, 27-30, November, 2000, Orlando, Florida (: casebound ; [: pbk.])
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼