Competitive On-Line Scheduling of Imprecise Computations
IEEE Transactions on Computers
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Real-Time Systems
Low-power task scheduling for multiple devices
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Timing Analysis for Instruction Caches
Real-Time Systems - Special issue on worst-case execution-time analysis
A tool for simulation and fast prototyping of embedded control systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Modeling and simulation of steady state and transient behaviors for emergent SoCs
Proceedings of the 14th international symposium on Systems synthesis
Elastic Scheduling for Flexible Workload Management
IEEE Transactions on Computers
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Power-aware operating systems for interactive systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
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
A framework for evaluating design tradeoffs in packet processing architectures
Proceedings of the 39th annual Design Automation Conference
Off-Line Computation of Real-Time Schedules Using Petri Nets
Discrete Event Dynamic Systems
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
IEEE Transactions on Computers
A Dynamic Scheduling Algorithm for Real-Time Expert Systems
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Timed Automata with Asynchronous Processes: Schedulability and Decidability
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Software in Network Processors - Models and Algorithms
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Real-Time Operating Systems: Problems and Novel Solutions
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Synthesis of Robust Control Systems under Resource Constraints
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
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
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
PET, a software monitoring toolkit for performance analysis of parallel embedded applications
Journal of Systems Architecture: the EUROMICRO Journal
Journal of Systems and Software
Proceedings of the 40th annual Design Automation Conference
HARTEX: a safe real-time kernel for distributed computer control systems
Software—Practice & Experience
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Power management points in power-aware real-time systems
Power aware computing
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Schedulability analysis with UML
UML for real
Programming challenges in network processor deployment
Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
Online Scheduling and Placement of Real-time Tasks to Partially Reconfigurable Devices
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems
IEEE Transactions on Computers
Journal of Parallel and Distributed Computing
Minimal schedulability interval for real-time systems of periodic tasks with offsets
Theoretical Computer Science
Dynamic on-demand updating of data in real-time database systems
Proceedings of the 2004 ACM symposium on Applied computing
Fault-tolerant scheduling for real-time embedded control systems
Journal of Computer Science and Technology
Retargetable profiling for rapid, early system-level design space exploration
Proceedings of the 41st annual Design Automation Conference
Platform-independent design for embedded real-time systems
Languages for system specification
Multiple process execution in cache related preemption delay analysis
Proceedings of the 4th ACM international conference on Embedded software
Fast, Best-Effort Real-Time Scheduling Algorithms
IEEE Transactions on Computers
RTOS Modeling for System Level Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Formal Methods for Integration of Automotive Software
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
Safely exploiting multithreaded processors to tolerate memory latency in real-time systems
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Operating Systems for Reconfigurable Embedded Platforms: Online Scheduling of Real-Time Tasks
IEEE Transactions on Computers
Schedulability analysis of applications with stochastic task execution times
ACM Transactions on Embedded Computing Systems (TECS)
Design for Timing Predictability
Real-Time Systems
Interval-based analysis in embedded system design
Mathematics and Computers in Simulation - Special issue: Selected papers from the 4th IMACS symposium on mathematical modelling (4th MATHMOD)
Task Synchronization in Reservation-Based Real-Time Systems
IEEE Transactions on Computers
Fine Grain QoS Control for Multimedia Application Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Empowering configurable QoS management in real-time systems
Proceedings of the 4th international conference on Aspect-oriented software development
Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
QoS Control Strategies for High-Quality Video Processing
Real-Time Systems
Feasibility Analysis of Real-Time Periodic Tasks with Offsets
Real-Time Systems
Solution of The Liu-Layland Problem Via Bottleneck Just-In-Time Sequencing
Journal of Scheduling
A generic approach to schedulability analysis of real-time tasks
Nordic Journal of Computing
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
MSA: a memory-aware utility accrual scheduling algorithm
Proceedings of the 2005 ACM symposium on Applied computing
Algorithmic problems in power management
ACM SIGACT News
Encyclopedia of Computer Science
A selection mechanism based upon the explicit expression of preference
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Code aware resource management
Proceedings of the 5th ACM international conference on Embedded software
ACM Transactions on Embedded Computing Systems (TECS)
IEEE Transactions on Software Engineering
Specification and Management of QoS in Real-Time Databases Supporting Imprecise Computations
IEEE Transactions on Computers
Dynamic voltage scaling for multitasking real-time systems with uncertain execution time
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
IEEE Transactions on Computers
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Schedulability analysis of fixed-priority systems using timed automata
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Real-Time Systems
Optimal real-time sampling rate assignment for wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Adaptive real-time controller in ORICA
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Speed scaling to manage energy and temperature
Journal of the ACM (JACM)
Dispatch sequences for embedded control models
Journal of Computer and System Sciences
Adaptive Resource Allocation Control for Fair QoS Management
IEEE Transactions on Computers
Optimal Dynamic Voltage Scaling in Energy-Limited Nonpreemptive Systems with Real-Time Constraints
IEEE Transactions on Mobile Computing
Accounting for cache-related preemption delay in dynamic priority schedulability analysis
Proceedings of the conference on Design, automation and test in Europe
Task automata: Schedulability, decidability and undecidability
Information and Computation
The implementation of the Priority Ceiling Protocol in Ada-2005
ACM SIGAda Ada Letters
Robust implicit EDF: A wireless MAC protocol for collaborative real-time systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Overrun handling approaches for overload-prone soft real-time systems
Advances in Engineering Software
The embedded machine: Predictable, portable real-time code
ACM Transactions on Programming Languages and Systems (TOPLAS)
A SystemC-based design methodology for digital signal processing systems
EURASIP Journal on Embedded Systems
Modeling and design of fault-tolerant and self-adaptive reconfigurable networked embedded systems
EURASIP Journal on Embedded Systems
Real-Time Management of Hardware and Software Tasks for FPGA-based Embedded Systems
IEEE Transactions on Computers
Interactive schedulability analysis
ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS)
Priority tasks allocation through the maximum entropy principle
ICAI'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Automation and Information - Volume 8
Model-driven migration of supervisory machine control architectures
Journal of Systems and Software
Impact of RTOS parameters on end-to-end timing performance
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Real-time digital filters for SISO linear stochastic systems
ISCGAV'05 Proceedings of the 5th WSEAS International Conference on Signal Processing, Computational Geometry & Artificial Vision
Relative simulation and model checking of real-time processes
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Anytime Control Algorithms for Embedded Real-Time Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Ranking Automata and Games for Prioritized Requirements
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Towards a Middleware Approach for a Self-configurable Automotive Embedded System
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
CoMPSoC: A template for composable and predictable multi-processor system on chips
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Brief paper: Sporadic event-based control of first-order linear stochastic systems
Automatica (Journal of IFAC)
Game-theoretic timing analysis
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
An earlier time for inserting and/or accelerating tasks
Real-Time Systems
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
ICCOM'08 Proceedings of the 12th WSEAS international conference on Communications
Monotonicity and run-time scheduling
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Hardware-software co-synthesis of hard real-time systems with reconfigurable FPGAs
Computers and Electrical Engineering
Overview of Multicore Requirements towards Real-Time Communication
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Rate monotonic scheduling re-analysed
Information Processing Letters
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Discrete Event Dynamic Systems
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
Designing real-time embedded controllers using the anytime computing paradigm
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Real-time smoothing for network adaptive video streaming
Journal of Visual Communication and Image Representation
Specification and simulation of real time concurrent systems using standard SDL tools
SDL'03 Proceedings of the 11th international conference on System design
Sporadic control of first-order linear stochastic systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Rate admission control for hard real-time task scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Automata based interfaces for control and scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Schedulability analysis using two clocks
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Tree scheduling versus sequential scheduling
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme
Proceedings of the 47th Design Automation Conference
Improving responsiveness of soft aperiodic tasks using proportional slack time
Computers and Electrical Engineering
EDF-schedulability of synchronous periodic task systems is coNP-hard
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Conference on Design, Automation and Test in Europe
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
An incremental approach to scheduling during overloads in real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A fault-tolerant reservation-based strategy for scheduling aperiodic tasks in multiprocessor systems
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Mobile Networks and Applications
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Computations with uncertain time constraints: effects on parallelism and universality
UC'11 Proceedings of the 10th international conference on Unconventional computation
Real-time scheduling using regularity criteria and a geometrical approach
International Journal of Critical Computer-Based Systems
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code
Science of Computer Programming
A soft real-time web news classification system with double control loops
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
PVM/MPI'05 Proceedings of the 12th European PVM/MPI users' group conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Model checking timed automata with priorities using DBM subtraction
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Automata-Theoretic performance analysis method of soft real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Ensuring real-time performance guarantees in dynamically reconfigurable embedded systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Speed scaling to manage temperature
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Discrete geometry applied in hard real-time systems validation
DGCI'05 Proceedings of the 12th international conference on Discrete Geometry for Computer Imagery
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Probabilistic modelling and evaluation of soft real-time embedded systems
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Providing configurable qos management in real-time systems with qos aspect packages
Transactions on Aspect-Oriented Software Development II
Dynamic task-scheduling and resource management for GPU accelerators in medical imaging
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
Feasibility analysis of real-time transactions
Real-Time Systems
Integrating PFairness within a model based scheduling tool
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Adaptive task automata: a framework for verifying adaptive embedded systems
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Observation tools for effective schedules in a RTOS
ACM SIGBED Review - 2nd Workshop on Embed With Linux (EWiLi 2012)
Time-Triggered Implementations of Dynamic Controllers
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Memory-centric scheduling for multicore hard real-time systems
Real-Time Systems
Execution-time aware Simulink blocks
Proceedings of the 2012 SpringSim Poster & Work-In-Progress Track
Automatic transformation of abstract AUTOSAR architectures to timed automata
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Multiple real-time semantics on top of synchronous block diagrams
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Worst-case guarantees on a processor with temperature-based feedback control of speed
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.04 |