Publication | Closed Access

Mixed satisfiability tests for multiprocessor scheduling with release dates and deadlines

EngineeringVerificationComputer ArchitectureSoftware EngineeringFormal VerificationRelease DatesMixed Satisfiability TestsSystems EngineeringParallel ComputingComputer EngineeringScheduling (Computing)Computer ScienceMultiprocessor SchedulingDesign For TestingScheduling AnalysisScheduling ProblemSoftware TestingFormal MethodsReal-time Systems