Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             183 results found
no title author magazine year volume issue page(s) type
1 A compiler framework for the reduction of worst-case execution times Falk, Heiko
2010
2 p. 251-300
article
2 A constant-time dynamic storage allocator for real-time systems Masmano, Miguel
2008
2 p. 149-179
article
3 A Feasibility Decision Algorithm for Rate Monotonic andDeadline Monotonic Scheduling Yoshifumi Manabe
1998
2 p. 171-181
11 p.
article
4 A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling Manabe, Yoshifumi
1998
2 p. 171-181
article
5 A Heuristic Approach to the Multitask-Multiprocessor AssignmentProblem using the Empty-Slots Method and Rate Monotonic Scheduling J. Santos
1997
2 p. 167-199
33 p.
article
6 A Heuristic Approach to the Multitask-Multiprocessor Assignment Problem using the Empty-Slots Method and Rate Monotonic Scheduling Santos, J.
1997
2 p. 167-199
article
7 A misconception in blocking time analyses under multiprocessor synchronization protocols Yang, Maolin
2016
2 p. 187-195
article
8 A Model for Updating Real-Time Applications Jami Montgomery
2004
2 p. 169-189
21 p.
article
9 A Model for Updating Real-Time Applications Montgomery, Jami
2004
2 p. 169-189
article
10 Analysis of window-constrained execution time systems Balbastre, Patricia
2006
2 p. 109-134
article
11 An Integrated Path and Timing Analysis Method based onCycle-Level Symbolic Execution Thomas Lundqvist
1999
2 p. 183-207
25 p.
article
12 An $\mathsf{EDF}$-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems Anderson, James H.
2007
2 p. 85-131
article
13 An Open Environment for Real-Time Applications Z. Deng
1999
2 p. 155-185
31 p.
article
14 An optimal k-exclusion real-time locking protocol motivated by multi-GPU systems Elliott, Glenn A.
2012
2 p. 140-170
article
15 A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF Leoncini, Mauro
2018
2 p. 349-386
article
16 Applying real-time interface and calculus for dynamic power management in hard real-time systems Huang, Kai
2011
2 p. 163-193
article
17 Approximation techniques for response-time analysis of static-priority tasks Nguyen, Thi Huyen Chau
2009
2 p. 147-176
article
18 ARMADA Middleware and Communication Services T. Abdelzaher
1999
2 p. 127-153
27 p.
article
19 A Software-Reuse Approach to Build Monitor Programs forSoft Real-Time Applications Tei-Wei Kuo
2000
2 p. 123-148
26 p.
article
20 A Software-Reuse Approach to Build Monitor Programs for Soft Real-Time Applications Kuo, Tei-Wei
2000
2 p. 123-148
article
21 Automated Meta-Control for Adaptable Real-Time Software Jair Jehuda
1998
2 p. 107-134
28 p.
article
22 Automated Meta-Control for Adaptable Real-Time Software Jehuda, Jair
1998
2 p. 107-134
article
23 Bounding the execution time of parallel applications on unrelated multiprocessors Voudouris, Petros

2 p. 189-232
article
24 Burst Mode Bandwidth Allocation for Real-Time Messages in IEEE 802.12 Networks Taewoong Kim
2003
2 p. 207-229
23 p.
article
25 Cache Aware Pre-Runtime Scheduling Daniel Kästner
1999
2 p. 235-256
22 p.
article
26 Cache-Conscious Limited Preemptive Scheduling Sheayun Lee
1999
2 p. 257-282
26 p.
article
27 Cache related pre-emption delays in hierarchical scheduling Lunniss, Will
2015
2 p. 201-238
article
28 CertiCAN certifying CAN analyses and their results Fradet, Pascal

2 p. 160-198
article
29 Challenges in Design and Implementation of Middlewaresfor Real-Time Systems: Guest Editor's Introduction Wei Zhao
2001
2 p. 115-116
2 p.
article
30 Challenges in Design and Implementation of Middlewares for Real-Time Systems: Guest Editor's Introduction Zhao, Wei
2001
2 p. 115-116
article
31 Clairvoyance and online scheduling in real-time energy harvesting systems Chetto, Maryline
2013
2 p. 179-184
article
32 Combined task- and network-level scheduling for distributed time-triggered systems Craciunas, Silviu S.
2015
2 p. 161-200
article
33 Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems Kim G. Larsen
2003
2 p. 255-275
21 p.
article
34 Cost enforcement in the real-time specification for Java dos Santos, Osmar Marchi
2007
2 p. 139-179
article
35 Decomposition in Real-Time Safety-Critical Systems Paul Mukherjee
1998
2 p. 183-202
20 p.
article
36 Decomposition in Real-Time Safety-Critical Systems Mukherjee, Paul
1998
2 p. 183-202
article
37 Delay-dependent partial order reduction technique for real time systems Boucheneb, Hanifa
2017
2 p. 278-306
article
38 Design and analysis of SIC: a provably timing-predictable pipelined processor core Hahn, Sebastian

