Mobicomonkey: context testing of Android apps by Ami, Amit Seal, Hasan, Md. Mehedi, Rahman, Md. Rayhanur, Sakib, Kazi

Get full text

A Cross-Linguistic Semantic Study with Large Language Models: Translating Core Concepts and Historical Names in The Analects by Yang, Liwei, Zhou, Guijun

AADL modelling with SysML v2 by Roger, Jean-Charles, Dissaux, Pierre

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed by Georgakoudis, Giorgis, Laguna, Ignacio, Nikolopoulos, Dimitrios S., Schulz, Martin

Exploiting learning and scenario-based specification languages for the verification and validation of highly automated driving by Damm, Werner, Galbas, Roland

Get full text

Motion doodles: an interface for sketching character motion by Thorne, Matthew, Burke, David, van de Panne, Michiel

Performance and Accuracy in Soft-Error Resilience Evaluation using the Multi-Level Processor Simulator ETISS-ML by Mueller-Gritschneder, Daniel, Sharif, Uzair, Schlichtmann, Ulf

Energy Efficiency Boost in the AI-Infused POWER10 Processor by Thompto, Brian W., Nguyen, Dung Q., Moreira, Jose E., Bertran, Ramon, Jacobson, Hans, Eickemeyer, Richard J., Rao, Rahul M., Goulet, Michael, Byers, Marcy, Gonzalez, Christopher J., Swaminathan, Karthik, Dhanwada, Nagu R., Muller, Silvia M., Wagner, Andreas, Sadasivam, Satish Kumar, Montoye, Robert K., Starke, William J., Zoellin, Christian G., Floyd, Michael S., Stuecheli, Jeffrey, Chandramoorthy, Nandhini, Wellman, John-David, Buyuktosunoglu, Alper, Pflanz, Matthias, Sinharoy, Balaram, Bose, Pradip

An analysis of random cache effects on real-time multi-core scheduling algorithms by Hafnaoui, Imane, Chen, Chao, Ayari, Rabeh, Nicolescu, Gabriela, Beltrame, Giovanni

Visual Analytics Challenges and Trends in the Age of AI: The BigVis Community Perspective by Bikakis, Nikos, Chrysanthis, Panos K., Li, Guoliang, Papastefanatos, George, Yu, Lingyun

An Empirical Study of Energy Consumption in Distributed Simulations by Fujimoto, Richard, Biswas, Aradhya

Comparative Benchmarking of Utility-Scale Quantum Emulators by Leonteva, Anna, Masella, Guido, Outteryck, Maxime, Peiro Orioli, Asier, Whitlock, Shannon

Special Issue on The Workshop on MAthematical performance Modeling and Analysis (MAMA 2025) by Squillante, Mark S.

A Comprehensive Memory Modeling Tool and Its Application to the Design and Analysis of Future Memory Hierarchies by Thoziyoor, Shyamkumar, Ahn, Jung Ho, Monchiero, Matteo, Brockman, Jay B., Jouppi, Norman P.

Models for Throughput Maximisation in Distributed Systems by Olliaro, Diletta

Scaling the Leading Accuracy of Deep Equivariant Models to Biomolecular Simulations of Realistic Size by Musaelian, Albert, Batzner, Simon, Johansson, Anders, Kozinsky, Boris

Easing the development of HLA Federates: the HLA Development Kit and its exploitation in the SEE Project by Falcone, Alberto, Garro, Alfredo, Anagnostou, Anastasia, Chaudhry, Nauman R., Salah, Omar-Alfred, Taylor, Simon J. E.

Special Issue on The Workshop on MAthematical performance Modeling and Analysis (MAMA 2024) by Squillante, Mark S.

Modeling ROS Based Applications with AADL by Senn, E., Bourdon, L. W. J.

FORGE: Pre-Training Open Foundation Models for Science by Yin, Junqi, Dash, Sajal, Wang, Feiyi, Shankar, Mallikarjun Arjun