English
Related papers

Related papers: Open Transactions on Shared Memory

200 papers

This paper introduces a new approach to hybrid traffic modeling, along with its implementation in software. The software allows modelers to assign traffic models to individual links in a network. Each model implements a series of methods,…

Mathematical Software · Computer Science 2019-08-13 Gabriel Gomes

The widespread deployment of large language models (LLMs) has intensified concerns around intellectual property (IP) protection, as model theft and unauthorized redistribution become increasingly feasible. To address this, model…

Computation and Language · Computer Science 2025-09-15 Zhenhua Xu , Xixiang Zhao , Xubin Yue , Shengwei Tian , Changting Lin , Meng Han

This paper introduces OPTIMUM-DERAM, a highly consistent, scalable, secure, and decentralized shared memory solution. Traditional distributed shared memory implementations offer multi-object support by multi-threading a single object memory…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-21 Nicolas Nicolaou , Kishori M. Konwar , Moritz Grundei , Aleksandr Bezobchuk , Muriel Médard , Sriram Vishwanath

Despite the success in various scenarios, blockchain systems, especially EVM-compatible ones that serially execute transactions, still face the significant challenge of limited throughput. Concurrent transaction execution is a promising…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-11-18 Haoran Lin , Yajin Zhou , Lei Wu

In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs).…

Artificial Intelligence · Computer Science 2024-02-22 Domenico Cantone , Carmelo Fabio Longo , Marianna Nicolosi-Asmundo , Daniele Francesco Santamaria , Corrado Santoro

Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad and concurrent abstractions such as MVar and TVar in the in…

Programming Languages · Computer Science 2025-06-19 Michael Mendler , Marc Pouzet

Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind:…

Programming Languages · Computer Science 2017-11-09 Jean-Philippe Bernardy , Mathieu Boespflug , Ryan R. Newton , Simon Peyton Jones , Arnaud Spiwack

Nowadays, tiered architectures are widely accepted for constructing large scale information systems. In this context application servers often form the bottleneck for a system's efficiency. An application server exposes an object oriented…

Databases · Computer Science 2007-05-23 Daniel Pfeifer , Peter C. Lockemann

When components of a system exchange data, they need to serialise the data so that it can be sent over the network. Then, the recipient has to deserialise the data in order to be able to process it. These steps take time and have an impact…

Programming Languages · Computer Science 2025-04-30 Arthur Jamet , Michael Vollmer

Large Language models (LLMs) are finding wide use in software engineering practice. These models are extremely data-hungry, and are largely trained on open-source (OSS) code distributed with permissive licenses. In terms of actual use…

Software Engineering · Computer Science 2024-02-26 Toufique Ahmed , Christian Bird , Premkumar Devanbu , Saikat Chakraborty

A large-scale industrial recommendation platform typically consists of multiple associated scenarios, requiring a unified click-through rate (CTR) prediction model to serve them simultaneously. Existing approaches for multi-scenario CTR…

Information Retrieval · Computer Science 2023-06-26 Xing Tang , Yang Qiao , Yuwen Fu , Fuyuan Lyu , Dugang Liu , Xiuqiang He

Tactile displays have a wide potential field of applications, ranging from enhancing Virtual-Reality scenarios up to aiding telesurgery as well as in fundamental psychological and neurophysiological research. In this paper, we describe an…

Human-Computer Interaction · Computer Science 2018-04-25 Andreas Tarnowsky , Jan Jamaszyk , Daniel Brandes , Franz-Erich Wolter

Sequential computation is well understood but does not scale well with current technology. Within the next decade, systems will contain large numbers of processors with potentially thousands of processors per chip. Despite this, many…

Hardware Architecture · Computer Science 2015-11-17 James Hanlon

We present memory-based language modeling as an efficient, eco-friendly alternative to deep neural network-based language modeling. It offers log-linearly scalable next-token prediction performance and strong memorization capabilities.…

Computation and Language · Computer Science 2025-10-28 Antal van den Bosch , Ainhoa Risco Patón , Teun Buijse , Peter Berck , Maarten van Gompel

Shared-memory system-on-chips (SM-SoC) are ubiquitously employed by a wide-range of mobile computing platforms, including edge/IoT devices, autonomous systems and smartphones. In SM-SoCs, system-wide shared physical memory enables a…

Cryptography and Security · Computer Science 2025-02-11 Ismet Dagli , James Crea , Soner Seckiner , Yuanchao Xu , Selçuk Köse , Mehmet E. Belviranli

Associative memory refers to the ability to relate a memory with an input and targets the restoration of corrupted patterns. It has been intensively studied in classical physical systems, as in neural networks where an attractor dynamics…

Quantum Physics · Physics 2024-08-27 Adrià Labay-Mora , Eliana Fiorelli , Roberta Zambrini , Gian Luca Giorgi

We demonstrate that general-purpose memory allocation involving many threads on many cores can be done with high performance, multicore scalability, and low memory consumption. For this purpose, we have designed and implemented scalloc, a…

Programming Languages · Computer Science 2015-08-26 Martin Aigner , Christoph M. Kirsch , Michael Lippautz , Ana Sokolova

Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software…

Programming Languages · Computer Science 2024-09-09 Tony Garnock-Jones

Process mining is a technology that helps understand, analyze, and improve processes. It has been present for around two decades, and although initially tailored for business processes, the spectrum of analyzed processes nowadays is…

Databases · Computer Science 2024-11-19 Viki Peeva , Marvin Porsil , Wil M. P. van der Aalst

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

Programming Languages · Computer Science 2021-08-31 Thi Thu Ha Doan , Peter Thiemann