2 p. 207-245
article
39 Design for Timing Predictability Lothar Thiele
2004
2 p. 157-177
21 p.
article
40 Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty Cicirelli, Franco
2006
2 p. 153-179
article
41 Editorial Ulrich Schmid
1997
2 p. 119-122
4 p.
article
42 Editorial Schmid, Ulrich
1997
2 p. 119-122
article
43 Editorial Special Anniversary Issue 2004
2 p. 99-100
2 p.
article
44 Efficient and Precise Cache Behavior Prediction for Real-TimeSystems Christian Ferdinand
1999
2 p. 131-181
51 p.
article
45 Efficient offline scheduling of task-sets with complex constraints on large distributed time-triggered systems Syed, Ali
2018
2 p. 209-247
article
46 Energy-efficient response time management for embedded databases Kang, Woochul
2016
2 p. 228-253
article
47 Energy efficient scheduling for real-time embedded systems with QoS guarantee Niu, Linwei
2011
2 p. 75-108
article
48 Energy-optimal Batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study Wang, Dong
2011
2 p. 135-165
article
49 Enhancing a dependable multiserver operating system with temporal protection via resource reservations Mancina, Antonio
2009
2 p. 177-210
article
50 Enhancing O-O Middleware to Become Time-Aware E. Nett
2001
2 p. 211-228
18 p.
article
51 Enhancing O-O Middleware to Become Time-Aware Nett, E.
2001
2 p. 211-228
article
52 Enhancing timeliness and saving power in real-time databases Kang, Kyoung-Don
2018
2 p. 484-513
article
53 Exact scheduling analysis of non-accumulatively monotonic multiframe tasks Zuhily, A.
2009
2 p. 119-146
article
54 Exploring AMD GPU scheduling details by experimenting with “worst practices” Otterness, Nathan

2 p. 105-133
article
55 Expressing and Enforcing Timing Constraints in a DynamicReal-Time CORBA System Victor Fay Wolfe
1999
2 p. 253-280
28 p.
article
56 Fail-Awareness: An Approach to Construct Fail-Safe Systems Christof Fetzer
2003
2 p. 203-238
36 p.
article
57 Fail-Awareness: An Approach to Construct Fail-Safe Systems Fetzer, Christof
2003
2 p. 203-238
article
58 Fast and Precise WCET Prediction by Separated Cache andPath Analyses Henrik Theiling
2000
2 p. 157-179
23 p.
article
59 Fault-Tolerant Rate-Monotonic Scheduling Sunondo Ghosh
1998
2 p. 149-181
33 p.
article
60 Fault-Tolerant Rate-Monotonic Scheduling Ghosh, Sunondo
1998
2 p. 149-181
article
61 Feasibility analysis for HPC-DAG tasks Baruah, Sanjoy

2 p. 134-152
article
62 FlyOS: rethinking integrated modular avionics for autonomous multicopters Farrukh, Anam

2 p. 256-301
article
63 Formal verification of real-time systems with preemptive scheduling Lime, Didier
2008
2 p. 118-151
article
64 Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing Liu, Shengzhong

2 p. 302-343
article
65 Global scheduling based reliability-aware power management for multiprocessor real-time systems Qi, Xuan
2011
2 p. 109-142
article
66 Guaranteeing Response Times for Aperiodic Tasks in Global Multiprocessor Scheduling Lundberg, Lars
2006
2 p. 135-151
article
67 Guest editorial Mossé, Daniel
2011
2 p. 73-74
article
68 Guest Editorial A Review of Worst-Case Execution-TimeAnalysis Peter Puschner
2000
2 p. 115-128
14 p.
article
69 Guest editorial: multiprocessor scheduling Burns, Alan
2013
2 p. 137-139
article
70 Guest Editorial—RTNS 2014 Goossens, Joël
2015
2 p. 123-124
article
71 Guest editorial: Special Issue on Predictable multi-core systems Davis, Robert I.

