|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9030 occurrences of 3583 keywords
|
|
|
Results
Found 12890 publication records. Showing 12890 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 36(1), pp. 4:1-4:46, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller |
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 36(1), pp. 2:1-2:24, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh |
Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 21(1), pp. 12-30, January - February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Juan Fumero, Athanasios Stratikopoulos, Christos Kotselidis |
Programming Heterogeneous Hardware via Managed Runtime Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2024 |
DOI RDF |
|
9 | Dimosthenis Iliadis-Apostolidis, Khalid Manaa, Matty Kadosh, Iacovos Ioannou, Vasos Vassiliou, Sokol Kosta, Juan Jose Vegas Olmos |
Towards Accelerating the Network Performance on DPUs by optimising the P4 runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 32nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2024, Dublin, Ireland, March 20-22, 2024, pp. 238-244, 2024, IEEE, 979-8-3503-6307-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Javier Rubio, Carlos Bilbao, Juan Carlos Saez, Manuel Prieto-Matías |
Exploiting Elasticity via OS-Runtime Cooperation to Improve CPU Utilization in Multicore Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 32nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2024, Dublin, Ireland, March 20-22, 2024, pp. 35-43, 2024, IEEE, 979-8-3503-6307-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Silvio Cretti, Marco Zambianco, Domenico Siracusa |
Demonstrating Runtime Microservice Rescheduling in Hybrid Clouds for Cost Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 27th Conference on Innovation in Clouds, Internet and Networks, ICIN 2024, Paris, France, March 11-14, 2024, pp. 103-105, 2024, IEEE, 979-8-3503-9376-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Marco Zambianco, Silvio Cretti, Domenico Siracusa |
Cost Minimization in Multi-cloud Systems with Runtime Microservice Re-orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIN ![In: 27th Conference on Innovation in Clouds, Internet and Networks, ICIN 2024, Paris, France, March 11-14, 2024, pp. 65-72, 2024, IEEE, 979-8-3503-9376-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Dongjoon Park, André DeHon |
REFINE: Runtime Execution Feedback for INcremental Evolution on FPGA Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024, pp. 108-118, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ryan Swann, Muhammad Osama, Karthik Sangaiah, Jalal Mahmud |
Seer: Predictive Runtime Kernel Selection for Irregular Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024, pp. 133-142, 2024, IEEE, 979-8-3503-9509-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Praanav Paatil, Daryna Datsenko, Mário Cardoso, Ana Sousa, André Matos Pedro |
STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: 16th International Conference on COMmunication Systems & NETworkS, COMSNETS 2024, Bengaluru, India, January 3-7, 2024, pp. 1106-1111, 2024, IEEE, 979-8-3503-8311-9. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Marc Carwehl, Thomas Vogel 0001, Genaína Nunes Rodrigues, Lars Grunske |
Runtime Verification of Self-Adaptive Systems with Changing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, pp. 151-152, 2024, Gesellschaft für Informatik e.V., 978-3-88579-737-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Qinzhe Wu, Ruihao Li 0002, Jonathan Beard, Lizy Kurian John |
BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, CC 2024, Edinburgh, United Kingdom, March 2-3, 2024, pp. 100-112, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Pekka Enberg, Sasu Tarkoma, Jon Crowcroft, Ashwin Rao |
Serverless Runtime / Database Co-Design With Asynchronous I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EdgeSys@EuroSys ![In: Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, EdgeSys 2024, Athens, Greece, 22 April 2024, pp. 49-54, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Olaf Beyersdorff, Benjamin Böhm 0001, Meena Mahajan |
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 7943-7951, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Weijie Zheng 0001, Benjamin Doerr |
Runtime Analysis of the SMS-EMOA for Many-Objective Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 20874-20882, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Benjamin Doerr, Aymen Echarghaoui, Mohammed Jamal, Martin S. Krejca |
Runtime Analysis of the (μ + 1) GA: Provable Speed-Ups from Strong Drift towards Diverse Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 20683-20691, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Nobutaka Kawaguchi, Charlie Hart |
On the Deployment Control and Runtime Monitoring of Containers Based on Consumer Side SBOMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 21st IEEE Consumer Communications & Networking Conference, CCNC 2024, Las Vegas, NV, USA, January 6-9, 2024, pp. 1022-1025, 2024, IEEE, 979-8-3503-0457-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Chien-Yu Lu, Bo-Jr Huang, Min-Chieh Chen, Ollie Tsai, Alfred Tsai, Eric Jia-Wei Fang, Yuju Cho, Harry H. Chen, Ping Kao, Ericbill Wang, Hugh Mair, Shih-Arn Hwang |
14.4 A Fully Digital Current Sensor Offering Per-Core Runtime Power for System Budgeting in a 4nm-Plus Octa-Core CPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: IEEE International Solid-State Circuits Conference, ISSCC 2024, San Francisco, CA, USA, February 18-22, 2024, pp. 260-262, 2024, IEEE, 979-8-3503-0620-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jonathan Will, Dominik Scheinert, Seraphin Zunzer, Jan Bode, Cedric Kring, Lauritz Thamsen |
Privacy-Preserving Sharing of Data Analytics Runtime Metrics for Performance Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE (Companion) ![In: Companion of the 15th ACM/SPEC International Conference on Performance Engineering, ICPE 2024, London, United Kingdom, May 7-11, 2024, pp. 269-272, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Federico Di Menna, Luca Traini, Vittorio Cortellessa |
Time Series Forecasting of Runtime Software Metrics: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE ![In: Proceedings of the 15th ACM/SPEC International Conference on Performance Engineering, ICPE 2024, London, United Kingdom, May 7-11, 2024, pp. 48-59, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ruichao Liang, Jing Chen 0003, Kun He 0008, Yueming Wu, Gelei Deng, Ruiying Du, Cong Wu 0003 |
PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, pp. 64:1-64:12, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Pingchuan Ma 0004, Zhenlan Ji, Peisen Yao, Shuai Wang 0011, Kui Ren 0001 |
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, pp. 30:1-30:13, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Francesco Lattari, Matteo Matteucci, Danilo Ardagna |
AI-SPRINT: Design and Runtime Framework for Accelerating the Development of AI Applications in the Computing Continuum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (5) ![In: Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 5, pp. 171-181, 2024, Springer, 978-3-031-57930-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Luís Nascimento, André Luíz de Oliveira, Regina Villela 0001, Ran Wei, Richard Hawkins, Tim Kelly |
From Fault Tree Analysis to Runtime Model-Based Assurance Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 2, pp. 451-464, 2024, Springer, 978-3-031-57852-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Subashiny Tanigassalame, Yohan Pipereau, Adam Chader, Jana Toljaga, Gaël Thomas 0001 |
FastSGX: A Message-Passing Based Runtime for SGX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (4) ![In: Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 4, pp. 74-85, 2024, Springer, 978-3-031-57915-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
TP-DejaVu: Combining Operational and Declarative Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (2) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, pp. 249-263, 2024, Springer, 978-3-031-50520-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Jesko Hecking-Harbusch, Jochen Quante, Maximilian Schlund |
Formal Runtime Error Detection During Development in the Automotive Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (1) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I, pp. 3-26, 2024, Springer, 978-3-031-50523-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani |
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Companion) ![In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024, Boulder, CO, USA, March 11-15, 2024, pp. 172-176, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Eren Yildiz, Khakim Akhunov, Lorenzo Antonio Riva, Arda Goknil, Ivan Kurtev, Kasim Sinan Yildirim |
Adaptable Runtime Monitoring for Intermittent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024, pp. 1175-1191, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Armand Behroozi, Yuxiang Chen, Vlad Fruchter, Lavanya Subramanian, Sriseshan Srikanth, Scott A. Mahlke |
SlimSLAM: An Adaptive Runtime for Visual-Inertial Simultaneous Localization and Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (3) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 900-915, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles A. Pokam, Heiner Litz, Joseph Devietti |
RPG2: Robust Profile-Guided Runtime Prefetch Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 999-1013, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Mohannad Ismail, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min, Wenjie Xiong 0001 |
Enforcing C/C++ Type and Scope at Runtime for Control-Flow and Data-Flow Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (3) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 283-300, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Yliès Falcone, Gwen Salaün, Ahang Zuo |
Probabilistic Runtime Enforcement of Executable BPMN Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, pp. 56-76, 2024, Springer, 978-3-031-57258-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
9 | Ryan G. Scott, Mike Dodds, Ivan Perez 0001, Alwyn E. Goodloe, Robert Dockins |
Trustworthy Runtime Verification via Bisimulation (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 305-321, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Xiaoyu Chen, Xiaoning Kang, Ran Jin, Xinwei Deng |
Bayesian Sparse Regression for Mixed Multi-Responses with Application to Runtime Metrics Prediction in Fog Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Technometrics ![In: Technometrics 65(2), pp. 206-219, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Xinsheng Lai, Yuren Zhou |
Runtime analysis of some hybrid algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 35(19), pp. 14153-14167, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Yanfei Peng, Guozhen Tan, Huaiwei Si |
RTA-IR: A runtime assurance framework for behavior planning based on imitation learning and responsibility-sensitive safety model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 232, pp. 120824, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Yongan Mu, Wei Liu, Tao Lu, Juan Li, Sheng Gao, Zihao Wang |
Runtime verification of self-adaptive multi-agent system using probabilistic timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(6), pp. 10305-10322, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Sumeet Singh Nagi, Uneeb Rathore, Krutikesh Sahoo, Tim Ling, Subramanian S. Iyer, Dejan Markovic |
A 16-nm 784-Core Digital Signal Processor Array, Assembled as a 2 × 2 Dielet With 10-μm Pitch Interdielet I/O for Runtime Multiprogram Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 58(1), pp. 111-123, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Jason Mars, Yiping Kang, Roland Daynauth, Baichuan Li, Ashish Mahendra, Krisztián Flautner, Lingjia Tang |
The Jaseci Programming Paradigm and Runtime Stack: Building Scale-Out Production Applications Easy and Fast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 22(2), pp. 101-104, July - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Soohyun Park, Hao Feng 0002, Chanyoung Park, Youn Kyu Lee, Soyi Jung, Joongheon Kim |
EQuaTE: Efficient Quantum Train Engine for Runtime Dynamic Analysis and Visual Feedback in Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 27(5), pp. 24-31, September - October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Benjamin Doerr, Zhongdi Qu |
A First Runtime Analysis of the NSGA-II on a Multimodal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 27(5), pp. 1288-1297, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
Industrial Control Systems Security via Runtime Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Priv. Secur. ![In: ACM Trans. Priv. Secur. 26(1), pp. 4:1-4:41, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Alex R. Bucknall, Suhaib A. Fahmy |
ZyPR: End-to-end Build Tool and Runtime Manager for Partial Reconfiguration of FPGA SoCs at the Edge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Reconfigurable Technol. Syst. ![In: ACM Trans. Reconfigurable Technol. Syst. 16(3), pp. 34:1-34:33, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Lucas Bragança, Michael Canesche, Jeronimo Costa Penha, Josué Campos, José Augusto Miranda Nacif, Ricardo S. Ferreira 0001 |
Fast flow cloud: A stream dataflow framework for cloud FPGA accelerator overlays at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 35(17), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Dongil Hwang, Sanzhar Yeleuov, Jiwon Seo, Minu Chung, Hyungon Moon, Yunheung Paek |
Ambassy: A Runtime Framework to Delegate Trusted Applications in an ARM/FPGA Hybrid System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 22(2), pp. 708-719, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Lok-Won Kim, Quang Hieu Vo, Choong Seon Hong |
Runtime Testability on Autonomous System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 72(1), pp. 274-288, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Yuhao Liu, Shubham Rai, Salim Ullah, Akash Kumar 0001 |
High-Flexibility Designs of Quantized Runtime Reconfigurable Multi-Precision Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 15(4), pp. 194-197, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Hassan Nassar, Lars Bauer, Jörg Henkel |
Effects of Runtime Reconfiguration on PUFs Implemented as FPGA-Based Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 15(4), pp. 174-177, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Mengqi Zhan, Yang Li, Huiran Yang, Guangxi Yu, Bo Li 0063, Weiping Wang 0005 |
Coda: Runtime Detection of Application-Layer CPU-Exhaustion DoS Attacks in Containers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(3), pp. 1686-1697, May - June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Björn Rafn Gunnarsson, Seppe vanden Broucke, Jochen De Weerdt |
A Direct Data Aware LSTM Neural Network Architecture for Complete Remaining Trace and Runtime Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 16(4), pp. 2330-2342, July - August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Christoph Gärtner, Amr Rizk, Boris Koldehofe, René Guillaume, Ralf Kundel, Ralf Steinmetz |
Fast incremental reconfiguration of dynamic time-sensitive networks at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 224, pp. 109606, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Michal Kucab, Piotr Borylo, Piotr Cholda |
Hardware-Assisted Static and Runtime Attestation for Cloud Deployments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 11(4), pp. 3750-3765, October - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Zisis Flokas, Anastasios Gounaris |
Engineering Runtime Root Cause Analysis of Detected Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Large Scale Data Knowl. Centered Syst. ![In: Transactions on Large-Scale Data-and Knowledge-Centered Systems LV, pp. 64-86, 2023, Springer, 978-3-662-68099-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Tiago Carvalho, João Bispo, Pedro Pinto 0002, João M. P. Cardoso |
A DSL-based runtime adaptivity framework for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 23, pp. 101496, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Garrett Parker, Samuel Kim, Abdullah Al Maruf, Tomás Cerný, Karel Frajták, Pavel Tisnovsky, Davide Taibi 0001 |
Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 4434-4442, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Seungmin Lee, Jisu Kwon, Daejin Park |
Runtime Tracking-Based Replication of On-Chip Embedded Software Using Transfer Function Learning for Dust Particle Sensing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 32167-32175, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Jeonggyu Jang, Hoeseok Yang |
A Runtime Switchable Multi-Phase Convolutional Neural Network for Resource-Constrained Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 62449-62461, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Luis Miguel Danielsson, César Sánchez 0001 |
Decentralized Stream Runtime Verification for Timed Asynchronous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 84091-84112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Hongyan Li, Hang Lu, Haoxuan Wang, Shengji Deng, Xiaowei Li 0001 |
BitXpro: Regularity-Aware Hardware Runtime Pruning for Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 31(1), pp. 90-103, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Marcos Maroñas, Antoni C. Navarro, Eduard Ayguadé, Vicenç Beltran 0001 |
Mitigating the NUMA effect on task-based runtime systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(13), pp. 14287-14312, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Fengxian Chen |
Job runtime prediction of HPC cluster based on PC-Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(17), pp. 20208-20234, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Polykarpos Thomadakis, Nikos Chrisochoides |
Toward runtime support for unstructured and dynamic exascale-era applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(8), pp. 9245-9272, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli |
Runtime System Support for CPS Software Rejuvenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 11(3), pp. 594-604, July - September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi |
Decentralized runtime verification of message sequences in message-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 60(2), pp. 145-178, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
On first-order runtime enforcement of branching-time properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 60(4), pp. 385-451, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Hassan Afzali-Kusha, Massoud Pedram |
X-NVDLA: Runtime Accuracy Configurable NVDLA Based on Applying Voltage Overscaling to Computing and Memory Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(5), pp. 1989-2002, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Pedro Tauã Lopes Pereira, Guilherme Paim, Eduardo Antônio César da Costa, Sérgio Jose Melo de Almeida, Sergio Bampi |
ReAdapt: A Reconfigurable Datapath for Runtime Energy-Quality Scalable Adaptive Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 70(1), pp. 327-339, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Andreas Kipf |
Technical Perspective: Revisiting Runtime Dynamic Optimization for Join Queries in Big Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 52(1), pp. 103, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Christina Pavlopoulou, Michael J. Carey 0001, Vassilis J. Tsotras |
Revisiting Runtime Dynamic Optimization for Join Queries in Big Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 52(1), pp. 104-113, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid 0001, Anja Feldmann |
Runtime Verification for Programmable Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 31(4), pp. 1822-1837, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Weijie Zheng 0001, Benjamin Doerr |
Mathematical runtime analysis for the non-dominated sorting genetic algorithm II (NSGA-II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 325, pp. 104016, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Fabian Knorr, Peter Thoman, Thomas Fahringer |
Declarative Data Flow in a Graph-Based Distributed Memory Runtime System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 51(2-3), pp. 150-171, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Qiang Liu 0011, Yuhui Hao, Weizhuang Liu, Bo Yu 0014, Yiming Gan, Jie Tang 0003, Shaoshan Liu, Yuhao Zhu 0001 |
An Energy Efficient and Runtime Reconfigurable Accelerator for Robotic Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(7), pp. 1943-1957, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Lidia Bononi Paiva Tomaz, Rita Maria da Silva Julia, Matheus Prado Prandini Faria |
ADABA: improving the balancing between runtime and accuracy in a new distributed version of the alpha-beta algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 56(5), pp. 4255-4293, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Bin Yu 0008, Cong Tian, Xu Lu 0003, Nan Zhang 0001, Zhenhua Duan |
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 34(1), pp. 76-91, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Weidong Wang, Dian Li, Wangda Luo, Yujian Kang, Liqiang Wang |
Anthropomorphic diagnosis of runtime hidden behaviors in OpenMP multi-threaded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 177, pp. 17-27, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Wenxiang Yang, Xiangke Liao, Dezun Dong, Jie Yu 0006 |
Exploring job running path to predict runtime on multiple production supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 175, pp. 109-120, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Rania Taleb, Sylvain Hallé, Raphaël Khoury |
Uncertainty in runtime verification: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Rev. ![In: Comput. Sci. Rev. 50, pp. 100594, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Siamak Azadiabad, Ferhat Khendek, Maria Toeroe |
Runtime Adaptation Framework for Fulfilling Availability and Continuity Requirements of Network Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 20(3), pp. 2259-2282, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Bin Yu 0008, Xu Lu 0003, Cong Tian, Meng Wang 0021, Chu Chen, Ming Lei 0003, Zhenhua Duan |
Adaptively parallel runtime verification based on distributed network for temporal properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 117, pp. 103034, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11), pp. 3679-3692, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Kejun Chen, Orlando Arias, Xiaolong Guo, Qingxu Deng, Yier Jin |
IP-Tag: Tag-Based Runtime 3PIP Hardware Trojan Detection in SoC Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(1), pp. 68-81, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Yuxuan Qin, Chuxiong Lin, Weifeng He, Yanan Sun 0003, Zhigang Mao, Mingoo Seok |
CDAR-DRAM: Enabling Runtime DRAM Performance and Energy Optimization via In-Situ Charge Detection and Adaptive Data Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(9), pp. 3078-3091, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Seungkyu Choi, Jaekang Shin, Lee-Sup Kim |
Accelerating On-Device DNN Training Workloads via Runtime Convergence Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5), pp. 1574-1587, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Petros Anastasiadis, Nikela Papadopoulou, Georgios I. Goumas, Nectarios Koziris, Dennis Hoppe, Li Zhong |
PARALiA: A Performance Aware Runtime for Auto-tuning Linear Algebra on Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 20(4), pp. 52:1-52:25, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra |
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 18(3), pp. 12:1-12:32, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov |
Runtime Verification of Operating Systems Based on Abstract Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 49(7), pp. 559-565, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Jyotirmoy Deshmukh, Dejan Nickovic |
Introduction to the Special Issue on Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(4), pp. 427-429, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Lu Feng 0001, Dana Fisman |
Introduction to the Special Issue on Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(4), pp. 519-520, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
Concurrent runtime verification of data rich events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(4), pp. 481-501, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Chih-Hsuan Yen, Hashan Roshantha Mendis, Tei-Wei Kuo, Pi-Cheng Hsiu |
Keep in Balance: Runtime-reconfigurable Intermittent Deep Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 124:1-124:25, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Mina Niknafs, Petru Eles, Zebo Peng |
Runtime Resource Management with Multiple-Step-Ahead Workload Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(4), pp. 71:1-71:34, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Elliott Wen, Gerald Weber, Suranga Nanayakkara |
WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(1), pp. 4:1-4:19, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Toygun Basaklar, A. Alper Goksoy, Anish Krishnakumar, Suat Gumussoy, Ümit Y. Ogras |
DTRL: Decision Tree-based Multi-Objective Reinforcement Learning for Runtime Task Scheduling in Domain-Specific System-on-Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 113:1-113:22, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Joshua Mack, Md Sahil Hassan, Nirmal Kumbhare, Miguel Castro-Gonzalez, Ali Akoglu |
CEDR: A Compiler-integrated, Extensible DSSoC Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(2), pp. 36:1-36:34, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Ying Wang 0038, Yibo Wang, Sinan Wang, Yepang Liu 0001, Chang Xu 0001, Shing-Chi Cheung, Hai Yu 0001, Zhiliang Zhu 0001 |
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(1), pp. 185-210, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Jakob Svennevik Notland, Mariusz Nowostawski, Jingyue Li |
Runtime Evolution of Bitcoin's Consensus Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(9), pp. 4477-4495, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
9 | Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo |
Runtime Verification of Crypto APIs: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(10), pp. 4510-4525, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|