scientific article; zbMATH DE number 2080044

MaRDI QIDQ4472231zbMATH OpenFDO

Authors Yasmina Abdeddaïm, Oded Maler

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800113.htm

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Deterministic scheduling theory in operations research (90B35)

Recommendations

• scientific article; zbMATH DE number 1796155
• Scheduling with timed automata
• On some properties of optimal schedules in the job shop problem with preemption and an arbitrary regular criterion
• Heuristic control of a constraint-based algorithm for the preemptive job-shop scheduling problem
• Preemptive job-shop scheduling problems with a fixed number of jobs

Cited in

(14)

• A study on shuffle, stopwatches and independently evolving clocks
• Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm
• Scheduling with timed automata
• Schedulability analysis of fixed-priority systems using timed automata
• Optimal infinite scheduling for multi-priced timed automata
• Model Checking Real-Time Systems
• On the supports of recognizable timed series
• scientific article; zbMATH DE number 1796155 (Why is no real title available?)
• Realtime channel recommendation: switch smartly while watching TV
• Parameter synthesis for hierarchical concurrent real-time systems
• Parametric schedulability analysis of a launcher flight control system under reactivity constraints
• Metaheuristics for the multi-objective FJSP with sequence-dependent set-up times, auxiliary resources and machine down time
• Spotlight abstraction in model checking real-time task schedulability
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472231)