2 p. 121-123
article
72 Guest editorial: special issue on Real-Time and Network Systems Bini, Enrico
2019
2 p. 293-295
article
73 Guest editorial: special issue on the Real-Time and Network Systems (RTNS 2008) conference Minet, Pascale
2009
2 p. 117-118
article
74 Hard real-time application mapping reconfiguration for NoC-based many-core systems Pourmohseni, Behnaz
2019
2 p. 433-469
article
75 Hierarchical CPU utilization control for real-time guarantees in power grid computing Chen, Ming
2011
2 p. 198-221
article
76 Holistic schedulability analysis for multipacket messages in AFDX networks Gutiérrez, J. Javier
2013
2 p. 230-269
article
77 How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study A. Burns
2003
2 p. 135-151
17 p.
article
78 How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study* Burns, A.
2003
2 p. 135-151
article
79 Hybrid power management in real time embedded systems: an interplay of DVFS and DPM techniques Bhatti, Muhammad Khurram
2011
2 p. 143-162
article
80 Improving WCET by applying worst-case path optimizations Zhao, Wankang
2006
2 p. 129-152
article
81 Instruction cache locking for multi-task real-time embedded systems Liu, Tiantian
2011
2 p. 166-197
article
82 Integrating External and Internal Clock Synchronization Christof Fetzer
1997
2 p. 123-171
49 p.
article
83 Integrating External and Internal Clock Synchronization Fetzer, Christof
1997
2 p. 123-171
article
84 Interval-based Clock Synchronization Ulrich Schmid
1997
2 p. 173-228
56 p.
article
85 Interval-based Clock Synchronization Schmid, Ulrich
1997
2 p. 173-228
article
86 Licensing Reliable Embedded Software for Safety-Critical Applications Francesca Saglietti
2004
2 p. 217-236
20 p.
article
87 Low-Power Design for Real-Time Systems Sheng-Tzong Cheng
1998
2 p. 131-148
18 p.
article
88 Low-Power Design for Real-Time Systems Cheng, Sheng-Tzong
1998
2 p. 131-148
article
89 Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal Jorge Real
2004
2 p. 161-197
37 p.
article
90 Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal Real, Jorge
2004
2 p. 161-197
article
91 Modeling Complex Real-Time and Embedded SystemsThe UML and DORIS Combination M. E. C. Hull
2004
2 p. 135-159
25 p.
article
92 Modeling Complex Real-Time and Embedded Systems—The UML and DORIS Combination Hull, M. E. C.
2004
2 p. 135-159
article
93 Model predictive control under timing constraints induced by controller area networks Shi, Zhenwu
2016
2 p. 196-227
article
94 Multicycle Polling Scheduling Algorithms for FieldBus Networks S. Cavalieri
2003
2 p. 157-185
29 p.
article
95 Multi-objective design exploration approach for Ravenscar real-time systems Bouaziz, Rahma
2018
2 p. 424-483
article
96 Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm Geeraerts, Gilles
2012
2 p. 171-218
article
97 Multi-rate fluid scheduling of mixed-criticality systems on multiprocessors Ramanathan, Saravanan
2017
2 p. 247-277
article
98 Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking Demir, Ömer Kaǧan

2 p. 123-159
article
99 On Developing Distributed Middleware Services for QoS-and Criticality-Based Resource Negotiation and Adaptation J. Huang
1999
2 p. 187-221
35 p.
article
100 On earliest deadline first scheduling for temporal consistency maintenance Xiong, Ming
2008
2 p. 208-237
article
101 On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs Lesage, Benjamin
2017
2 p. 307-388
article
102 On the Scheduling of Flexible and Reliable Real-Time Control Systems Ramesh Chandra
2003
2 p. 153-169
17 p.
article
103 On the Scheduling of Flexible and Reliable Real-Time Control Systems Chandra, Ramesh
2003
2 p. 153-169
article
104 On Using Real-Time Static Locking Protocols for DistributedReal-Time Databases Kam-Yiu Lam
1997
2 p. 141-166
26 p.
article
105 On Using Real-Time Static Locking Protocols for Distributed Real-Time Databases Lam, Kam-Yiu
1997
2 p. 141-166
article
106 Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks Ranjha, Sayra

