„Real-Time Operating System“

Suchergebnisse

317 Treffer

• Verification and abstraction of real-time variability-intensive systems
  Cordy, Maxime ; Legay, Axel
• A general framework for real-time analysis of massive multimedia streams
  Bartolini, Ilaria ; Patella, Marco
• Novel routing protocol scheme for real-time applications in mobile Ad Hoc networks
  Lee, Dong Chun ; Lee, Do Hyeon
• A real-time operating system supporting distributed shared memory for embedded control systems
  Tamura, Yuji ; Doan, Truong Thi ; Chiba, Takahiro ; Yoo, Myungryun ; Yokoyama, Takanori
• High-assurance timing analysis for a high-assurance real-time operating system
  Sewell, Thomas ; Kam, Felix ; Heiser, Gernot
• An integrated rule based intrusion detection system: analysis on UNSW-NB15 data set and the real time online dataset
  Kumar, Vikash ; Sinha, Ditipriya ; Das, Ayan Kumar ; Pandey, Subhash Chandra ; Goswami, Radha Tamal
• A method for real-time dynamic fleet mission planning for autonomous mining
  Wahde, Mattias ; Bellone, Mauro ; Torabi, Sina
• Search, Abstractions and Learning in Real-Time Strategy Games – A Dissertation Summary
  Barriga, Nicolas A.
• Security aware dynamic scheduling algorithm (SADSA) for real-time applications on grid
  Singh, Surendra ; Batabyal, Suvadip ; Tripathi, Sachin
• A real-time 3D video analyzer for enhanced 3D audio–visual systems
  Jeong, Sangoh ; Kim, Hyun-Soo ; Kim, KyuWoon ; Jeon, Byeong-Moon ; Won, Joong-Ho
• Jitter minimization in scheduling computations in real-time systems
  Kolesov, N. V. ; Tolmacheva, M. V. ; Yukhta, P. V.
• Scenario-based verification of real-time systems using Uppaal
  Li, Shuhao ; Balaguer, Sandie ; David, Alexandre ; Larsen, Kim G. ; Nielsen, Brian ; Pusinskas, Saulius
• Auto-scaling for real-time stream analytics on HPC cloud
  Cheng, Yingchao ; Hao, Zhifeng ; Cai, Ruichu
• Minimum and maximum delay problems in real-time systems
  Courcoubetis, Costas ; Yannakakis, Mihalis
• Efficient Processing of Client Transactions in Real-Time
  Kanitkar, Vinay ; Delis, Alex
• Verification of Real-Time Systems using Linear Relation Analysis
  Halbwachs, Nicolas ; Proy, Yann-Erick ; Roumanoff, Patrick
• A sequential real-time refinement calculus
  Hayes, Ian J. ; Utting, Mark
• Runtime verification of embedded real-time systems
  Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg
• The Personal Presence System: a wide-area network resource for the real-time composition of multipoint multimedia communications
  Boyer, David G. ; Lukacs, Michael E.
• Multi-objective scheduling for real-time data warehouses
  Thiele, Maik ; Bader, Andreas ; Lehner, Wolfgang