close
1.

図書

図書
Werner Damm, Ernst-Rüdiger Olderog (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 453 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2469
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Real-Time Systems, the Institution of Electrical Engineers (IEE), the University of York, United Kingdom
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 321 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chairs
Organizing Committee
Program Committee
Reviewers
Keynote Speeches
Embedded Software Design for Real-Time Applications / Alberto Sangiovanni Vincentelli
Programming Bits and Atoms / Neil Gershenfeld
Processor Scheduling / Session 1:
HLS: A Framework for Composing Soft Real-Time Schedulers / J. Regehr ; J. A. Stankovic
Window-Constrained Real-Time Periodic Task Scheduling / A. K. Mok ; W. Wang
Guaranteed On-Line Weakly-Hard Real-Time Systems / G. Bernat ; R. Cayssials
Control Issues in Real-Time Systems / Session 2:
Jitter Compensation for Real-Time Control Systems / P. Marti ; J. M. Fuertes ; G. Fohler ; K. Ramamritham
Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks / L. David ; F. Cottet ; N. Nissanke
Feedback Control Scheduling in Distributed Real-Time Systems / T. He ; T. Abdelzaher ; M. Marley ; G. Tao ; S. Son ; C. Lu
Energy-Aware and Embedded Systems / Session 3:
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip / P. Gai ; G. Lipari ; M. Di Natale
Scheduling with Dynamic Voltage/Speed Adjustment Using Slack Reclamation in Multi-Processor Real-Time Systems / D. Zhu ; R. Melhem ; B. Childers
Dynamic and Aggressive Scheduling Techniques for Power-Aware Real-Time Systems / H. Aydin ; D. Mosse ; P. Mejia-Alvarez
Adaptive Power-Fidelity in Energy-Aware Wireless Embedded Systems / V. Raghunathan ; P. Spanos ; M. B. Srivastava
Quality-of-Service Issues / Session 4:
Quality-Assuring Scheduling--Using Stochastic Behavior to Improve Resource Utilization / C.-J. Hamann ; J. Loser ; L. Reuther ; S. Schonberg ; J. Wolter ; H. Hartig
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds / X. Feng
Service Class-Based Online QoS Management in Surveillance Radar Systems / C.-G. Lee ; C.-S. Shih ; L. Sha
Resource Management / Session 5:
A Bandwidth Inheritance Algorithm for Real-Time Task Synchronization in Open Systems / G. Lamastra ; L. Abeni
Aperiodic Servers with Resource Constraints / M. Caccamo
Resource Sharing in Reservation-Based Systems / D. de Niz ; S. Saewong ; R. Rajkumar
Multiprocessor Scheduling / Session 6:
On-Line Scheduling on Uniform Multiprocessors / S. Funk ; J. Goossens ; S. Baruah
Static-Priority Scheduling on Multiprocessors / B. Andersson ; J. Jonsson
Guaranteeing Pfair Supertasks by Reweighting / P. Holman ; J. H. Anderson
Off-Line Analysis / Session 7:
Statistical Analysis of WCET for Scheduling / S. Edgar ; A. Burns
Translating Off-Line Schedules into Task Attributes for Fixed Priority Scheduling / R. Dobrin ; P. Puschner
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Processors / H. Wu ; J. Jaffar
Design Methods and Tools / Session 8:
MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems / J. L. Medina Pasaje ; M. Gonzalez Harbour ; J. M. Drake
Rapid Re-Engineering of Embedded Real-Time Systems via Cost-Benefit Analysis with K-Level Diagonal Search / J. Park ; M. Ryu ; S. Hong ; L. Lo Bello
Towards a Toolset for Architectural Design of Distributed Real-Time Control Systems / J. El-Khoury ; M. Torngren
Distributed Systems and Networks / Session 9:
Fair Real-Time Traffic Scheduling over a Wireless LAN / M. Adamou ; S. Khanna ; I. Lee ; I. Shin ; S. Zhou
Differentiated Services with Statistical Real-Time Guarantees in Static-Priority Scheduling Networks / S. Wang ; D. Xuan ; R. Bettati ; W. Zhao
End-to-End Delay Analysis for Real-Time Networks / S.-N. Yeung ; J. Lehoczky
Measuring Distributed Durations with Stable Errors / A. Casimiro ; P. Martins ; P. Verissimo ; L. Rodrigues
Author Index
Message from the Symposium Chairs
Organizing Committee
Program Committee
3.

図書

図書
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored and published by IS & T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2003  v, 146 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5012
所蔵情報: loading…
4.

図書

図書
Daniel Amyot, Alan W. Williams (eds.)
出版情報: Berlin : Springer, c2005  xii, 300 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3319
所蔵情報: loading…
5.

図書

図書
[sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xiv, 480 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Conference Chairs
Organizing Committee
Program Committees
Reviewers
Keynote Talks
Let's Get the Real into Real-Time Computing / J. Stankovic
The Road Ahead: It Doesn't Get Any Easier / A. van Tilborg
Modeling Real-Time Systems / J. Sifakis
Panel
Fixed or Dynamic Priority? That is the Question
Award Papers / Session 1:
Integrated Resource Management and Scheduling with Multi-Resource Constraints / S. Ghosh ; J. Hansen ; R. Rajkumar ; J. Lehoczky
Finite-Horizon Scheduling of Radar Dwells with Online Template Construction / S. Gopalakrishnan ; M. Caccamo ; C.-S. Shih ; C.-G. Lee ; L. Sha
Scheduling / Session 2:
Feasibility Analysis of Preemptive Real-Time Systems upon Heterogeneous Multiprocessor Platforms / S. Baruah
Negative Results for Scheduling Independent Hard Real-Time Tasks with Self-Suspensions / F. Ridouard ; P. Richard ; F. Cottet
Compositional Real-Time Scheduling Framework / I. Shin ; I. Lee
Pre-Scheduling on the Domain of Integers / W. Wang ; A. Mok ; G. Fohler
Compiler and Architectural Support / Session 3:
WCET Code Positioning / W. Zhao ; D. Whalley ; C. Healy ; F. Mueller
Modeling Out-of-Order Processors for Software Timing Analysis / X. Li ; A. Roychoudhury ; T. Mitra
Design Style Case Study for Embedded Multi Media Compute Nodes / A. Lambrechts ; T. Aa ; M. Jayapala ; A. Leroy ; G. Talavera ; A. Shickova ; F. Barat ; B. Mei ; F. Catthoor ; D. Verkest ; G. Deconinck ; H. Corporaal ; F. Robert ; J. Bordoll
Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA) / A. Anantaraman ; K. Seth ; E. Rotenberg
QoS Issues and Multimedia Computing / Session 4:
Competitive Algorithms for Fine-Grain Real-Time Scheduling / M. Palis
Integrating Best-Effort Scheduling into a Real-Time System / S. Banachowski ; T. Bisson ; S. Brandt
A Virtual Deadline Scheduler for Window-Constrained Service Guarantees / Y. Zhang ; R. West ; X. Qi
Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks / P. Marti ; C. Lin ; M. Velasco ; J. Fuertes
Formal Methods and Software Engineering / Session 5:
A CLP Proof Method for Timed Automata / J. Jaffar ; A. Santosa ; R. Voicu
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets / D. Lime ; O. Roux
Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications / J. Diaz ; J. Lopez ; M. Garcia ; A. Campos ; K. Kim ; L. Bello
Scheduling Acyclic Branching Programs on Parallel Machines / M. Bozga ; A. Kerbaa ; O. Maler
Middleware and Programming Languages / Session 6:
A Model-Based Approach to Designing QoS Adaptive Applications / J. Ye ; J. Loyall ; R. Shapiro ; R. Schantz ; S. Neema ; S. Abdelwahed ; N. Mahadevan ; M. Koets ; D. Varner
Automatic Verification of Component-Based Real-Time CORBA Applications / G. Madl ; G. Karsai
Scoped Types for Real-Time Java / T. Zhao ; J. Noble ; J. Vitek
The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems / V. Subramonian ; C. Gill ; L.-J. Shen ; N. Wang
Real-Time Data Collection and Management / Session 7:
Robust Quality Management for Differentiated Imprecise Data Services / M. Amirijoo ; J. Hansson ; S. Son ; S. Gunnarsson
Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects / K.-Y. Lam ; M. Xiong ; B. Liang ; Y. Guo
Construction of a Coherency Preserving Dynamic Data Dissemination Network / S. Agrawal ; K. Ramamritham ; S. Shah
Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines / A. Somasundara ; A. Ramamoorthy ; M. Srivastava
Energy Management and Resource Reclamation / Session 8:
Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors / G. Quan ; L. Niu ; X. Hu ; B. Mochocki
On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm / C.-H. Lee ; K. Shin
Rewriting History to Exploit Gain Time / G. Bernat ; I. Broster ; A. Burns
Processor Frequency Selection for SoC Platforms for Multimedia Applications / Y. Liu ; A. Maxiaguine ; S. Chakraborty ; W. Ooi
Sensor Networks / Session 9:
A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks / Q. Cao ; T. Abdelzaher
On Real-time Capacity Limits of Multihop Wireless Sensor Networks / S. Prabh ; R. Kiran
Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors / Q. Wang ; R. Zheng ; A. Tirumala ; X. Liu
Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks / T. Facchinetti ; L. Almeida ; G. Buttazzo ; C. Marchini
Real-Time Communication and Fault Tolerance / Session 10:
QoS Support for USB 2.0 Periodic and Sporadic Device Requests / C.-Y. Huang ; T.-W. Kuo ; A.-C. Pang
Hard Real-Time Communication in Bus-Based Networks
Integration of Internal and External Clock Synchronization by the Combination of Clock-State and Clock-Rate Correction in Fault-Tolerant Distributed Systems / H. Kopetz ; A. Ademaj ; A. Hanzlik
On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets / H. Aydin
Co-Design Techniques / Session 11:
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems / T. Kitani ; Y. Takamoto ; K. Yasumoto ; A. Nakata ; T. Higashino
Automatic Generation of Protocol Converters from Scenario-Based Specifications / P. Thiagarajan ; T.-A. Tran ; V. Zvereva
Model-Driven SoC Design via Executable UML to SystemC / K. Nguyen ; Z. Sun ; W.-F. Wong
Design Space Exploration and System Optimization with SymTA/S - Symbolic Timing Analysis for Systems / A. Hamann ; M. Jersak ; K. Richter ; R. Ernst
Author Index
Message from the Conference Chairs
Organizing Committee
Program Committees
6.

図書

図書
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…
7.

図書

図書
Sten F. Andler, Jörgen Hansson (eds.)
出版情報: Berlin ; New York : Springer, c1998  viii, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1553
所蔵情報: loading…
目次情報: 続きを見る
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
BeeHive: Global Multimedia Database Support for Dependable, Real-Time Applications / M.L. Kersten ; J.A. Stankovic ; S.H. Son ; J. Liebeherr
Paper Presentations
An Active Real-Time Database Model for Air Traffic Control Systems / K.-J. Lin ; C.-S. Peng ; T. Ng
Performance Issues in Processing Active Real-Time Transactions / Ö. Ulusoy
Scheduling of Triggered Transactions in Distributed Real-Time Active Databases / K.-y. Lam ; G.C.K. Law ; V.C.S. Lee
Buffer Management in Active, Real-Time Database Systems: Concepts and An Algorithm / I.R. Viguier ; A. Datta
Parallel Event Detection in Active Database Systems: The Heart of the Matter / U. Jaeger ; J.K. Obermaier
Toward Duration-Based, Constrained and Dynamic Event Types / C.L. Roncancio
Supporting System-Level Testing of Applications by Active Real-Time Database Systems / J. Mellin
Temporal Indeterminacy in Deductive Databases: An Approach Based on Event Calculus / L. Chittaro ; C. Combi
Panel Sessions
Predictability in Active Real-Time/Temporal Databases
Practical and Industrial Experience in Active Real-Time Databases
Author Index
Real-Time and Active Databases: A Survey / J. Eriksson
Invited Talks
Design of a Real-Time SQL Engine in the Distributed Environment / D. Chen ; A.K. Mok
8.

図書

図書
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
9.

図書

図書
sponsor, IEEE Computer Society TC Real-Time Systems
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  x, 301 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing ; in cooperation with IFIP WG 10.4 on Dependable Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 356 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