English
Related papers

Related papers: Transactions Make Debugging Easy

200 papers

We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the…

Software Engineering · Computer Science 2007-05-23 Robert Hood , Gabriele Jost

NORD (Neural Operations Research & Development) is an open source distributed deep learning architectural research framework, based on PyTorch, MPI and Horovod. It aims to make research of deep architectures easier for experts of different…

Neural and Evolutionary Computing · Computer Science 2018-10-23 George Kyriakides , Konstantinos Margaritis

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

In many real world networks, a vertex is usually associated with a transaction database that comprehensively describes the behaviour of the vertex. A typical example is the social network, where the behaviour of every user is depicted by a…

Databases · Computer Science 2018-05-10 Mingtao Lei , Lingyang Chu , Zhefeng Wang

Transactive microgrids are emerging as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resources and a rapid acceleration in renewable energy generation,…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-01 Jonatan Bergquist , Aron Laszka , Monika Sturm , Abhishek Dubey

Business processes are bound to evolve as a form of adaption to changes, and such changes are referred as process drifts. Current process drift detection methods perform well on clean event log data, but the performance can be tremendously…

Software Engineering · Computer Science 2022-02-23 Yang Lu , Qifan Chen , Simon Poon

It is hard to operate and debug systems like OpenStack that integrate many independently developed modules with multiple levels of abstractions. A major challenge is to navigate through the complex dependencies and relationships of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-06-21 Yong Xiang , Hu Li , Sen Wang , Wei Xu

Graph databases have emerged as the fundamental technology underpinning trendy application domains where traditional databases are not well-equipped to handle complex graph data. However, current graph databases support basic graph…

Databases · Computer Science 2016-02-02 Amine Ghrab , Oscar Romero , Sabri Skhiri , Alejandro Vaisman , Esteban Zimányi

Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency model is {\em serializability}, which ensures the atomicity…

Logic in Computer Science · Computer Science 2019-05-23 Sidi Mohamed Beillahi , Ahmed Bouajjani , Constantin Enea

We introduce the THOR (Transformer Heuristics for On-Demand Retrieval) Module, designed and implemented by eSapiens, a secure, scalable engine that transforms natural-language questions into verified, read-only SQL analytics for enterprise…

Databases · Computer Science 2025-07-18 Isaac Shi , Zeyuan Li , Fan Liu , Wenli Wang , Lewei He , Yang Yang , Tianyu Shi

Understanding application resilience (or error tolerance) in the presence of hardware transient faults on data objects is critical to ensure computing integrity and enable efficient application-level fault tolerance mechanisms. However, we…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-16 Luanzheng Guo , Dong Li

Writing concurrent programs is a hard task, even when using high-level synchronization primitives such as transactional memories together with a functional language with well-controlled side-effects such as Haskell, because the…

Logic in Computer Science · Computer Science 2013-12-11 Romain Demeyer , Wim Vanhoof

Graph transaction processing raises many unique challenges such as random data access due to the irregularity of graph structures, low throughput and high abort rate due to the relatively large read/write sets in graph transactions. To…

Databases · Computer Science 2021-05-12 Hongzhi Chen , Changji Li , Chenguang Zheng , Chenghuan Huang , Juncheng Fang , James Cheng , Jian Zhang

The need for data trading promotes the emergence of data market. However, in conventional data markets, both data buyers and data sellers have to use a centralized trading platform which might be dishonest. A dishonest centralized trading…

Cryptography and Security · Computer Science 2020-07-15 Guoxiong Su , Wenyuan Yang , Zhengding Luo , Yinghong Zhang , Zhiqiang Bai , Yuesheng Zhu

Electronic systems tend to simplify the tedious traditional scheme and basically focuses on the platform design and process organization. The integrity of the output of an automated system is not left behind but the possibility of internal…

Cryptography and Security · Computer Science 2019-11-14 August Thio-ac , Alfred Keanu Serut , Rayn Louise Torrejos , Keenan Dave Rivo , Jessica Velasco

We study the problem of computing an embedding of the tuples of a relational database in a manner that is extensible to dynamic changes of the database. In this problem, the embedding should be stable in the sense that it should not change…

Databases · Computer Science 2022-09-28 Jan Toenshoff , Neta Friedman , Martin Grohe , Benny Kimelfeld

One of the defining features of a cryptocurrency is that its ledger, containing all transactions that have evertaken place, is globally visible. As one consequenceof this degree of transparency, a long line of recent re-search has…

Cryptography and Security · Computer Science 2019-05-21 Haaroon Yousaf , George Kappos , Sarah Meiklejohn

Decentralized services and applications provide a multitude of advantages for their users, such as improved privacy, control, and independence from third parties. Anyhow, decentralization comes at the cost of certain disadvantages, such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-01 Sebastian Göndör , Hakan Yildiz , Martin Westerkamp , Axel Küpper

When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not…

Databases · Computer Science 2011-10-03 Graham Cormode , Justin Thaler , Ke Yi

We present TransactionGPT (TGPT), a foundation model for consumer transaction data within one of the world's largest payment networks. TGPT is designed to understand and generate transaction trajectories while simultaneously supporting a…