„Programming Language.“

Suchergebnisse

8.545 Treffer

• Runtime verification of real-time event streams under non-synchronized arrival
  Leucker, Martin ; Sánchez, César ; Scheffel, Torben ; Schmitz, Malte ; Schramm, Alexander
• Increasing validity through replication: an illustrative TDD case
  Santos, Adrian ; Vegas, Sira ; Uyaguari, Fernando ; Dieste, Oscar ; Turhan, Burak ; Juristo, Natalia
• An end-to-end deep learning model for human activity recognition from highly sparse body sensor data in Internet of Medical Things environment
  Hassan, Mohammad Mehedi ; Ullah, Sana ; Hossain, M. Shamim ; Alelaiwi, Abdulhameed
• Evaluating the computational performance of the Xilinx Ultrascale+ EG Heterogeneous MPSoC
  Belloch, Jose A. ; León, Germán ; Badía, José M. ; Lindoso, Almudena ; San Millan, Enrique
• Editor’s note
• Editor’s note
• Editor’s note
• Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development
  Leotta, Maurizio ; Cerioli, Maura ; Olianas, Dario ; Ricca, Filippo
• A public unified bug dataset for java and its assessment regarding metrics and bug prediction
  Ferenc, Rudolf ; Tóth, Zoltán ; Ladányi, Gergely ; Siket, István ; Gyimóthy, Tibor
• A Riccati-type algorithm for solving generalized Hermitian eigenvalue problems
  Miyata, Takafumi
• An adaptive failure recovery mechanism based on asymmetric routing for data center networks
  Liu, Yong ; Gu, Huaxi ; Wang, Kun ; Yu, Xiaoshan ; Wang, Yunhao
• High-performance and deep pedestrian detection based on estimation of different parts
  Saeidi, Mahmoud ; Ahmadi, Ali
• From model to implementation: a network algorithm programming language
  Wang, Jian ; An, Jie ; Chen, Mingshuai ; Zhan, Naijun ; Wang, Lulin ; Zhang, Miaomiao ; Gan, Ting
• Deployment of real-time systems in the cloud environment
  Min-Allah, Nasro ; Qureshi, Muhammad Bilal ; Jan, Farmanullah ; Alrashed, Saleh ; Taheri, Javid
• Applying the swept rule for solving explicit partial differential equations on heterogeneous computing systems
  Magee, Daniel J. ; Walker, Anthony S. ; Niemeyer, Kyle E.
• A dynamic priority strategy for IoV data scheduling towards key data
  Huang, Chenxi ; Wang, Hao ; Guo, Dong ; Zhang, Guokai ; Xu, Gaowei ; Zhou, Wen ; Cheng, Yongqiang ; Peng, Yonghong ; Xia, Kaijian ; Lin, Fan
• Research on navigation of bidirectional A* algorithm based on ant colony algorithm
  Chen, Yu-qiang ; Guo, Jian-lan ; Yang, Huaide ; Wang, Zheng-qin ; Liu, Hong-ling
• An AI-based intelligent system for healthcare analysis using Ridge-Adaline Stochastic Gradient Descent Classifier
  Deepa, N. ; Prabadevi, B. ; Maddikunta, Praveen Kumar ; Gadekallu, Thippa Reddy ; Baker, Thar ; Khan, M. Ajmal ; Tariq, Usman
• Editor’s note
• Editor’s note