Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Components for the implementation of fixed priority real-time systems in ADA
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
Analysis of Checkpointing for Real-Time Systems
Real-Time Systems
DDSCHED: a distributed dynamic real-time scheduling algorithm
Progress in computer research
DDSCHED: a distributed dynamic real-time scheduling algorithm
Progress in computer research
Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
IEEE Transactions on Software Engineering
A Framework for Embedded Real-Time System Design
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
HARTEX: a safe real-time kernel for distributed computer control systems
Software—Practice & Experience
The impact of extrinsic cache performance on predictability of real-time systems
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Real-time scheduling of tasks that contain the external blocking intervals
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Schedulability analysis with UML
UML for real
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Scalable precision cache analysis for preemptive scheduling
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Efficient IR-style keyword search over relational databases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Flexible hard real-time scheduling for deliberative AI systems
Real-Time Systems
Non-preemptible last section assignment for reducing feedback latency in real-time control systems
International Journal of Systems Science
Improving task responsiveness with limited preemptions
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Efficient continuous top-k keyword search in relational databases
WAIM'10 Proceedings of the 11th international conference on Web-age information management
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Schedulability analysis using Uppaal: Herschel-Planck case study
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Partitioning real-time systems on multiprocessors with shared resources
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Future Generation Computer Systems
Synchronous interface theories and time triggered scheduling
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Optimising task layout to increase schedulability via reduced cache related pre-emption delays
Proceedings of the 20th International Conference on Real-Time and Network Systems
Extending fixed task-priority schedulability by interference limitation
Proceedings of the 20th International Conference on Real-Time and Network Systems
Schedulability of herschel-planck revisited using statistical model checking
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Preemption delay analysis for floating non-preemptive region scheduling
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the 21st International conference on Real-Time Networks and Systems
Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines
Proceedings of the 21st International conference on Real-Time Networks and Systems
Approximation scheme for real-time tasks under fixed-priority scheduling with deferred preemption
Proceedings of the 21st International conference on Real-Time Networks and Systems
Limited preemptive scheduling of non-independent task sets
Proceedings of the Eleventh ACM International Conference on Embedded Software
A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
Hi-index | 0.00 |