2 p. 201-255
article
107 Partitioned EDF scheduling on a few types of unrelated multiprocessors Wiese, Andreas
2012
2 p. 219-238
article
108 Patmos: a time-predictable microprocessor Schoeberl, Martin
2018
2 p. 389-423
article
109 PrestoA System Environment for Mission-CriticalMultimedia Applications Jiandong Huang
1997
2 p. 127-139
13 p.
article
110 Presto—A System Environment for Mission-Critical Multimedia Applications Huang, Jiandong
1997
2 p. 127-139
article
111 Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors Joël Goossens
2003
2 p. 187-205
19 p.
article
112 Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy Jae Kwon Kim
2004
2 p. 199-222
24 p.
article
113 Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy Kim, Jae Kwon
2004
2 p. 199-222
article
114 Provably good multiprocessor scheduling with resource sharing Andersson, Björn
2010
2 p. 153-159
article
115 Rate monotonic schedulability tests using period-dependent conditions Lu, Wan-Chen
2007
2 p. 123-138
article
116 Reactive and Real-Time Systems Course: How to Get the Most Out of it Tal Lev-Ami
2003
2 p. 231-253
23 p.
article
117 Real-Time Databases and Data Services Krithi Ramamritham
2004
2 p. 179-215
37 p.
article
118 Real-Time Disk Scheduling for Multimedia Applications withDeadline-Modification-Scan Scheme Ray-I Chang
2000
2 p. 149-168
20 p.
article
119 Real-Time Disk Scheduling for Multimedia Applications with Deadline-Modification-Scan Scheme Chang, Ray-I
2000
2 p. 149-168
article
120 Real-time multiprocessor locks with nesting: optimizing the common case Nemitz, Catherine E.
2019
2 p. 296-348
article
121 Real-Time Operating Systems John A. Stankovic
2004
2 p. 237-253
17 p.
article
122 Real-Time Reactions in Supervisory Control According toData Freshness Hiromitsu Shimakawa
2001
2 p. 197-210
14 p.
article
123 Real-Time Reactions in Supervisory Control According to Data Freshness Shimakawa, Hiromitsu
2001
2 p. 197-210
article
124 Real Time Scheduling Theory: A Historical Perspective Lui Sha
2004
2 p. 101-155
55 p.
article
125 Real-time scheduling with resource sharing on heterogeneous multiprocessors Andersson, Björn
2014
2 p. 270-314
article
126 Real-Time Transaction Scheduling: A Framework for SynthesizingStatic and Dynamic Factors Sharma Chakravarthy
1998
2 p. 135-170
36 p.
article
127 Real-Time Transaction Scheduling: A Framework for Synthesizing Static and Dynamic Factors Chakravarthy, Sharma
1998
2 p. 135-170
article
128 Reduced latency DRAM for multi-core safety-critical real-time systems Hassan, Mohamed

2 p. 171-206
article
129 Resource holding times: computation and optimization Bertogna, Marko
2008
2 p. 87-117
article
130 Resource Management Middleware for Dynamic, DependableReal-Time Systems Binoy Ravindran
2001
2 p. 183-196
14 p.
article
131 Resource Management Middleware for Dynamic, Dependable Real-Time Systems Ravindran, Binoy
2001
2 p. 183-196
article
132 Resource Reservation in Dynamic Real-Time Systems Luca Abeni
2004
2 p. 123-167
45 p.
article
133 Resource Reservation in Dynamic Real-Time Systems Abeni, Luca
2004
2 p. 123-167
article
134 Response time analysis for fixed priority real-time systems with energy-harvesting Abdeddaïm, Yasmina
2015
2 p. 125-160
article
135 Response Time Analysis of Asynchronous Real-Time Systems Guillem Bernat
2003
2 p. 131-156
26 p.
article
136 Robust priority assignment for messages on Controller Area Network (CAN) Davis, Robert I.
2008
2 p. 152-180
article
137 Schedulability analysis in hard real-time systems under thermal constraints Wang, Shengquan
2010
2 p. 160-188
article
138 Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling Fonseca, José
2019
2 p. 387-432
article
139 Scheduling algorithms to reduce the static energy consumption of real-time systems Legout, Vincent
2014
2 p. 153-191
article
140 Scheduling and Priority Mapping for Static Real-Time Middleware Lisa Cingiser Dipippo
2001
2 p. 155-182
28 p.
article
141 Scheduling and Priority Mapping for Static Real-Time Middleware Dipippo, Lisa Cingiser
2001
2 p. 155-182
article
142 Scheduling of hard real-time multi-phase multi-thread (MPMT) periodic tasks Courbin, Pierre
2012
2 p. 239-266
article
143 Scheduling of Offset Free Systems Joël Goossens
2003
2 p. 239-258
20 p.
article
144 Scheduling of Offset Free Systems Goossens, Joël
2003
2 p. 239-258
article
145 Scheduling real-time requests in on-demand data broadcast environments Lee, Victor C. S.
2006
2 p. 83-99
article
146 SetExp: a method of transformation of timed automata into finite state automata Ouedraogo, Lucien
2010
2 p. 189-250
article
147 Shared resources in multiprocessor real-time systems scheduled by RUN Teixeira, Ricardo Brasil

2 p. 153-188
article
148 Special issue: Advances in real-time embedded systems design Yun, Heechul

