In this paper, we focus on how the main operations in evolutionary algorithms spend energy in two different languages: C++ and zig. By setting up a methodology that gives us a precise measure of the energy spent by ke...
详细信息
ISBN:
(纸本)9798400706295
In this paper, we focus on how the main operations in evolutionary algorithms spend energy in two different languages: C++ and zig. By setting up a methodology that gives us a precise measure of the energy spent by key evolutionary algorithm functions, we can give the scientific software engineer some actionable insights on how to write energy-conscious evolutionary algorithms. Our experiments show that C++ using the well-known GNU compiler can achieve a 50% reduction in energy consumption for some integer-based fitness functions, as well as very good performance on classical genetic operators.
The proceedings contain 407 papers. The topics discussed include: network protocol interoperability testing based on contextual signatures and passive testing;practical distributed voter-verifiable secret ballot syste...
ISBN:
(纸本)9781605581668
The proceedings contain 407 papers. The topics discussed include: network protocol interoperability testing based on contextual signatures and passive testing;practical distributed voter-verifiable secret ballot system;using geo-spatial session tagging for smart multicast session discovery;a holistic mechanism against file pollution in peer-to-peer networks;robust scheduler for grid networks;NECTAR: a DTN routing protocol based on neighborhood contact history;DoSTRACK: a system for defending against DoS attacks;secure routing in peer-to-peer distributed hash tables;BPR: a bit-level packet recovery in wireless sensor networks;multi-step attack modeling and simulation (MsAMS) framework based on mobile ambients;quality of service management in GMPLS-based grid OBS networks;new content-aware request distribution policies in web clusters providing multiple services;securing key issuing in peer-to-peer networks;preservation of ordering in a network of brokers;and developing and evaluating web multimodal interfaces a case study with usability principles.
Efficient data replica placement at the network edge is crucial for minimizing data access latency and enhancing user experience. Current solutions are mostly popularity oriented, assuming that users in close proximit...
详细信息
ISBN:
(纸本)9798400706295
Efficient data replica placement at the network edge is crucial for minimizing data access latency and enhancing user experience. Current solutions are mostly popularity oriented, assuming that users in close proximity share similar interests. While this strategy is effective for widely accessed data, it overlooks the specificity of user interests and their affinities, especially in diverse environments managed by different edge servers: data popular in region A may not be relevant in region B but be highly valuable in region *** introduce Paprika, an online heuristic-based hybrid algorithm that combines the strengths of Genetic Algorithms and Tabu Search to address replica selection and placement in edge computing environments. Paprika takes into account data popularity, pair-wise affinity between regions, and server storage capacity. Our evaluation demonstrates that the hybrid approach outperforms traditional heuristic methods by better balancing user interests across regions and favoring regions with stronger affinities.
This paper presents C2|Q>, a quantum software framework designed to bridge the gap between classical and quantum programming, specifically aimed at traditional developers who lack quantum computing expertise but wa...
详细信息
ISBN:
(纸本)9798400706295
This paper presents C2|Q>, a quantum software framework designed to bridge the gap between classical and quantum programming, specifically aimed at traditional developers who lack quantum computing expertise but want to leverage the potential benefits of quantum computers. C2|Q> transforms classical code written in high-level languages into quantum representations, enabling execution on Noisy Intermediate-Scale Quantum (NISQ) computers or simulators, and provides a user-friendly interface. The framework focuses on problems where quantum computing offers advantages, particularly nondeterministic polynomial-time complete (NP-complete) problems, which are considered classically *** key components of C2|Q> include a parser that identifies problem categories, extracts inputs, and converts classical inputs into quantum formats; a reducer that reformulates NP problems into 3-satisfiability problems (3SAT) when necessary; and an algorithm generator that constructs corresponding Hamiltonians and recommends feasible quantum algorithms. Additionally, the C2|Q> backend includes modules to optimize and compile quantum circuits, request and select suitable quantum hardware, and interpret computational results. The proposed framework empowers researchers and practitioners without prior quantum experience to harness the potential of hybrid quantum computation.
The proceedings contain 8 papers. The topics discussed include: the software stack data-type as an operating system service;forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle;first step t...
The proceedings contain 8 papers. The topics discussed include: the software stack data-type as an operating system service;forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle;first step to forth engine construction;a forth course for engineers;a C-to-forth compiler;forth, meta Window, and GUI design;forth in mainstream computer science courses;and computer algebra in forth.
The proceedings contain 9 papers. The topics discussed include: saying what you mean;towards reproducible evaluation of large-scale distributed systems;turn of the carousel – what does edge computing change for distr...
ISBN:
(纸本)9781450357753
The proceedings contain 9 papers. The topics discussed include: saying what you mean;towards reproducible evaluation of large-scale distributed systems;turn of the carousel – what does edge computing change for distributed applications?: research statement;towards a more reliable store-and-forward protocol for mobile text messages;logical clocks are not fair: what is fair? a case study of high-level language and optimization;an analysis of quorum-based abstractions: a case study using gorums to implement raft;data distribution method for fast giga-scale hologram generation on a multi-GPU cluster;language semantics driven design and formal analysis for distributed cyber-physical systems;and Partisan: enabling real-world protocol evaluation.
This paper introduces a vision for Quantum Software Development lifecycle, proposing a hybrid full-stack iterative model that integrates quantum and classical computing. Addressing the current challenges in Quantum Co...
详细信息
ISBN:
(纸本)9798400706295
This paper introduces a vision for Quantum Software Development lifecycle, proposing a hybrid full-stack iterative model that integrates quantum and classical computing. Addressing the current challenges in Quantum computing (QC) such as the need for integrating diverse programming languages and managing the complexities of quantum-classical systems, this model is rooted in the principles of DevOps and continuous software engineering. It presents a comprehensive lifecycle for quantum software development, encompassing quantum-agnostic coding, testing, deployment, cloud computing services, orchestration, translation, execution, and interpretation phases. Each phase is designed to accommodate the unique demands of QC, enabling traditional software developers to engage with QC environments without needing in-depth QC expertise. The paper presents a detailed implementation roadmap, utilizing a range of existing tools and frameworks, thereby making quantum software development more accessible and efficient. The proposed model not only addresses current challenges in quantum software development but also makes a substantial contribution to the field of Quantum Software Engineering (QSE). By proposing a structured and accessible model, it sets the stage for further advancements and research in QSE, enhancing its practicality and relevance in a wide range of applications.
This volume comprises the polished and fully refereed versions of a selection of papers presented at the Thirty-Sixth Annual acmsymposium on Theory of computing (STOC 2004), held in Chicago, Illinois, June 13-15, 200...
This volume comprises the polished and fully refereed versions of a selection of papers presented at the Thirty-Sixth Annual acmsymposium on Theory of computing (STOC 2004), held in Chicago, Illinois, June 13-15, 2004. Unrefereed preliminary versions of the papers presented at the symposium appeared in the proceedings of the meeting, published by acm. The symposium was sponsored by the acm Special Interest Group on Algorithms and Computation Theory (SIGACT).
Deploying scalable Vision Transformer applications on mobile and edge devices is constrained by limited memory and computational resources. Existing model development and deployment strategies include distributed comp...
详细信息
ISBN:
(纸本)9798400706295
Deploying scalable Vision Transformer applications on mobile and edge devices is constrained by limited memory and computational resources. Existing model development and deployment strategies include distributed computing and inference methods such as federated learning, split computing, collaborative inference and edge-cloud offloading mechanisms. While these strategies have deployment advantages, they fail to optimize memory usage and processing efficiency, resulting in increased energy consumption. This paper optimizes energy consumption by introducing adaptive model partitioning mechanisms and dynamic scaling methods for ViTs such as EfficientViT and TinyViT, adjusting model complexity based on the available computational resources and operating conditions. We implement energy-efficient strategies that minimize inter-layer communication for distributed machine learning across edge devices, thereby reducing energy consumption from data flow and computation. Our evaluations on a series of benchmark models show improvements, including up to a 32.6% reduction in latency and 16.6% energy savings, while maintaining mean average precision sacrifices within 2.5 to 4.5% of baseline models. These results show that our proposal is a practical approach for improving edge AI sustainability and efficiency.
Stochastic computing (SC) has garnered a great interest due to its energy efficiency and robustness against external noise, yet a long latency on stochastic computations and considerable overheads caused by conversion...
详细信息
ISBN:
(纸本)9798400706295
Stochastic computing (SC) has garnered a great interest due to its energy efficiency and robustness against external noise, yet a long latency on stochastic computations and considerable overheads caused by conversions between binary numbers and stochastic numbers persist as notable challenges. This paper introduces a novel parallel random number generator (RNG) and accumulative parallel counters (APCs) to address both challenges. In particular, we propose a new parallel RNG design based on Omega network to bolster the randomness of generated numbers, thereby enhancing accuracy and reducing latency. Additionally, we introduce a novel APC design technique leveraging approximate 4-2 compressors to improve hardware efficiency while preserving the accuracy of SC computations. When implemented using a 65-nm CMOS technology, our proposed SC architecture outperforms other SC alternatives in terms of both hardware efficiency and computation accuracy. Specifically, our APC designs exhibit substantial enhancements of up to 30.1×, 26.6×, 5.9×, and 151× in area, power, delay, and energy, respectively, compared to traditional APCs. Also, we validate the efficacy of the proposed SC design through an image processing application, demonstrating superior processing quality alongside significantly enhanced hardware efficiency.
暂无评论