Journal articles on the topic 'Execution trace analysis'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Execution trace analysis.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
LANGEVINE, LUDOVIC, and MIREILLE DUCASSÉ. "Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs." Theory and Practice of Logic Programming 8, no. 5-6 (November 2008): 581–609. http://dx.doi.org/10.1017/s147106840800344x.
JAHIER, ERWAN, and MIREILLE DUCASSÉ. "Generic program monitoring by trace analysis." Theory and Practice of Logic Programming 2, no. 4-5 (July 2002): 611–43. http://dx.doi.org/10.1017/s1471068402001461.
Simmons, Sharon, Dennis Edwards, and Phil Kearns. "Communication Analysis of Distributed Programs." Scientific Programming 14, no. 2 (2006): 151–70. http://dx.doi.org/10.1155/2006/763568.
Côté, Mathieu, and Michel R. Dagenais. "Problem Detection in Real-Time Systems by Trace Analysis." Advances in Computer Engineering 2016 (January 6, 2016): 1–12. http://dx.doi.org/10.1155/2016/9467181.
Al-Rousan, Thamer, and Hasan Abualese. "A new technique for understanding large-scale software systems." Telfor Journal 12, no. 1 (2020): 34–39. http://dx.doi.org/10.5937/telfor2001034a.
Ryan, Gabriel, Burcu Cetin, Yongwhan Lim, and Suman Jana. "Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (April 29, 2024): 810–32. http://dx.doi.org/10.1145/3649840.
Ma, Ming Yang, Yi Qiang Wang, Wei Luo, Er Hu Zhang, Chao Fu, and Li Xue Wang. "Fault Localization of CNC Software Based on Searching in Divided Execution Trace." Applied Mechanics and Materials 101-102 (September 2011): 876–79. http://dx.doi.org/10.4028/www.scientific.net/amm.101-102.876.
Cornelissen, Bas, Andy Zaidman, Danny Holten, Leon Moonen, Arie van Deursen, and Jarke J. van Wijk. "Execution trace analysis through massive sequence and circular bundle views." Journal of Systems and Software 81, no. 12 (December 2008): 2252–68. http://dx.doi.org/10.1016/j.jss.2008.02.068.
Gamino del Río, Iván, Agustín Martínez Hellín, Óscar R. Polo, Miguel Jiménez Arribas, Pablo Parra, Antonio da Silva, Jonatan Sánchez, and Sebastián Sánchez. "A RISC-V Processor Design for Transparent Tracing." Electronics 9, no. 11 (November 7, 2020): 1873. http://dx.doi.org/10.3390/electronics9111873.
Kabamba, Herve M., Matthew Khouzam, and Michel R. Dagenais. "Vnode: Low-Overhead Transparent Tracing of Node.js-Based Microservice Architectures." Future Internet 16, no. 1 (December 29, 2023): 13. http://dx.doi.org/10.3390/fi16010013.
Abbasi, Hossein, Naser Ezzati-Jivan, Martine Bellaiche, Chamseddine Talhi, and Michel R. Dagenais. "Machine Learning-Based EDoS Attack Detection Technique Using Execution Trace Analysis." Journal of Hardware and Systems Security 3, no. 2 (January 26, 2019): 164–76. http://dx.doi.org/10.1007/s41635-018-0061-2.
Kohyarnejadfard, Iman, Daniel Aloise, Michel R. Dagenais, and Mahsa Shakeri. "A Framework for Detecting System Performance Anomalies Using Tracing Data Analysis." Entropy 23, no. 8 (August 3, 2021): 1011. http://dx.doi.org/10.3390/e23081011.
Bai, Jin Rong, Guo Zhong Zou, and Shi Guang Mu. "Malware Analysis Platform Based on Secondary Development of Xen." Applied Mechanics and Materials 530-531 (February 2014): 865–68. http://dx.doi.org/10.4028/www.scientific.net/amm.530-531.865.
Ezzati-Jivan, Naser, Houssem Daoud, and Michel R. Dagenais. "Debugging of Performance Degradation in Distributed Requests Handling Using Multilevel Trace Analysis." Wireless Communications and Mobile Computing 2021 (November 16, 2021): 1–17. http://dx.doi.org/10.1155/2021/8478076.
Tariq, Zeeshan, Darryl Charles, Sally McClean, Ian McChesney, and Paul Taylor. "Anomaly Detection for Service-Oriented Business Processes Using Conformance Analysis." Algorithms 15, no. 8 (July 25, 2022): 257. http://dx.doi.org/10.3390/a15080257.
Finkbeiner, Bernd, Christopher Hahn, Marvin Stenger, and Leander Tentrup. "Efficient monitoring of hyperproperties using prefix trees." International Journal on Software Tools for Technology Transfer 22, no. 6 (February 20, 2020): 729–40. http://dx.doi.org/10.1007/s10009-020-00552-5.
Manap, Norpadzlihatun, Kavitha Sandirasegaran, Noor Shahifah Syahrom, and Amnorzahira Amir. "Analysis of Trace Metal Contamination in Pahang River and Kelantan River, Malaysia." MATEC Web of Conferences 266 (2019): 04003. http://dx.doi.org/10.1051/matecconf/201926604003.
Prylli, L., and B. Tourancheau. "Execution-Driven Simulation of Parallel Applications." Parallel Processing Letters 08, no. 01 (March 1998): 95–109. http://dx.doi.org/10.1142/s0129626498000122.
Singh, Amit Kumar, Muhammad Shafique, Akash Kumar, and Jorg Henkel. "Resource and Throughput Aware Execution Trace Analysis for Efficient Run-Time Mapping on MPSoCs." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 35, no. 1 (January 2016): 72–85. http://dx.doi.org/10.1109/tcad.2015.2446938.
WYLIE, BRIAN J. N., MARKUS GEIMER, BERND MOHR, DAVID BÖHME, ZOLTÁN SZEBENYI, and FELIX WOLF. "LARGE-SCALE PERFORMANCE ANALYSIS OF SWEEP3D WITH THE SCALASCA TOOLSET." Parallel Processing Letters 20, no. 04 (December 2010): 397–414. http://dx.doi.org/10.1142/s0129626410000314.
de la Fuente, Rene, Ricardo Fuentes, Jorge Munoz-Gama, Arnoldo Riquelme, Fernando R. Altermatt, Juan Pedemonte, Marcia Corvetto, and Marcos Sepúlveda. "Control-flow analysis of procedural skills competencies in medical training through process mining." Postgraduate Medical Journal 96, no. 1135 (November 27, 2019): 250–56. http://dx.doi.org/10.1136/postgradmedj-2019-136802.
Iqbal, Muhammad Munwar, Muhammad Ali, Mai Alfawair, Ahsan Lateef, Abid Ali Minhas, Abdulaziz Al Mazyad, and Kashif Naseer. "Augmenting High-Performance Mobile Cloud Computations for Big Data in AMBER." Wireless Communications and Mobile Computing 2018 (2018): 1–12. http://dx.doi.org/10.1155/2018/4796535.
Cuzzocrea, Alfredo, Francesco Folino, Massimo Guarascio, and Luigi Pontieri. "Deviance-Aware Discovery of High-Quality Process Models." International Journal on Artificial Intelligence Tools 27, no. 07 (November 2018): 1860009. http://dx.doi.org/10.1142/s0218213018600096.
Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, et al. "A survey of challenges for runtime verification from advanced application domains (beyond software)." Formal Methods in System Design 54, no. 3 (November 2019): 279–335. http://dx.doi.org/10.1007/s10703-019-00337-w.
Chen Kuang Piao, Yonni, Naser Ezzati-jivan, and Michel R. Dagenais. "Distributed Architecture for an Integrated Development Environment, Large Trace Analysis, and Visualization." Sensors 21, no. 16 (August 18, 2021): 5560. http://dx.doi.org/10.3390/s21165560.
ALPUENTE, M., F. FRECHINA, J. SAPIÑA, and D. BALLIS. "Assertion-based analysis via slicing withABETS(system description)." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 515–32. http://dx.doi.org/10.1017/s1471068416000375.
Schmitt, Felix, Robert Dietrich, and Guido Juckeland. "Scalable critical-path analysis and optimization guidance for hybrid MPI-CUDA applications." International Journal of High Performance Computing Applications 31, no. 6 (August 1, 2016): 485–98. http://dx.doi.org/10.1177/1094342016661865.
Mujumdar, Purva, and J. Uma Maheswari. "Alternate beeline diagramming method network analysis for interdependent design entities." Engineering, Construction and Architectural Management 26, no. 1 (February 18, 2019): 66–84. http://dx.doi.org/10.1108/ecam-07-2017-0112.
Lapkina, Anna Vadimovna, and Andrew Alexandrovitch Petukhov. "HTTP-Request Classification in Automatic Web Application Crawling." Proceedings of the Institute for System Programming of the RAS 33, no. 3 (2021): 77–86. http://dx.doi.org/10.15514/ispras-2021-33(3)-6.
Radenković, Uroš, Marko Mićović, and Zaharije Radivojević. "Evaluation and Benefit of Imprecise Value Prediction for Certain Types of Instructions." Electronics 12, no. 17 (August 24, 2023): 3568. http://dx.doi.org/10.3390/electronics12173568.
Cosimi, Francesco, Antonio Arena, Paolo Gai, and Sergio Saponara. "From SW Timing Analysis and Safety Logging to HW Implementation: A Possible Solution with an Integrated and Low-Power Logger Approach." Journal of Low Power Electronics and Applications 13, no. 4 (November 2, 2023): 59. http://dx.doi.org/10.3390/jlpea13040059.
Souprayen, Balamurugan, Ayyasamy Ayyanar, and Suresh Joseph K. "Optimization of C5.0 Classifier With Bayesian Theory for Food Traceability Management Using Internet of Things." International Journal of Smart Sensor Technologies and Applications 1, no. 1 (January 2020): 1–21. http://dx.doi.org/10.4018/ijssta.2020010101.
Sun, Tao, and Xinming Ye. "A Model Reduction Method for Parallel Software Testing." Journal of Applied Mathematics 2013 (2013): 1–13. http://dx.doi.org/10.1155/2013/595897.
Rashidi, Amirreza, Jolanta Tamošaitienė, Mehdi Ravanshadnia, and Hadi Sarvari. "A Scientometric Analysis of Construction Bidding Research Activities." Buildings 13, no. 1 (January 12, 2023): 220. http://dx.doi.org/10.3390/buildings13010220.
Chung, Jinsuk, Ikhwan Lee, Michael Sullivan, Jee Ho Ryoo, Dong Wan Kim, Doe Hyun Yoon, Larry Kaplan, and Mattan Erez. "Containment Domains: A Scalable, Efficient and Flexible Resilience Scheme for Exascale Systems." Scientific Programming 21, no. 3-4 (2013): 197–212. http://dx.doi.org/10.1155/2013/473915.
Younan, Simon, and David R. Novog. "Development and Testing of TRACE/PARCS ECI Capability for Modelling CANDU Reactors with Reactor Regulating System Response." Science and Technology of Nuclear Installations 2022 (March 27, 2022): 1–31. http://dx.doi.org/10.1155/2022/7500629.
Grossmann, Georg, Shamila Mafazi, Wolfgang Mayer, Michael Schrefl, and Markus Stumptner. "Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes." International Journal of Cooperative Information Systems 24, no. 01 (March 2015): 1540002. http://dx.doi.org/10.1142/s021884301540002x.
Pegoraro, Marco, Merih Seran Uysal, and Wil M. P. van der Aalst. "Efficient Time and Space Representation of Uncertain Event Data." Algorithms 13, no. 11 (November 9, 2020): 285. http://dx.doi.org/10.3390/a13110285.
Heimann, Peter, Carl-Arndt Krapp, Bernhard Westfechtel, and Gregor Joeris. "Graph-Based Software Process Management." International Journal of Software Engineering and Knowledge Engineering 07, no. 04 (December 1997): 431–55. http://dx.doi.org/10.1142/s0218194097000254.
Askanius, Tina. "On Frogs, Monkeys, and Execution Memes: Exploring the Humor-Hate Nexus at the Intersection of Neo-Nazi and Alt-Right Movements in Sweden." Television & New Media 22, no. 2 (January 22, 2021): 147–65. http://dx.doi.org/10.1177/1527476420982234.
Solovev, Mikhail Aleksandrovich, Maksim Gennadevich Bakulin, Sergei Sergeevich Makarov, Dmitrii Valerevich Manushin, and Vartan Andronikovich Padaryan. "Practical Abstract Interpretation of Binary Code." Proceedings of the Institute for System Programming of the RAS 32, no. 6 (2020): 101–10. http://dx.doi.org/10.15514/ispras-2020-32(6)-8.
Yang, Xiaodong, Omar Ali Beg, Matthew Kenigsberg, and Taylor T. Johnson. "A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces." ACM Transactions on Cyber-Physical Systems 6, no. 2 (April 30, 2022): 1–24. http://dx.doi.org/10.1145/3470455.
Nebesnaya, A. "IMPROVING THE DEVELOPMENT OF TOURISM INFRASTRUCTURE IN THE REGION." Actual directions of scientific researches of the XXI century: theory and practice 11, no. 4 (December 29, 2023): 128–41. http://dx.doi.org/10.34220/2308-8877-2023-11-4-128-141.
Sayadi, Hossein, Yifeng Gao, Hosein Mohammadi Makrani, Jessica Lin, Paulo Cesar Costa, Setareh Rafatirad, and Houman Homayoun. "Towards Accurate Run-Time Hardware-Assisted Stealthy Malware Detection: A Lightweight, yet Effective Time Series CNN-Based Approach." Cryptography 5, no. 4 (October 17, 2021): 28. http://dx.doi.org/10.3390/cryptography5040028.
Pani, Santosh Kumar, and G. B. Mund. "Property Based Dynamic Slicing of Object Oriented Programs." International Journal of Software Engineering and Technologies (IJSET) 1, no. 2 (August 1, 2016): 69. http://dx.doi.org/10.11591/ijset.v1i2.4570.
Yang, Zhixin, Wei Xu, Pak-Kin Wong, and Xianbo Wang. "Modeling of RFID-Enabled Real-Time Manufacturing Execution System in Mixed-Model Assembly Lines." Mathematical Problems in Engineering 2015 (2015): 1–15. http://dx.doi.org/10.1155/2015/575402.
Вера Александровна, Щетнева,. "POLITICAL, LEGAL AND ORGANIZATIONAL TENDENSIES IN THE EXECUTION OF PUNISHMENT IN THE FORM OF IMPRISONMENT IN RELATION TO CONVICTED WOMEN IN POST-SOVIET CORRECTIONAL COLONIES PERIOD." Vestnik Samarskogo iuridicheskogo instituta, no. 5(51) (December 20, 2022): 71–78. http://dx.doi.org/10.37523/sui.2022.51.5.012.
Dushku, Edlira, Jeppe Hagelskjær Østergaard, and Nicola Dragoni. "Memory Offloading for Remote Attestation of Multi-Service IoT Devices." Sensors 22, no. 12 (June 8, 2022): 4340. http://dx.doi.org/10.3390/s22124340.
Shaduntc, Elena. "The Middle Ages in the Landscape of the Present-Day Pereslavl-Zalessky." ISTORIYA 12, no. 9 (107) (2021): 0. http://dx.doi.org/10.18254/s207987840017120-1.
Ang, Zhendong, and Umang Mathur. "Predictive Monitoring against Pattern Regular Languages." Proceedings of the ACM on Programming Languages 8, POPL (January 5, 2024): 2191–225. http://dx.doi.org/10.1145/3632915.