Results 41 to 50 of about 190,212 (326)

A Concurrent Perspective on Smart Contracts [PDF]

, 2017
In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency.
Hobor, Aquinas, Sergey, Ilya
core   +2 more sources

Concurrency bugs in open source software: a case study

Journal of Internet Services and Applications, 2017
Concurrent programming puts demands on software debugging and testing, as concurrent software may exhibit problems not present in sequential software, e.g., deadlocks and race conditions.
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson   +3 more
doaj   +1 more source

Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems

, 2019
To utilize the multi-core processors properly concurrent programming is needed. Concurrency control is the main challenge while designing a correct and efficient concurrent program.
Juyal, Chirag, Kulkarni, Sandeep, Kumari, Sweta, Peri, Sathya, Somani, Archit   +4 more
core   +1 more source

Data refinement for true concurrency [PDF]

, 2013
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity.
Abadi, Back, Back, Baldan, Boyland, Brijesh Dongol, Broy, Burns, Bäumler, de Roever, Derrick, Derrick, Derrick, Derrick, Dongol, Dongol, Dongol, Dongol, Dongol, Dongol, Dongol, Dongol, Eerke Boiten, Feijen, Fidge, Fidge, Hayes, Hehner, John Derrick, John Derrick, Jones, Majster-Cederbaum, Moszkowski, Scholefield, Steve Reeves, Zhou   +35 more
core   +3 more sources

Concurrent Machines [PDF]

The Computer Journal, 1985
This paper starts with what seems a fairly general model of concurrent machines and, imposing certain constraints on labellings of input/output occurrences, derives an equivalent model based on a simple generalisation of the partial Mealy automaton.
openaire   +1 more source

Regression-free Synthesis for Concurrency [PDF]

, 2014
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We present an algorithm that avoids such regressions. The solution space is given by a set of program transformations we consider in for repair process.
Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Tarrach, Thorsten, Černý, Pavol   +4 more
core   +5 more sources

Concurrent Infusions [PDF]

Journal of Oncology Practice, 2008
Clarification of the appropriate use of the concurrent drug administration code.
openaire   +2 more sources

Stereotactic Body Radiation Therapy for Pediatric, Adolescent, and Young Adult Patients With Osteosarcoma: Local Control Outcomes With Dosimetric Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Osteosarcoma is a radioresistant tumor that may benefit from stereotactic body radiation therapy (SBRT) for locoregional control in metastatic/recurrent disease. We report institutional practice patterns, outcomes, toxicity, and failures in osteosarcoma patients treated with SBRT.
Jenna Kocsis, Shauna R. Campbell, Jonathan Jang, Eashwar Somasundaram, Chandana A. Reddy, Jacob G. Scott, Lilyana Angelov, Peter M. Anderson, Matteo Trucco, Zachary Burke, Lukas Nystrom, Nathan Mesko, Anthony Magnelli, Erin S. Murphy   +13 more
wiley   +1 more source

Between quantum logic and concurrency

, 2014
We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events.
Bernardinello, Luca, Ferigato, Carlo, Pomello, Lucia   +2 more
core   +2 more sources

Deterministic Behavioural Models for Concurrency [PDF]

, 1993
This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation.
Nielsen, M., Sassone, V., Winskel, G.
core   +2 more sources