Results 21 to 40 of 1054
Sort by:

  • 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...