We present a practical testing algorithm called ExitBlock that systematically and deterministically nds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program on a given input multiple times, enumerating meaningful schedules in order to cover all program behaviors. Previous work on systematic testing focuses on programs whose concurr...

Question Answering (QA) is fundamental to natural language processing in that most nlp problems can be phrased as QA (Kumar et al., 2015). Current weakly supervised memory network models that have been proposed so far struggle at answering questions that involve relations among multiple entities (such as facebook’s bAbi qa5-three-arg-relations in (Weston et al., 2015)). To address this problem ...

Transactional memory (TM) provides a general-purpose mechanism with which to construct concurrent objects. Transactional memory can also be thought of as a concurrent object, but its semantics are less clear than those of the objects typically constructed on top of it. In particular, commit operations in a transactional memory may fail when transactions conflict. Under what circumstances, exact...

Multi-versioned database systems have the potential to significantly increase the amount of concurrency in transaction processing systems because they can avoid reads-write conflicts. Unfortunately, these increases in concurrency usually come at the cost of transaction serializability. If a database user requests full serializability, modern multi-versioned systems significantly constrain their...

Multi version (MV) based database systems allow queries (readonly transactions) to be executed without blocking updaters (readwrite transactions), or being blocked by them. Such systems become more and more common. In a multi database environment, transactions may span several single version (SV) based database systems, as well as MV based ones. The database systems may implement various concur...

The IBM 3850 Mass Storage System (MSS) stores digital data onflexible magnetic tape media; however, it is different in many respects from the conventional multitrack tape machines. In particular, the use of a single-element rotary readwrite head imposes new demands in the areas of data encoding and error recovery. This paper presents a comprehensive scheme for error recovery for the 3850 MSS wh...

A distributed system is self-stabilizing if it can be started in any possible global state. Once started the system regains its consistency by itself, without any kind of outside intervention. The self-stabilization property makes the system tolerant to faults in which processors exhibit a faulty behavior for a while and then recover spontaneously in an arbitrary state. When the intermediate pe...

We introduce the formalism of Linked Systems for specifying and executing dynamical systems that operate over ReadWrite Linked Data. Linked Systems cover user agents (components that emit HTTP requests) and servers (components that receive HTTP requests). The formalisation is inspired by automata theory and the concepts of state transition systems and state machines. For the proposed formalism ...

Jf eliable memory systems can be designed either by using highly reliable but expensive components or by employing inexpensive protective redundancy in terms of a single error correcting code that uses redundant check bits. The degree of reliability ean be increased if this protective redundancy matches the failure mode of the memory system, Presently, use of semiconductor memory is increasing ...

Context. The main idea is the creation of vector-logical in-memory computing (VLC), which uses only read-write transactions on address memory for faults-as-addresses simulation. There no traditional logic. VLC free from processor commands and ALU organization therefore focused implementation in SoC FPGA. A method deductive matrix synthesis transportation input faults, has a quadratic computatio...