Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing by Xu, Yihui, Li, Yanhui, Wang, Jun, Zhang, Xiaofang

EI-MOR: A Hybrid Exponential Integrator and Model Order Reduction Approach for Transient Power/Ground Network Analysis by Wang, Cong, Yang, Dongen, Chen, Quan

Compositing for small cameras by Klein, Georg, Murray, David

Get full text

iMIA: Assessing Mission Risk in Uncertain, Interdependent AI Systems by Yoon, Han Jun, Thukkaraju, Ashrith Reddy, Cho, Jin-Hee, Matsumoto, Shou, Ferrari, Jair, Costa, Paulo, Lee, Donghwan, Ahn, Myung Kil

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

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

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems by She, Yining, Biswas, Sumon, Kastner, Christian, Kang, Eunsuk

White-Box Performance-Influence Models: A Profiling and Learning Approach by Weber, Max, Apel, Sven, Siegmund, Norbert

Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling by Xia, Yuanjie

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.

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

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

Get full text

Using tagging to identify and organize concerns during pre-requirements analysis by Ossher, Harold, Amid, David, Anaby-Tavor, Ateret, Bellamy, Rachel, Callery, Matt, Desmond, Michael, De Vries, Jackie, Fisher, Amit, Krasikov, Sophia, Simmonds, Ian, Swart, Cal

Adaptive performance prediction for integrated GPUs by Gupta, Ujjwal, Campbell, Joseph, Ogras, Umit Y., Ayoub, Raid, Kishinevsky, Michael, Paterna, Francesco, Gumussoy, Suat

JouleTrack: a web based tool for software energy profiling by Sinha, Amit, Chandrakasan, Anantha P.

Color compatibility from large datasets by O'Donovan, Peter, Agarwala, Aseem, Hertzmann, Aaron

Efficient large-scale power grid analysis based on preconditioned krylov-subspace iterative methods by Chen, Tsung-Hao, Chen, Charlie Chung-Ping

Moving Beyond Marginal Carbon IntensityA Poor Metric for Both Carbon Accounting and Grid Flexibility by Wiesner, Philipp, Kao, Odej

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

Online Learning for Adaptive Optimization of Heterogeneous SoCs by Bhat, Ganapati, Mandal, Sumit K., Gupta, Ujjwal, Ogras, Umit Y.