• Kronos

  • Referenced in 274 articles [sw01270]
  • must perform a task within strict time deadlines. Embedded controllers, circuits and communication protocols...
  • Ptolemy

  • Referenced in 81 articles [sw07459]
  • state and inputs); postfire (update state instantaneously); deadline (how much time the actor is willing...
  • MOCA

  • Referenced in 18 articles [sw02629]
  • model, every task has a deadline and a value that it obtains only ... completes by its deadline. A task can be assigned to any processor, all of which...
  • SAPA

  • Referenced in 17 articles [sw20683]
  • handle durative actions, metric resource constraints, and deadline goals. It is designed to be capable...
  • pwcet

  • Referenced in 8 articles [sw14479]
  • system which has to meet all the deadlines but for which a (high) probabilistic guarantee...
  • MIRROR

  • Referenced in 4 articles [sw02280]
  • concurrency control protocol specifically designed for firm-deadline applications operating on replicated real-time databases...
  • LITMUS

  • Referenced in 3 articles [sw09391]
  • such an evaluation, in which partitioned earliest-deadline-first (EDF) scheduling, preemptive and nonpreemptive global...
  • OTAWA

  • Referenced in 3 articles [sw20500]
  • determine a task schedule that insures that deadlines will all be met. The OTAWA toolbox...
  • realTimeAnalysis

  • Referenced in 1 article [sw30809]
  • software tasks meet their previously defined deadlines. The implemented Maple package supplies test methods ... functions for scheduling algorithms like EDF (Earliest Deadline First), RMS (Rate Monotonic Scheduling ... Deadline Monotonic Scheduling), that have been proved to predict the compliance with previously defined deadlines...
  • LSTF

  • Referenced in 2 articles [sw02157]
  • other established heuristic algorithms (such as earliest-deadline-first) in the sense that it minimizes...
  • SWEET

  • Referenced in 1 article [sw17684]
  • real-time systems with respect to possible deadline violations. For safety-critical real-time systems...
  • Horizon

  • Referenced in 1 article [sw20671]
  • complex radio transmission technology while meeting the deadlines of a multi-media streaming application such...
  • Time4sys2imi

  • Referenced in 1 article [sw31184]
  • also to infer some timing constraints (deadlines, offsets (ldots)) guaranteeing schedulability. We successfully applied Time4sys2imi...
  • PRESTO

  • Referenced in 1 article [sw41591]
  • platforms ( PRESTO ), to generate a minimal penalty deadline-meeting static schedule. The generic efficacy...
  • DeadLine

  • Referenced in 0 articles [sw05974]
  • solve equationsplot graphs interactivelyperform calculationsderive functions and evaluate...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • PSPLIB

  • Referenced in 277 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...