On the public citation graph
Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention
0 signed · 64 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-70086-6_55openalex-snapshot
A Proposal for Extensions of Pearl to Facilitate the Formulation of Hard Real-Time Applications
inferredcites →https://doi.org/10.1007/bf00571421openalex-snapshot
Calculating the maximum execution time of real-time programs
inferredcites →https://doi.org/10.1007/bf01692511openalex-snapshot
Semantics of context-free languages
inferredcites →https://doi.org/10.1016/s1474-6670(17)51273-2openalex-snapshot
Application of Partial Evaluation to Hard Real-Time Programming
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.29487openalex-snapshot
Reasoning about time in higher-level language software
inferredcites →https://doi.org/10.1109/32.83911openalex-snapshot
Analyzing hard-real-time programs for guaranteed schedulability
inferredcites →https://doi.org/10.1109/real.1990.128731openalex-snapshot
Experiments with a program timing tool based on source-level timing schema
inferredcites →https://doi.org/10.1109/tse.1980.234465openalex-snapshot
Guaranteed Response Times in a Hard-Real-Time Environment
inferredcites →https://doi.org/10.1109/tse.1981.231111openalex-snapshot
Real-Time Behavior of Programs
inferredcites →https://doi.org/10.1109/tse.1986.6313009openalex-snapshot
Guaranteed response times in a distributed hard-real-time environment
inferredcites →https://doi.org/10.1109/tse.1986.6313049openalex-snapshot
Real-Time Euclid: A language for reliable real-time systems
inferredcites →https://doi.org/10.1184/r1/6587420openalex-snapshot
A formal system for specifying and verifying program performance
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jpdc.1996.0050openalex-snapshot
Load Balanced Mapping of Distributed Objects to Minimize Network Communication
inferred← citeshttps://doi.org/10.1007/978-0-585-34653-3_3openalex-snapshot
A description language for engineering of complex real-time systems
inferred← citeshttps://doi.org/10.1007/978-3-642-37298-8_16openalex-snapshot
Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb
inferred← citeshttps://doi.org/10.1007/978-3-642-88049-0_11openalex-snapshot
Predictability and Techniques for Schedulability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-88049-0_44openalex-snapshot
A Generic Systems Integration Framework for Large and Time-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-56369-4_18openalex-snapshot
Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb
inferred← citeshttps://doi.org/10.1007/bf00337681openalex-snapshot
A description language for engineering of complex real-time systems
inferred← citeshttps://doi.org/10.1007/bf00365521openalex-snapshot
A compact task graph representation for real-time scheduling
inferred← citeshttps://doi.org/10.1007/bf01088622openalex-snapshot
Formal timing analysis for distributed real-time programs
inferred← citeshttps://doi.org/10.1007/bf01088695openalex-snapshot
A partial evaluator for the Maruti hard real-time system
inferred← citeshttps://doi.org/10.1007/bf01088696openalex-snapshot
Predicting program execution times by analyzing static and dynamic program paths
inferred← citeshttps://doi.org/10.1007/bf01088697openalex-snapshot
RTC: Language support for real-time concurrency
inferred← citeshttps://doi.org/10.1007/bf01088804openalex-snapshot
Schedulability-analyzable exception handling for fault-tolerant real-time languages
inferred← citeshttps://doi.org/10.1007/bf01094342openalex-snapshot
Fixed priority pre-emptive scheduling: An historical perspective
inferred← citeshttps://doi.org/10.1007/bf01893144openalex-snapshot
A model for scheduling of object-based, distributed real-time systems
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90007-8openalex-snapshot
Least-space-time-first scheduling algorithm: A policy for complex real-time tasks in multiple processor systems
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90011-6openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90030-2openalex-snapshot
Requirements for a real-Time image processing language
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90046-mopenalex-snapshot
The evolution and state-of-the-art of real-time languages
inferred← citeshttps://doi.org/10.1016/0165-6074(94)90081-7openalex-snapshot
Response time prediction in object-based, parallel embedded systems
inferred← citeshttps://doi.org/10.1016/0967-0661(93)92107-fopenalex-snapshot
Enabling efficient schedulability analysis through conditional linking and program transformations
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00070-bopenalex-snapshot
Mechanism requirements for a real-time image-processing language
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00232-4openalex-snapshot
Multiple-goal objective functions for optimization of task assignment in complex computer systems
inferred← citeshttps://doi.org/10.1016/s0005-1098(96)00245-2openalex-snapshot
LSTF: A new scheduling policy for complex real-time tasks in multiple processor systems
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00034-xopenalex-snapshot
Formal Verification of Compiler Transformations for Speculative Real-Time Execution>>>A short version of t>his paper was presented at the 20th IFAC/IFIP Workshop on Real Time Programming (WRTP’95), which was held in Gt. Lauderdale, Florida, U.S.A., during November 1995. The Published Proceedings…
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39964-0openalex-snapshot
Concepts from Deadline Non-Intrusive Monitoring
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43740-2openalex-snapshot
Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45963-5openalex-snapshot
Least-Space-Time-First Scheduling Algorithm: A Policy for Complex Real-Time Tasks in Multiple Processor Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45967-2openalex-snapshot
Multiple-Goal Objective Functions For Optimization of Task Assignment in Complex Computer Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45986-6openalex-snapshot
Requirements for a Real-Time Image Processing Language 1
inferred← citeshttps://doi.org/10.1023/a:1011151522310openalex-snapshot
Towards a Mobile Code Management Environment for Complex, Real-Time, Distributed Systems
inferred← citeshttps://doi.org/10.1093/comjnl/38.4.319openalex-snapshot
A Language for Complex Real-Time Systems
inferred← citeshttps://doi.org/10.1109/32.748918openalex-snapshot
A development environment for complex distributed real-time applications
inferred← citeshttps://doi.org/10.1109/32.815328openalex-snapshot
Statically safe speculative execution for real-time systems
inferred← citeshttps://doi.org/10.1109/5.259429openalex-snapshot
Real-time schedulability-analyzable mechanisms in Ada9X
inferred← citeshttps://doi.org/10.1109/52.219619openalex-snapshot
Extending Pearl for industrial real-time applications
inferred← citeshttps://doi.org/10.1109/ecbs.2001.922413openalex-snapshot
On adaptive communication in asynchronous real-time distributed systems
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558328openalex-snapshot
Toward compiler optimization of distributed real-time processes
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558431openalex-snapshot
Architecture and language support for fault-tolerance in complex real-time systems
inferred← citeshttps://doi.org/10.1109/iceccs.1996.558579openalex-snapshot
A task graph model for design and implementation of real-time systems
inferred← citeshttps://doi.org/10.1109/iceccs.1997.622313openalex-snapshot
A language support environment for complex distributed real-time applications
inferred← citeshttps://doi.org/10.1109/icsi.1992.217244openalex-snapshot
Safe optimization for hard real-time programming
inferred← citeshttps://doi.org/10.1109/real.1991.160358openalex-snapshot
Program representation and translation for predictable real-time systems
inferred← citeshttps://doi.org/10.1109/real.1991.160359openalex-snapshot
A partial evaluator for the Maruti hard real-time system
inferred← citeshttps://doi.org/10.1109/real.1993.393489openalex-snapshot
RTSL: a language for real-time schedulability analysis
inferred← citeshttps://doi.org/10.1109/real.1994.342727openalex-snapshot
Busy-idle profiles and compact task graphs: compile-time support for interleaved and overlapped scheduling of real-time tasks
inferred← citeshttps://doi.org/10.1109/rta.1993.263104openalex-snapshot
Reusable component retrieval for real-time applications
inferred← citeshttps://doi.org/10.1109/rttas.2000.852465openalex-snapshot
An automated profiling subsystem for QoS-aware services
inferred← citeshttps://doi.org/10.1109/spdp.1992.242716openalex-snapshot
Modeling resource contention among distributed periodic processes
inferred← citeshttps://doi.org/10.1117/12.234656openalex-snapshot
Performance enhancement of various real-time image processing techniques via speculative execution
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.