Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A real-time language with a schedulability analyzer
A real-time language with a schedulability analyzer
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Predicting execution time on contemporary computer architectures
Predicting execution time on contemporary computer architectures
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
Predicting program execution times by analyzing static and dynamic program paths
Real-Time Systems - Special issue: Real-time languages and language-level timing tools and analysis
Predicting deterministic execution times of real-time programs
Predicting deterministic execution times of real-time programs
Pipelined processors and worst case execution times
Real-Time Systems
Performance analysis of embedded software using implicit path enumeration
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Discrete loops and worst case performance
Computer Languages
Worst-case space and time complexity of recursive procedures
Real-Time Systems
Combining static worst-case timing analysis and program proof
Real-Time Systems
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
Bounding Pipeline and Instruction Cache Performance
IEEE Transactions on Computers
The Spring Kernel: A New Paradigm for Real-Time Systems
IEEE Software
Developing Real-Time Tasks With Predictable Timing
IEEE Software
Cache Behavior Prediction by Abstract Interpretation
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Efficient worst case timing analysis of data caching
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Supporting the specification and analysis of timing constraints
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Bounding Loop Iterations for Timing Analysis
RTAS '98 Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium
Worst case timing analysis of RISC processors: R3000/R3010 case study
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Efficient microarchitecture modeling and path analysis for real-time software
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Integrating the timing analysis of pipelining and instruction caching
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Cache modeling for real-time software: beyond direct mapped instruction caches
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A Worst Case Timing Analysis Technique for Multiple-Issue Machines
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Energy management for real-time embedded applications with compiler support
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Fast, predictable and low energy memory references through architecture-aware compilation
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Influence of Memory Hierarchies on Predictability for Time Constrained Embedded Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Schedulability-driven frame packing for multicluster distributed embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Collaborative operating system and compiler power management for real-time applications
ACM Transactions on Embedded Computing Systems (TECS)
Automated WCET analysis based on program modes
Proceedings of the 2006 international workshop on Automation of software test
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
Resource control for synchronous cooperative threads
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Adaptive resource management for dynamic distributed real-time applications
The Journal of Supercomputing
Exact roots for a real-time garbage collector
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
WCET analysis for a Java processor
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
An accurate and efficient simulation-based analysis for worst case interruption delay
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
Implementing fault-tolerance in real-time systems by automatic program transformations
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison
Proceedings of the conference on Design, automation and test in Europe
Accounting for cache-related preemption delay in dynamic priority schedulability analysis
Proceedings of the conference on Design, automation and test in Europe
On new scheduling policy for the improvement of firm RTDBSs performances
Data & Knowledge Engineering
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
A time-predictable VLIW processor and its compiler support
Real-Time Systems
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Cache modeling in probabilistic execution time analysis
Proceedings of the 45th annual Design Automation Conference
A constant-time dynamic storage allocator for real-time systems
Real-Time Systems
Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
TOPN Based Temporal Performance Evaluation Method of Neural Network Based Robot Controller
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
An Operating System for a Time-Predictable Computing Node
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Time-predictable memory arbitration for a Java chip-multiprocessor
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Reliability versus performance for critical applications
Journal of Parallel and Distributed Computing
Compilation and worst-case reaction time analysis for multithreaded Esterel processing
EURASIP Journal on Embedded Systems - Model-driven high-level programming of embedded systems: selected papers from SLA++P'07 and SLA++P'08
Time-predictable computer architecture
EURASIP Journal on Embedded Systems - FPGA supercomputing platforms, architectures, and techniques for accelerating computationally complex algorithms
Using hardware methods to improve time-predictable performance in real-time Java systems
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Implementing time-predictable load and store operations
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
An evaluation of timed scenario notations
Journal of Systems and Software
Efficient off-board deployment and customization of virtual machine-based embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
A review on system architectures for sensor fusion applications
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Worst-case execution time analysis for a Java processor
Software—Practice & Experience
Computing worst-case response times in real-time avionics applications
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A real-time Java chip-multiprocessor
ACM Transactions on Embedded Computing Systems (TECS)
A compiler framework for the reduction of worst-case execution times
Real-Time Systems
Assertion-based verification of RTOS properties
Proceedings of the Conference on Design, Automation and Test in Europe
A marketplace for cloud resources
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
N-version programming in WCET analysis: revisiting a discredited idea
Proceedings of the FSE/SDP workshop on Future of software engineering research
ACM Transactions on Architecture and Code Optimization (TACO) - HIPEAC Papers
Trace acquirement from real-time systems based on WCET analysis
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Timing-sensitive information flow analysis for synchronous systems
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
ACM Transactions on Embedded Computing Systems (TECS)
Model level worst-case execution time analysis for IEC 61499
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Computation takes time, but how much?
Communications of the ACM
WCET analysis with MRU cache: Challenging LRU for predictability
ACM Transactions on Embedded Computing Systems (TECS)
Information Sciences: an International Journal
| Hi-index | 0.02 |