How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling
IEEE Transactions on Computers
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Real-time computing with lock-free shared objects
ACM Transactions on Computer Systems (TOCS)
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Design and Programming Tools for Time Critical Applications
Real-Time Systems
Minimizing Aperiodic Response Times in a Firm Real-Time Environment
IEEE Transactions on Software Engineering
Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments
IEEE Transactions on Computers
Object-oriented real-time concurrency
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the ninth international symposium on Hardware/software codesign
Resource Management Middleware for Dynamic, DependableReal-Time Systems
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Scheduling Messages with Earliest Deadline Techniques
Real-Time Systems
Elastic Scheduling for Flexible Workload Management
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Energy aware task scheduling with task synchronization for embedded real time systems
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Off-Line Computation of Real-Time Schedules Using Petri Nets
Discrete Event Dynamic Systems
Threshold-based interventions to optimize performance in preemptive priority queues
Queueing Systems: Theory and Applications
Handling Execution Overruns in Hard Real-Time Control Systems
IEEE Transactions on Computers
Solving the Group Priority Inversion Problem in a Timed Asynchronous System
IEEE Transactions on Computers
An object-oriented tool for simulating distributed real-time control systems
Software—Practice & Experience
A Dynamic, Real-Time Testbed for Resource Management Technology
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Optimal Scheduling of Aperiodic Jobs on Cluster
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Quality of Service Management in Distributed Asynchronous Real-Time Systems
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Supporting time-sensitive applications on a commodity OS
ACM SIGOPS Operating Systems Review - OSDI '02: Proceedings of the 5th symposium on Operating systems design and implementation
On avoiding remote blocking via real-time concurrency control protocols
Journal of Systems and Software
Hardware Support for Priority Inheritance
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Multiprocessor EDF and Deadline Monotonic Schedulability Analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Task attribute-based scheduling: extending Ada's support for scheduling
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Application-defined scheduling in Ada
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Report of session: generating new AIs
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Resource Reservation in Dynamic Real-Time Systems
Real-Time Systems
A Task Model to Reduce Control Delays
Real-Time Systems
Fault-tolerant scheduling for real-time embedded control systems
Journal of Computer Science and Technology
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
Proceedings of the 4th ACM international conference on Embedded software
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Rate monotonic vs. EDF: judgment day
Real-Time Systems
Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times
IEEE Transactions on Computers
Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Supporting time-sensitive applications on a commodity OS
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Feasibility Analysis of Real-Time Periodic Tasks with Offsets
Real-Time Systems
An Analysis of EDF Schedulability on a Multiprocessor
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Computers
Locking under Pfair scheduling
ACM Transactions on Computer Systems (TOCS)
Supporting lock-free synchronization in Pfair-scheduled real-time systems
Journal of Parallel and Distributed Computing
Data sharing protocols for SMT processors
Proceedings of the 2006 ACM symposium on Applied computing
Ada Issue 00357: support for deadlines and earliest deadline first scheduling
ACM SIGAda Ada Letters
Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
Journal of Computer and System Sciences
The capacity of an implicit prioritized access protocol in wireless sensor networks
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Response time analysis of EDF distributed real-time systems
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Design and performance analysis of the Real-Time HCCA scheduler for IEEE 802.11e WLANs
Computer Networks: The International Journal of Computer and Telecommunications Networking
SWAP: a scheduler with automatic process dependency detection
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Space-Optimal, Wait-Free Real-Time Synchronization
IEEE Transactions on Computers
Utility Accrual Real-Time Scheduling under Variable Cost Functions
IEEE Transactions on Computers
Robust implicit EDF: A wireless MAC protocol for collaborative real-time systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds
IEEE Transactions on Computers
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Correcting the EDF protocol in Ada 2005
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Theoretical Computer Science
Uniprocessor scheduling under precedence constraints for embedded systems design
ACM Transactions on Embedded Computing Systems (TECS)
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Performance evaluation of real-time schedulers for HCCA function in IEEE 802.11e wireless networks
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks
A Comparison of the M-PCP, D-PCP, and FMLP on LITMUSRT
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
An implementation of the earliest deadline first algorithm in Linux
Proceedings of the 2009 ACM symposium on Applied Computing
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Resource holding times: computation and optimization
Real-Time Systems
Robust priority assignment for messages on Controller Area Network (CAN)
Real-Time Systems
Refining SIRAP with a dedicated resource ceiling for self-blocking
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
On the Cost of Prioritized Atomic Multicast Protocols
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Efficiently migrating real-time systems to multi-cores
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Improved SIRAP analysis for synchronization in hierarchical scheduled real-time systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Delivering real-time behaviour
Domain modeling and the duration calculus
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Design and development of a real-time embedded inertial measurement unit
Proceedings of the 2010 ACM Symposium on Applied Computing
Generalizing the EDF scheduling support in Ada 2005
ACM SIGAda Ada Letters
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Journal of Computer and System Sciences
On interrupt scheduling based on process priority for predictable real-time behavior
ACM SIGBED Review - Special Issue on the Work-in-Progress (WIP) Session at the 2009 IEEE Real-Time Systems Symposium (RTSS)
Reducing stack with intra-task threshold priorities in real-time systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Scheduling the CAN bus with earliest deadline techniques
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partitioning real-time systems on multiprocessors with shared resources
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Non pre-emptive scheduling of messages on SMTV token-passing networks
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Live heap space bounds for real-time systems
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A survey of hard real-time scheduling for multiprocessor systems
ACM Computing Surveys (CSUR)
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Task synchronization and allocation for many-core real-time systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Resource sharing in RTSJ and SCJ systems
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
A greedy reclaiming scheduler for IEEE 802.11e HCCA real-time networks
Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
Hierarchical scheduling with ada 2005
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Y-Threads: supporting concurrency in wireless sensor networks
DCOSS'06 Proceedings of the Second IEEE international conference on Distributed Computing in Sensor Systems
Integrating application-defined scheduling with the new dispatching policies for ada tasks
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Robust partitioning for real-time multiprocessor systems with shared resources
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Fast real-time job selection with resource constraints under earliest deadline first
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
What to make of multicore processors for reliable real-time systems?
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Improving interrupt response time in a verifiable protected microkernel
Proceedings of the 7th ACM european conference on Computer Systems
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
An EDF run-time profile based on ravenscar
ACM SIGAda Ada Letters
Ada 2012: resource sharing and multiprocessors
ACM SIGAda Ada Letters
Session summary: language profile and application frameworks
ACM SIGAda Ada Letters
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)
A survey on standards for real-time distribution middleware
ACM Computing Surveys (CSUR)
Incorporating the deadline floor protocol in ada
ACM SIGAda Ada Letters
Limited preemptive scheduling of non-independent task sets
Proceedings of the Eleventh ACM International Conference on Embedded Software
Journal of Systems Architecture: the EUROMICRO Journal
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.03 |