English
Related papers

Related papers: Extern Objects in P4: an ROHC Header Compression S…

200 papers

The problem of solving partial differential equations (PDEs) on manifolds can be considered to be one of the most general problem formulations encountered in computational multi-physics. The required covariant forms of balance laws as well…

Numerical Analysis · Mathematics 2021-01-19 Robert L. Gates , Maximilian Bittens

Programmable data planes allow users to define their own data plane algorithms for network devices including appropriate data plane application programming interfaces (APIs) which may be leveraged by user-defined software-defined networking…

Networking and Internet Architecture · Computer Science 2023-01-18 Frederik Hauser , Marco Häberle , Daniel Merling , Steffen Lindner , Vladimir Gurevich , Florian Zeiger , Reinhard Frank , Michael Menth

In recent years, utilization of heterogeneous hardware other than small core CPU such as GPU, FPGA or many core CPU is increasing. However, when using heterogeneous hardware, barriers of technical skills such as CUDA are high. Based on…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-10 Yoji Yamato

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

Transformer models have advanced the state of the art in many Natural Language Processing (NLP) tasks. In this paper, we present a new Transformer architecture, Extended Transformer Construction (ETC), that addresses two key challenges of…

This paper deals with an extended model of computations which uses the parameterized families of entities for data objects and reflects a preliminary outline of this problem. Some topics are selected out, briefly analyzed and arranged to…

Logic in Computer Science · Computer Science 2007-05-23 Larissa Ismailova , Konstantin Zinchenko , Lioubouv Bourmistrova

Developing parallel algorithms efficiently requires careful management of concurrency across diverse hardware architectures. C++ executors provide a standardized interface that simplifies the development process, allowing developers to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-22 Karame Mohammadiporshokooh , Steven R. Brandt , Hartmut Kaiser

Advanced transition elements are of utmost importance in many applications of the finite element method (FEM) where a local mesh refinement is required. Considering problems that exhibit singularities in the solution, an adaptive…

Numerical Analysis · Mathematics 2023-09-29 Sascha Duczek , Albert Artha Saputra , Hauke Gravenkamp

This paper details the techniques and algorithms implemented in Kahler, a Python library that implements discrete exterior calculus on arbitrary Hermitian manifolds. Borrowing techniques and ideas first implemented in PyDEC, Kahler provides…

Numerical Analysis · Computer Science 2014-06-05 Alex Eftimiades

Programmable data planes enable users to design data plane algorithms for network devices, providing extensive flexibility for network customization. Programming Protocol-Independent Packet Processors (P4) has become the most widely adopted…

Networking and Internet Architecture · Computer Science 2025-03-25 Mingyu Ma , Giang T. Nguyen

We describe a system for serverless computing where users, programs, and the underlying platform share a common representation of a computation: a deterministic procedure, run in an environment of well-specified data or the outputs of other…

Operating Systems · Computer Science 2025-11-04 Yuhan Deng , Akshay Srivatsan , Sebastian Ingino , Francis Chua , Yasmine Mitchell , Matthew Vilaysack , Keith Winstein

This report considers how to inject external candidate solutions into the CMA-ES algorithm. The injected solutions might stem from a gradient or a Newton step, a surrogate model optimizer or any other oracle or search mechanism. They can…

Machine Learning · Computer Science 2011-10-20 Nikolaus Hansen

The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients…

Programming Languages · Computer Science 2018-10-24 Ian J. Hayes

Since its introduction in 2004, the MapReduce framework has become one of the standard approaches in massive distributed and parallel computation. In contrast to its intensive use in practise, theoretical footing is still limited and only…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-12-19 Gero Greiner , Riko Jacob

When working at exascale, the various constraints imposed by the extreme scale of the system bring new challenges for application users and software/middleware developers. In that context, and to provide best performance, resiliency and…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-10-09 Jerome Soumagne , Philip H. Carns , Dries Kimpe , Quincey Koziol , Robert B. Ross

This paper aims at contributing to the ongoing debate on how to bring programmability of stateful packet processing tasks inside the network switches, while retaining platform independency. Our proposed approach, named "Open Packet…

Networking and Internet Architecture · Computer Science 2016-05-09 Giuseppe Bianchi , Marco Bonola , Salvatore Pontarelli , Davide Sanvito , Antonio Capone , Carmelo Cascone

Real-time embedded platforms with resource constraints can take the benefits of mixed-criticality system where applications with different criticality-level share computational resources, with isolation in the temporal and spatial domain. A…

Systems and Control · Electrical Eng. & Systems 2022-08-31 Shibarchi Majumder , Jens Frederik Dalsgaard Nielsen , Thomas Bak

Robust header compression (ROHC), critically positioned between the network and the MAC layers, plays an important role in modern wireless communication systems for improving data efficiency. This work investigates bi-directional ROHC…

Signal Processing · Electrical Eng. & Systems 2023-09-26 Shusen Jing , Songyang Zhang , Zhi Ding

Modern language models are trained almost exclusively on token sequences produced by a fixed tokenizer, an external lossless compressor often over UTF-8 byte sequences, thereby coupling the model to that compressor. This work introduces…

Computation and Language · Computer Science 2026-05-15 Lin Zheng , Xinyu Li , Qian Liu , Xiachong Feng , Lingpeng Kong

The execution behavior of a program often depends on external resources, such as program inputs or file contents, and so cannot be run in isolation. Nevertheless, software developers benefit from fast iteration loops where automated tools…

Machine Learning · Computer Science 2022-03-30 David Bieber , Rishab Goel , Daniel Zheng , Hugo Larochelle , Daniel Tarlow