researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Real-Time Systems
Home
Index
Info
Issue
Volume
15
, Issue
3
189
--
219
HanĂȘne Ben-Abdallah
,
Jin-Young Choi
,
Duncan Clarke
,
Young-Si Kim
,
Insup Lee
,
Hong-liang Xie
.
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems
221
--
247
Niladri Chatterjee
,
John A. Campbell
.
Cashing in on Caching: An Architecture for Time-Bounded Knowledge-Based Problem Solving
249
--
273
Jiandong Huang
,
Peng-Jun Wan
,
Ding-Zhu Du
.
Criticality- and QoS-Based Multiresource Negotiation and Adaptation
275
--
298
Joachim Wegener
,
Matthias Grochtmann
.
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing