Amanote Research
Register
Sign In
A Brute-Force Schedulability Analysis for Formal Model Under Logical Execution Time Assumption
doi 10.1145/3167132.3167199
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Pierre-Emmanuel Hladik
Publisher
ACM Press
Related search
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Randomness vs Time: Derandomization Under a Uniform Assumption
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
Analysis of Brute-Force Break-Ins of a Palmprint Authentication System
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
Brute Force in the Clinic
Nature
Multidisciplinary
Schedulability Analysis for a Mode Transition in Real-Time Multi-Core Systems
Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time
Schedulability Analysis for Multiresource Scheduling in Middleware for Distributed Real Time Systems
International Journal of Computer Applications
Incremental Schedulability Analysis of Hierarchical Real-Time Components
Schedulability Analysis of Real-Time Tasks With Precedence Constraints
