English
Related papers

Related papers: Variant-Frequency Semantics for Green Futures

200 papers

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose…

Programming Languages · Computer Science 2007-06-13 Roberto Amadio , Silvano Dal Zilio

Frequency control reserves are an essential ancillary service in any electric power system, guaranteeing that generation and demand of active power are balanced at all times. Traditionally, conventional power plants are used for frequency…

Systems and Control · Computer Science 2013-12-24 Theodor Borsche , Andreas Ulbig , Göran Andersson

Data centers are significant contributors to carbon emissions and can strain power systems due to their high electricity consumption. To mitigate this impact and to participate in demand response programs, cloud computing companies strive…

Systems and Control · Electrical Eng. & Systems 2025-10-29 Sophie Hall , Francesco Micheli , Giuseppe Belgioioso , Ana Radovanović , Florian Dörfler

In this paper we study the power-performance relationship of power-efficient computing from a queuing theoretic perspective. We investigate the interplay of several system operations including processing speed, system on/off decisions, and…

Performance · Computer Science 2013-03-08 Yanpei Liu , Stark C. Draper , Nam Sung Kim

This study aims to address the challenges of futures price prediction in high-frequency trading (HFT) by proposing a continuous learning factor predictor based on graph neural networks. The model integrates multi-factor pricing theories…

Machine Learning · Computer Science 2023-12-20 Min Hu , Zhizhong Tan , Bin Liu , Guosheng Yin

Classical communication paradigms focus on accurately transmitting bits over a noisy channel, and Shannon theory provides a fundamental theoretical limit on the rate of reliable communications. In this approach, bits are treated equally,…

Information Theory · Computer Science 2022-08-05 Jincheng Dai , Ping Zhang , Kai Niu , Sixian Wang , Zhongwei Si , Xiaoqi Qin

Classical communication paradigms focus on accurately transmitting bits over a noisy channel, and Shannon theory provides a fundamental theoretical limit on the rate of reliable communications. In this approach, bits are treated equally,…

Information Theory · Computer Science 2022-06-03 Jincheng Dai , Ping Zhang , Kai Niu , Sixian Wang , Zhongwei Si , Xiaoqi Qin

Semantic communication is a new paradigm that aims at providing more efficient communication for the next-generation wireless network. It focuses on transmitting extracted, meaningful information instead of the raw data. However, deep…

Social and Information Networks · Computer Science 2025-01-09 Yang Li , Xinyu Zhou , Jun Zhao

For an autonomous vehicle it is essential to observe the ongoing dynamics of a scene and consequently predict imminent future scenarios to ensure safety to itself and others. This can be done using different sensors and modalities. In this…

Computer Vision and Pattern Recognition · Computer Science 2023-09-07 Andrea Ciamarra , Federico Becattini , Lorenzo Seidenari , Alberto Del Bimbo

In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed selection rule such as the left-to-right one of Prolog.…

Logic in Computer Science · Computer Science 2007-05-23 Annalisa Bossi , Sandro Etalle , Sabina Rossi , Jan-Georg Smaus

Motivated by the increasing shift to multicore computers, recent work has developed language support for responsive parallel applications that mix compute-intensive tasks with latency-sensitive, usually interactive, tasks. These…

Programming Languages · Computer Science 2020-04-07 Stefan K. Muller , Kyle Singer , Noah Goldstein , Umut A. Acar , Kunal Agrawal , I-Ting Angelina Lee

The energy bottleneck in Wireless Sensor Network(WSN) can be reduced by limiting communication overhead. Application specific source coding schemes for the sensor networks provide fewer bits to represent the same amount of information…

Networking and Internet Architecture · Computer Science 2008-10-21 Muthiah Annamalai , Darshan Shrestha , Saibun Tjuatja

Deep learning models deployed on edge devices frequently encounter resource variability, which arises from fluctuating energy levels, timing constraints, or prioritization of other critical tasks within the system. State-of-the-art machine…

Machine Learning · Computer Science 2025-07-29 Francesco Corti , Balz Maag , Joachim Schauer , Ulrich Pferschy , Olga Saukh

The primary motivation for uptake of virtualization has been resource isolation, capacity management and resource customization allowing resource providers to consolidate their resources in virtual machines. Various approaches have been…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-09-27 Omer Khalid , Ivo Maljevic , Richard Anthony , Miltos Petridis , Kevin Parrot , Markus Schulz

In this report we present a network-level multi-core energy model and a software development process workflow that allows software developers to estimate the energy consumption of multi-core embedded programs. This work focuses on a high…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-09-10 Steve Kerrison , Kerstin Eder

Next generation wireless networks face the challenge of increasing energy consumption while satisfying the unprecedented increase in the data rate demand. To address this problem, we propose a utility-based energy-efficient resource…

Networking and Internet Architecture · Computer Science 2014-10-23 Kemal Davaslioglu , Cemil Can Coskun , Ender Ayanoglu

Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system kernel code and measure the resulting performance on a consistent…

Operating Systems · Computer Science 2013-07-17 Neetu Goel , R. B. Garg

C++ code snippets from a multi-core parallel memory-efficient crossover for genetic programming are given. They may be adapted for separate generation evolutionary algorithms where large chromosomes or small RAM require no more than M + (2…

Neural and Evolutionary Computing · Computer Science 2026-05-07 W. B. Langdon

In this paper, we design an analytically and experimentally better online energy and job scheduling algorithm with the objective of maximizing net profit for a service provider in green data centers. We first study the previously known…

Performance · Computer Science 2014-04-22 Huangxin Wang , Jean X. Zhang , Fei Li

The rapid advancement of Artificial Intelligence (AI) has created unprecedented demands for computational power, yet methods for evaluating the performance, efficiency, and environmental impact of deployed models remain fragmented. Current…

Performance · Computer Science 2025-10-22 Hongyuan Liu , Xinyang Liu , Guosheng Hu