FlowMap: an optimal technology mapping algorithm for delay optimization in lookup-table based FPGA designs," IEEE Transactions on 1 2 4 8 1 6 New Univ. Wilton Subset Fig.7. Delay desults the Subset switch block. However, this is the average over 19 circuits; in 9 of the 19 circuits, the proposed switch block actually resulted in faster circuits. 5 Conclusions In this paper, we h a ve presented ...

Load control is necessary to prevent a database system from data-contention or memory-contention thrashing, caused by excessive lock conflicts or excessive buffer replacements that may occur due to temporary load peaks. The load control method that is adopted by virtually all commercial database systems is to limit the degree of multiprogramming (DMP), that is, the maximum number of transaction...

Recently, several works have taken advantage of a database isolation notion suitable for replicated approaches, called Generalized Snapshot Isolation, that provides greater performance since read-only transactions are never blocked nor cause update transactions to block or abort. However, this concept has not been formally described for replicated environments where a logical copy of the system...

This thesis proposed a framework in completing transactions among decentralized agents without the existence of trusted authority nor intermediate facilitator in facilitating the transactions. The framework consists of transaction concept and logic, set of algorithms to accomplish transactions, and architecture that enable agents to govern and self-organize accounting, authentication, and autho...

In this paper we argue that the current approaches to implementing transactional memory in Scala, while very clean, adversely affect the programmability, readability and maintainability of transactional code. These problems occur out of a desire to avoid making modifications to the Scala compiler. As an alternative we introduce Manchester University Transactions for Scala (MUTS), which instead ...

Decentralized cryptocurrencies rely on participants to keep track of the state of the system in order to verify new transactions. As the number of users and transactions grows, this requirement places a significant burden on the users, as they need to download, verify, and store a large amount of data in order to participate. Vault is a new cryptocurrency designed to minimize these storage and ...

We evaluate the performance impact of two diier-ent write{buuer conngurations (one word per buuer entry and one block per buuer entry) and two diierent write{policies (write{through and write{back), when using the partial block invalidation coherence mechanism 3] in a shared{memory multiprocessor. Using an execution{driven simulator, we nd that the one word per entry buuer connguration with a w...

This report discusses two design choices which arose in our recent work on introducing a new atomic keyword as an extension to the Java programming language. We discuss the extent to which programs using atomic blocks should be provided with an explicit ‘abort’ operation to roll-back the effects of the current block. We also discuss mechanisms for supporting blocks that perform I/O operations o...

With the rapid development of information technology, blockchain technology has also been deeply impacted. When performing block verification in network, if all transactions are verified on chain, this will cause accumulation data resulting storage problems. At same time, security is challenged, which put enormous pressure block, extremely low communication efficiency block. The traditional sys...

Can Bitcoin remain tamper-proof in the long run? We use block-level data from blockchain to estimate impact of congestion and US dollar price on fee rates. The introduction adoption segregated witness (SegWit) protocol allows us identify an aggregate demand curve for transactions. find that SegWit has reduced revenue by about 70%. Fee could be maximized at a block size 0.6 megabytes when remain...