English
Related papers

Related papers: Online Timestamp-based Transactional Isolation Che…

200 papers

Composable many-core systems enable the independent development and analysis of applications which will be executed on a shared platform where the mix of concurrently executed applications may change dynamically at run time. For each…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-11 Behnaz Pourmohseni , Fedor Smirnov , Stefan Wildermann , Jürgen Teich

Most databases can be configured to operate under isolation levels weaker than serializability. These enforce fewer restrictions on the concurrent access to data and consequently allow for more performant implementations. While formal…

Databases · Computer Science 2026-04-02 Manuel Barros , Alcino Cunha , Jose Pereira , Eunsuk Kang

While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correctness of transactional applications running on top of such…

Programming Languages · Computer Science 2018-06-25 Kartik Nagar , Suresh Jagannathan

Cloud Security Operations Center (SOC) enable cloud governance, risk and compliance by providing insights visibility and control. Cloud SOC triages high-volume, heterogeneous telemetry from elastic, short-lived resources while staying…

Cryptography and Security · Computer Science 2025-12-18 Nnamdi Philip Okonkwo , Lubna Luxmi Dhirani

We propose CHRONOS, a hardware-assisted framework that decouples the cryptographic setup required for private gradient aggregation from the active training phase. CHRONOS executes a once-per-epoch server-relayed Diffie-Hellman key exchange…

Cryptography and Security · Computer Science 2026-05-01 Hung Dang

Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each partner service, as well as effective techniques to verify…

Software Engineering · Computer Science 2014-09-17 Domenico Bianculli , Carlo Ghezzi , Srdan Krstic , Pierluigi San Pietro

Automated UI testing is an important component of the continuous integration process of software development. A modern web-based UI is an amalgam of reports from dozens of microservices written by multiple teams. Queries on a page that…

Software Engineering · Computer Science 2019-06-20 Zhe Yu , Fahmid M. Fahid , Tim Menzies , Gregg Rothermel , Kyle Patrick , Snehit Cherian

39 seconds. That is the timelapse between two consecutive cyber attacks as of 2023. Meaning that by the time you are done reading this abstract, about 1 or 2 additional cyber attacks would have occurred somewhere in the world. In this…

Cryptography and Security · Computer Science 2023-07-24 Pierre Lavieille , Ismail Alaoui Hassani Atlas

Many applications in important problem domains such as machine learning and computer vision are streaming applications that take a sequence of inputs over time. It is challenging to find knob settings that optimize the run-time performance…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-25 Yan Pei , Keshav Pingali

We propose a theory that can determine the lowest isolation level that can be allocated to each transaction program in an application in a mixed-isolation-level setting, to guarantee that all executions will be serializable and thus…

Databases · Computer Science 2025-07-01 Brecht Vandevoort , Alan Fekete , Bas Ketsman , Frank Neven , Stijn Vansummeren

The serverless and functions as a service (FaaS) paradigms are currently trending among cloud providers and are now increasingly being applied to the network edge, and to the Internet of Things (IoT) devices. The benefits include reduced…

Networking and Internet Architecture · Computer Science 2021-03-23 Pekka Karhula , Jan Janak , Henning Schulzrinne

Process-Aware Information System (PAIS) are IT systems that manages, supports business processes and generate large event logs from execution of business processes. An event log is represented as a tuple of the form CaseID, TimeStamp,…

Databases · Computer Science 2017-01-03 Jeevan Joishi , Ashish Sureka

A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-28 Christian Cachin , Olga Ohrimenko

Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help with scalability of a transactional system: genuine partial…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-06-18 Masoud Saeida Ardekani , Pierre Sutra , Nuno Preguiça , Marc Shapiro

Efficient authentication is vital for IoT applications with stringent minimum-delay requirements (e.g., energy delivery systems). This requirement becomes even more crucial when the IoT devices are battery-powered, like small aerial drones,…

Cryptography and Security · Computer Science 2020-04-10 Rouzbeh Behnia , Muslum Ozgur Ozmen , Attila A. Yavuz

Modern web services crucially rely on high-performance distributed databases, where concurrent transactions are isolated from each other using concurrency control protocols. Relaxed isolation levels, which permit more complex concurrent…

Databases · Computer Science 2025-01-24 Shabnam Ghasemirad , Christoph Sprenger , Si Liu , Luca Multazzu , David Basin

In a typical Internet of Things (IoT) application where a central controller collects status updates from multiple terminals, e.g., sensors and monitors, through a wireless multiaccess uplink, an important problem is how to attain timely…

Information Theory · Computer Science 2018-01-15 Zhiyuan Jiang , Bhaskar Krishnamachari , Xi Zheng , Sheng Zhou , Zhisheng Niu

Internet-based services have seen remarkable success, generating vast amounts of monitored key performance indicators (KPIs) as univariate or multivariate time series. Monitoring and analyzing these time series are crucial for researchers,…

Machine Learning · Computer Science 2023-08-02 Zhenyu Zhong , Qiliang Fan , Jiacheng Zhang , Minghua Ma , Shenglin Zhang , Yongqian Sun , Qingwei Lin , Yuzhi Zhang , Dan Pei

Concurrent transaction processing is a fundamental capability of Relational Database Management Systems (RDBMSs), widely utilized in applications requiring high levels of parallel user interaction, such as banking systems, e-commerce…

Databases · Computer Science 2025-11-24 Huicong Xu , Shuang Liu , Xianyu Zhu , Qiyu Zhuang , Wei Lu , Xiaoyong Du

Disk-based graph indexes for approximate nearest neighbor search (ANNS) must serve latency-sensitive queries and throughput-demanding updates concurrently. We observe that over 40% of search-thread CPU time is spent stalling on disk I/O;…

Databases · Computer Science 2026-05-20 Juncheng Zhang , Yuanming Ren , Yongkun Li , Patrick P. C. Lee