• TAXYS

  • Referenced in 21 articles [sw01389]
  • development and verification of real-time embedded systems The correct behavior of real-time applications ... matter of fact, violations of real-time constraints in embedded systems are the most difficult ... system itself. Clearly, the development of real-time systems requires rigorous methods and tools ... design and validation of real-time telecommunications software. One of the major goal...
  • Carsim

  • Referenced in 37 articles [sw11473]
  • acceleration inputs. CarSim runs faster than real-time using ordinary PC’s. The basic CarSim...
  • STeP

  • Referenced in 36 articles [sw17948]
  • computer-aided formal verification of reactive, real-time and hybrid systems based on their temporal...
  • PAT

  • Referenced in 36 articles [sw13258]
  • composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • tool for BDD-based verification of real-time systems. This paper gives a short overview ... model checking tool for real-time systems. The modeling language are timed automata extended with...
  • MARTE

  • Referenced in 21 articles [sw21826]
  • MARTE: Modeling and Analysis of Real-time and Embedded systems. This specification ... foundations for model-based description of real time and embedded systems. These core concepts ... from specification to detailed design of real-time and embedded characteristics of systems. MARTE concerns ... define new techniques for analyzing real-time and embedded systems, but to support them. Hence...
  • Qsplat

  • Referenced in 33 articles [sw07699]
  • displaying large geometric models in real time. It was originally designed during the course ... features: Fast startup and progressive loading. Real-time interactive display with a user-selectable frame...
  • MoMM

  • Referenced in 34 articles [sw04655]
  • clause sets, and their use for real-time retrieval of matching clauses in an interactive...
  • PlanetMath

  • Referenced in 33 articles [sw23729]
  • subject category, in order to facilitate real-time discussion. The PlanetMath.org website is hosted...
  • MOCA

  • Referenced in 18 articles [sw02629]
  • multiprocessor on-line competitive algorithm for real-time system scheduling. We study competitive on-line ... scheduling in multiprocessor real-time environments. In our model, every task has a deadline ... guarantee that any on-line parallel real-time scheduler can give. Then we present ... known for competitive scheduling of multiprocessor real-time systems...
  • Cg

  • Referenced in 32 articles [sw14154]
  • like language. The latest real-time graphics architectures include programmable floating-point vertex and fragment...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • parametric verification and robustness analysis of real-time systems with parameters. It relies...
  • BraMBLe

  • Referenced in 27 articles [sw36453]
  • tracking system suitable for single-camera real-time surveillance applications. The first innovation...
  • YOLO

  • Referenced in 18 articles [sw28515]
  • state-of-the-art, real-time object detection system. YOLO: Real-Time Object Detection. Prior...
  • OSQP

  • Referenced in 27 articles [sw26960]
  • carried out, making it suitable for real-time applications in embedded systems. In addition...
  • ART 3

  • Referenced in 27 articles [sw08755]
  • sequences of asynchronous input patterns in real-time. The search process emerges when computational properties...
  • VEST

  • Referenced in 26 articles [sw01405]
  • must be tailored to meet many cost, time to market, performance, and dependability constraints. Building ... that non-functional properties such as real-time performance and dependability are being...
  • TIMES

  • Referenced in 25 articles [sw01403]
  • schedulability analysis tool for embedded real-time systems, developed at Uppsala University...
  • Bigtable

  • Referenced in 26 articles [sw27060]
  • requirements (from backend bulk processing to real-time data serving). Despite these varied demands, Bigtable...