2 p. 199-200
article
149 Special issue on real-time scheduling on heterogeneous platforms Lipari, Giuseppe

2 p. 103-104
article
150 Special issue on scheduling and timing analysis for advanced real-time systems Davis, Robert I.
2014
2 p. 125-127
article
151 Static analysis of multi-core TDMA resource arbitration delays Kelter, Timon
2013
2 p. 185-229
article
152 Static probabilistic worst case execution time estimation for architectures with faulty instruction caches Hardy, Damien
2014
2 p. 128-152
article
153 Stochastic analysis of real-time systems under preemptive priority-driven scheduling López, José María
2008
2 p. 180-207
article
154 Supporting Timing Analysis by Automatic Bounding of LoopIterations Christopher Healy
2000
2 p. 129-156
28 p.
article
155 Symbolic Cache Analysis for Real-Time Systems Johann Blieberger
2000
2 p. 181-215
35 p.
article
156 Tardiness bounds under global EDF scheduling on a multiprocessor Devi, UmaMaheswari C.
2007
2 p. 133-189
article
157 The Design and Performance of a Real-Time CORBA SchedulingService Christopher D. Gill
2001
2 p. 117-154
38 p.
article
158 The Design and Performance of a Real-Time CORBA Scheduling Service Gill, Christopher D.
2001
2 p. 117-154
article
159 The Non-Optimality of the Monotonic Priority Assignmentsfor Hard Real-Time Offset Free Systems J. Goossens
1997
2 p. 107-126
20 p.
article
160 The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems Goossens, J.
1997
2 p. 107-126
article
161 The Slack Method: A New Method for Static Allocation ofHard Real-Time Tasks Peter Altenbernd
1998
2 p. 103-130
28 p.
article
162 The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks Altenbernd, Peter
1998
2 p. 103-130
article
163 The Spring System: Integrated Support for Complex Real-TimeSystems John A. Stankovic
1999
2 p. 223-251
29 p.
article
164 The Valid Use of Utility in Adaptive Real-Time Systems D. Prasad
2003
2 p. 277-296
20 p.
article
165 Timing Analysis and Validation for Real-Time Systems Guest Editors Introduction Reinhard Wilhelm
1999
2 p. 127-129
3 p.
article
166 Timing analysis enhancement for synchronous program Raymond, Pascal
2015
2 p. 192-220
article
167 Timing Analysis for Data and Wrap-Around Fill Caches Randall T. White
1999
2 p. 209-233
25 p.
article
168 Timing Analysis for Instruction Caches Frank Mueller
2000
2 p. 217-247
31 p.
article
169 Timing analysis of rate-constrained traffic in TTEthernet using network calculus Zhao, Luxi
2017
2 p. 254-287
article
170 Timing predictability of cache replacement policies Reineke, Jan
2007
2 p. 99-122
article
171 To Schedule or to Execute: Decision Support and PerformanceImplications Babak Hamidzadeh
1999
2 p. 281-313
33 p.
article
172 Transaction Scheduling in Distributed Real-Time Systems Kwok-wa Lam
2000
2 p. 169-193
25 p.
article
173 Transaction Scheduling in Distributed Real-Time Systems Lam, Kwok-wa
2000
2 p. 169-193
article
174 Uneven memory regulation for scheduling IMA applications on multi-core platforms Awan, Muhammad Ali
2018
2 p. 248-292
article
175 Using Program Transformations to Provide Safety Properties for Real-Time Systems Grace Tsai
2004
2 p. 191-207
17 p.
article
176 Using Program Transformations to Provide Safety Properties for Real-Time Systems Tsai, Grace
2004
2 p. 191-207
article
177 Utilization-Based Admission Control for Scalable Real-Time Communication Byung-Kyu Choi
2003
2 p. 171-202
32 p.
article
178 Utilization-Based Admission Control for Scalable Real-Time Communication Choi, Byung-Kyu
2003
2 p. 171-202
article
179 Utilization Bounds for N-Processor Rate MonotoneScheduling with Static Processor Assignment Dong-Ik Oh
1998
2 p. 183-192
10 p.
article
180 Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment Oh, Dong-Ik
1998
2 p. 183-192
article
181 WCET Analysis of Superscalar Processors Using SimulationWith Coloured Petri Nets Frank Burns
2000
2 p. 275-288
14 p.
article
182 Work-conserving dynamic time-division multiplexing for multi-criticality systems Hebbache, Farouk

2 p. 124-170
article
183 Worst Case Execution Time Analysis for a Processor withBranch Prediction Antoine Colin
2000
2 p. 249-274
26 p.
article
                             183 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands