• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    ACM Transactions on Modeling and Performance Evaluation of Computing Systems

    ACM Transactions on Modeling and Performance Evaluation of Computing Systems

    JournalISSN 2376-3639eISSN 2376-3647中科院 计算机科学 4区

    年发文量

    研究主题

    论文(197)

    排序
    1Stochastic Modeling and Resource Dimensioning of Multi-Cellular Edge Intelligent Systems
    Jaume Anguera Peris,Joakim Jaldén

    Edge intelligence enables the execution of AI inference tasks on computing platforms at the network edge, typically co-located with or near the radio access network rather than in centralized clouds or on mobile devices. This approach is particularly well suited for data analytics of low-latency and resource-constrained applications, where large data volumes and stringent latency constraints require tight integration of wireless access and on-site computational resources. However, the performance and cost-efficiency of such systems fundamentally depend on the joint dimensioning of wireless and computational resources prior to deployment, specially amid spatial and temporal uncertainties. Prior works largely emphasize run-time resource allocation or employ simplified network models that decouple radio access from computing infrastructure, overlooking end-to-end correlations in large-scale deployments. This paper introduces a unified stochastic framework for dimensioning multi-cellular edge-intelligent systems. We model network topology via a Poisson point process to capture randomness in user and base-station locations, incorporating inter-cell interference, distance-proportional fractional power control, and peak-power constraints. Integrating this with queueing theory and empirical profiling of AI inference workloads, we derive tractable expressions for the end-to-end offloading delay. These enable a non-convex joint optimization problem for minimizing deployment costs while enforcing statistical quality-of-service guarantees, defined not merely by averages, but by strict tail-latency and inference accuracy constraints. We prove decomposability into convex sub-problems, ensuring global optimality with zero gap. Through numerical evaluations in noise-limited and interference-limited regimes, we identify parameter regions that yield cost-efficient designs versus those that lead to severe under-utilization or unfairness across users. Key insights include the following: smaller cells reduce transmission delay but cause higher per-request computing cost due to reduced multiplexing at the servers, while larger cells exhibit the opposite trend. Moreover, network densification reduces computational costs only when frequency reuse scales with base-station density; otherwise, sparse deployments enhance fairness and efficiency in interference-limited scenarios. Overall, our analysis provides system designers with principled guidelines for scalable, QoS-aware provisioning of edge-intelligent video analytics in next-generation cellular networks.

    2026
    引用
    AI阅读
    加入学术空间
    2Cluster-Based PBFT Blockchain Consensus Modelling with Jackson Open Queuing Network
    Rabeb Ben Othmen, Wassim Abbessi,Sofiane Ouni,Wafa Badreddine,Gilles Dequen

    With the expansion of applications and areas of blockchains, there is an increasing need for faster transaction validation platforms. The Practical Byzantine Fault Tolerance (PBFT) algorithm is one of the best validation processes to meet the need for velocity and security of successful consensus. Despite the implementations in several platforms such as Hyperledger Fabric, the performance does not reach what was hoped for their consensuses. The objective of this article is to present a performance evaluation model based on an Open Queuing Network to study the limits of PBFT and pipelined PBFT and to succeed in presenting a new parallelization approach in the form of parallel clusters. The advantage of this model is that it closely evaluates the different stages of PBFT execution according to the load submitted by the clients. This model is validated with the ns-3 simulator and has the advantage of quickly reaching evaluations that the simulator is limited in time to have them. The results show the importance of having consensus executions on parallel clusters to distribute the loads between nodes and clients. With cluster-based parallel PBFT, we can reach even twenty thousand transactions per second close to the validation values of Visa transactions. This opens the horizons towards the effective use of blockchains for new types of fast applications.

    2026
    引用
    AI阅读
    加入学术空间
    3CIPAT: A Two-stage Configuration Impact Prediction Analysis Toolkit for Cellular Networks
    Kartik Patel, Changhan Ge,Ajay Mahimkar,Sanjay Shakkottai, Yusef Shaqalle

    Improving network performance and user experience by tuning network configurations is crucial to cellular service providers (CSPs). However, predicting the performance impacts of configuration changes is non-trivial. The large scale, diversity and complexity of configuration parameters and base station deployments, and more importantly, the uncontrollable external factors ( e.g. , weather and called latents ), lead to confounding effects between configurations and performance metrics. In this article, we show that the effects of latents can be properly mitigated by considering intermediates, called Mobility, Access, and Traffic (MAT) metrics , which separate the configurations and latents from performance metrics. Then, we propose the C onfiguration I mpact P rediction A nalysis T oolkit (CIPAT), a novel two-stage toolkit, driven by a large real-world dataset from live LTE and 5G networks. Our extensive evaluation shows that CIPAT enables network operators to confidently predict the performance impact of candidate configuration settings with an accuracy of up to 86% and an efficacy of up to 85%.

    2026
    引用
    AI阅读
    加入学术空间
    4Generating Architecture-Agnostic Performance Tests from Functional Unit Tests
    Daniel Vega Rodriguez, Samuel Omlin,Dimosthenis Pasadakis,Olaf Schenk

    We present a methodology for automated performance regression testing at the unit level, designed to integrate seamlessly into the development workflow of high-performance computing (HPC) applications. The proposed framework emphasizes the integration of performance tests with existing functional unit tests by leveraging their shared structure, thereby enabling the development of performance test suites with minimal developer effort and supporting the early detection of performance degradations. As a proof of concept, we implement and release the framework as a publicly available Julia package. It generates architecture-agnostic test suites that remain valid across heterogeneous hardware environments. To demonstrate its effectiveness, we apply it to representative HPC use cases, including memory throughput analysis in stencil-based computations and roofline modeling of a sparse linear system solver. Experiments conducted on a diverse set of CPU and GPU architectures confirm the framework’s ability to detect performance regressions consistently, validating its potential for use in continuous performance testing pipelines.

    2026
    引用
    AI阅读
    加入学术空间
    5Environmental Regulation in CDN Market: A Game-Theoretic Framework
    BURAK KARA,Gwendal Simon,Bruno Tuffin

    This paper examines how environmental regulation shapes pricing, capacity allocation, and infrastructure investment in the competitive Content Delivery Network (CDN) market. We develop a hierarchical game-theoretic framework modeling strategic interactions among multiple CDNs, a service provider, and end-users, capturing both economic and environmental objectives. Using backward induction, we analyze equilibrium behavior under two regulatory regimes–a baseline scenario without intervention and a regulated scenario, where CDNs incur taxes proportional to dirty capacity usage. Our analysis yields four principal findings. First, a structural tax threshold τ * , governed by the gap between renewable and fossil-fuel energy costs, determines the transition from carbon-intensive to clean infrastructure. Second, a moderate tax slightly above τ * achieves near-complete clean adoption at a total welfare loss of only 6.5 %. Third, government revenue is non-monotonic in the tax rate, peaking at low levels and collapsing as CDNs shift to untaxed clean capacity. Fourth, since the infrastructure-transition threshold is governed by the energy-cost gap of each provider, a uniform carbon tax imposes asymmetric burdens once these costs are heterogeneous across CDNs, motivating tiered tax designs. These results provide insights for policymakers seeking to align sustainability objectives with competitive dynamics in the content delivery market.

    2026
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 197 篇论文

    高被引作者

    作者引用发文
    Emilio Leonardi2914
    Michele Garetto2882
    Valentina Martina2821
    Kashif Nizam Khan2392
    Jukka K. Nurminen2381
    Zhonghong Ou2381
    Mikael Hirki2381
    Gauri Joshi2302
    Gregory W. Wornell2302
    Ahmed Ali-Eldin1322

    高产作者

    作者引用发文
    Giuliano Casale396
    Don Towsley705
    Chuan Wu1245
    Sanjay Shakkottai735
    Evgenia Smirni05
    Philippe Nain755
    B. Van Houdt234
    Zongpeng Li1244
    Adam Wierman664
    Emilio Leonardi2914

    相关期刊

    Proceedings of the ACM on Measurement and Analysis of Computing Systems
    IEEE International Symposium on High-Performance Parallel Distributed Computing
    International Conference on Measurement and Modeling of Computer Systems
    IEEE International Symposium on Reliable Distributed Systems
    USENIX Annual Technical Conference
    International Conference on Algorithms and Architectures for Parallel Processing
    International Conference on Parallel Processing
    Symposium on Networked Systems Design and Implementation
    Sigmetrics Performance Evaluation Review
    IEEE/ACM International Symposium on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems