Sporadic tasks in hard real-time systems
ACM SIGAda Ada Letters
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemptive Scheduling
IEEE Transactions on Computers
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
A Real-Time Primary-Backup Replication Service
IEEE Transactions on Parallel and Distributed Systems
Experimental Assessment of the Period Calibration Method: A Case Study
Real-Time Systems
Cache Aware Pre-Runtime Scheduling
Real-Time Systems
Cache-Conscious Limited Preemptive Scheduling
Real-Time Systems
Analysis of Checkpointing for Real-Time Systems
Real-Time Systems
Bounding Cache-Related Preemption Delay for Real-Time Systems
IEEE Transactions on Software Engineering
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
IEEE Transactions on Software Engineering
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
On the distribution of control functions in new-generation on-board embedded real-time systems
Parallel and distributed real-time systems
Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Inferring Scheduling Behavior with Hourglass
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
Transformation of SDL specifications for system-level timing analysis
Proceedings of the tenth international symposium on Hardware/software codesign
Proceedings of the 40th annual Design Automation Conference
Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Schedulability analysis with UML
UML for real
Efficient Online Schedulability Tests for Real-Time Systems
IEEE Transactions on Software Engineering
Deadline analysis of interrupt-driven software
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Data Caches in Multitasking Hard Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Enhanced Utilization Bounds for QoS Management
IEEE Transactions on Computers
Best-Case Response Times and Jitter Analysis of Real-Time Tasks
Journal of Scheduling
Context-Aware Performance Analysis for Efficient Embedded System Design
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Timing Analysis for Preemptive Multi-Tasking Real-Time Systems with Caches
Proceedings of the conference on Design, automation and test in Europe - Volume 2
Timing analysis of compound scheduling policies: application to posix1003.1b
Journal of Scheduling
Feasibility analysis of hard real-time periodic tasks
Journal of Systems and Software - Special issue: Performance modeling and analysis of computer systems and networks
Deadline Analysis of Interrupt-Driven Software
IEEE Transactions on Software Engineering
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Feasibility Analysis of Real-Time Periodic Tasks with Offsets
Real-Time Systems
Traffic shaping for an FPGA based SDRAM controller with complex QoS requirements
Proceedings of the 42nd annual Design Automation Conference
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
WCRT analysis for a uniprocessor with a unified prioritized cache
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Improved offset-analysis using multiple timing-references
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Integrating schedulability analysis with UML-RT
Control and Intelligent Systems
An execution overrun management mechanism for the temporal robustness of Java real-time systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Integrated analysis of communicating tasks in MPSoCs
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Timing analysis for preemptive multitasking real-time systems with caches
ACM Transactions on Embedded Computing Systems (TECS)
Scalable precision cache analysis for real-time software
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Toward Automatic Synthesis of Schedulable Real-Time Controllers
Integrated Computer-Aided Engineering
Automotive software integration
Proceedings of the 44th annual Design Automation Conference
Improved response time analysis of tasks scheduled under preemptive Round-Robin
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Cost enforcement in the real-time specification for Java
Real-Time Systems
Data cache locking for tight timing calculations
ACM Transactions on Embedded Computing Systems (TECS)
Sensitivity analysis for fixed-priority real-time systems
Real-Time Systems
Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching
NOCS '08 Proceedings of the Second ACM/IEEE International Symposium on Networks-on-Chip
Bounding Demand Paging Costs in Fixed Priority Real-Time Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Providing accurate event models for the analysis of heterogeneous multiprocessor systems
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Real-time synchronization on distributed architecture with Ada-2005
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
System level performance analysis for real-time automotive multicore and network architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An evaluation of timed scenario notations
Journal of Systems and Software
Delivering real-time behaviour
Domain modeling and the duration calculus
Revisiting fixed priority techniques
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Journal of Computer and System Sciences
Failure prevention of real-time systems based on the latest execution time
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Proceedings of the Conference on Design, Automation and Test in Europe
Utilization bound for periodic task set with composite deadline
Computers and Electrical Engineering
Improved worst-case response-time calculations by upper-bound conditions
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Conference on Design, Automation and Test in Europe
Real-time performance analysis of multiprocessor systems with shared memory
ACM Transactions on Embedded Computing Systems (TECS)
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
An efficient feasibility test method for hard real-time periodic tasks
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A hierarchical scheduling model for component-based real-time systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
Designing for schedulability: integrating schedulability analysis with object-oriented design
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Real-time communication analysis for networks with two-stage arbitration
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A synergetic approach to accurate analysis of cache-related preemption delay
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
The design of real-time fault detectors
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Embedded Systems Design
Embedded Systems Design
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks
Fundamenta Informaticae
Dataflow analysis for multiprocessor systems with non-starvation-free schedulers
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems
Proceedings of the Conference on Design, Automation and Test in Europe
Formal analysis of sporadic bursts in real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors
Proceedings of the 50th Annual Design Automation Conference
Formal analysis of sporadic overload in real-time systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Probabilistic response time bound for CAN messages with arbitrary deadlines
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Timing analysis of cyber-physical applications for hybrid communication protocols
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Lowest priority first based feasibility analysis of real-time systems
Journal of Parallel and Distributed Computing
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
Explicit reservation of cache memory in a predictable, preemptive multitasking real-time system
ACM Transactions on Embedded Computing Systems (TECS)
Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
Stability-aware analysis and design of embedded control systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Fault-tolerant hierarchical real-time scheduling with backup partitions on single processor
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
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.01 |