Results 21 to 30 of about 24,092 (308)

Revocation techniques for Java concurrency [PDF]

Concurrency and Computation: Practice and Experience, 2006
This paper proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions—the ability to undo their effects automatically and transparently. These new techniques alleviate many of the constraints that inhibit construction of transparently scalable and robust concurrent ...
Adam Welc, Suresh Jagannathan, Antony L. Hosking   +2 more
openaire   +1 more source

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]

, 2010
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
A. Peymandoust, Alastair R. Beresford, Andreas Gal Albert Noll, Bram Adams, Bratin Saha, Carl Hewitt, Charles Antony Richard Hoare, Charles R. Johns, Chen-Yong Cher, Colin Blundell, David Ungar, David Wentzlaff, Doug Lea, ECMA International, Edward A. Lee, freescale semiconductor, Georg Sorst, Gul Agha, Hans Schippers, Haris Volos, Intel Corporation, James Gosling, Jim Gray, John A. Trono, John S. Danaher, John Zigman, Jos'e M. Piquer, Kevin Casey, Kevin Williams, Larry Seiler, Lukasz Ziarek, M. Anton Ertl, Mark S. Miller, Maurice Herlihy, Michael Haupt, Michael R. Marty, Nir Shavit, Pascal Costanza, Philipp Haller, Rajesh K. Karmani, Robert D. Blumofe, Robert Virding, Simon Gay, Sriram Srinivasan, Stefan Marr, Stefan Marr, Stijn Timbermont, Theo D'Hondt, Thomas Kistler, Tom Van Cutsem, Uwe Kastens, Vijay A. Saraswat, Virendra J. Marathe, Wenzhang Zhu, Wolfgang De Meuter, Xu Wang, Yaoqing Gao   +56 more
core   +3 more sources

Applying dynamic analysis to programs running in interpreted environments

Труды Института системного программирования РАН, 2018
The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software testing and analysis tools.
S. P. Vartanov, M. K. Ermakov, A. Y. Gerasimov   +2 more
doaj   +1 more source

Implementation of MapReduce parallel computing framework based on multi-data fusion sensors and GPU cluster

EURASIP Journal on Advances in Signal Processing, 2021
Nowadays, with the rapid growth of data volume, massive data has become one of the factors that plague the development of enterprises. How to effectively process data and reduce the concurrency pressure of data access has become the driving force for the
Dajun Chang, Li Li, Ying Chang, Zhangquan Qiao   +3 more
doaj   +1 more source

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [PDF]

, 2016
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting ...
A Corradini, A Rensink, A Rensink, AH Ghamarian, Alexander Heußner, B Meyer, B Meyer, B Morandi, D Lucanu, EB Johnsen, G Agha, G Geeraerts, G Rosu, J Armstrong, J Meseguer, J Meseguer, J Schäfer, J Tschannen, JS Ostroff, P Backes, PJ Brooke, PJ Brooke, S West, TF Şerbănuţă   +23 more
core   +3 more sources

Actors that Unify Threads and Events [PDF]

, 2007
There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes.
B. Chin, C. Varela, C.E. Hewitt, C.T. Haynes, D. Lea, D.A. Thomas, E. Gamma, G.A. Agha, H.C. Lauer, J. Armstrong, J.H. Nyström, P. Haller, R.P. Draves, T. Harris, T. Lindholm   +14 more
core   +1 more source

Clinical effectiveness and treatment satisfaction between two triple‐therapy regimens in treating neuropathic pain: A real‐world data

Ibrain, EarlyView., 2023
This study compared the clinical effectiveness and treatment satisfaction of Pregabalin and Gabapentin triple therapy for neuropathic pain in a real‐world setting. The primary outcome measured the reduction in mean Self‐Administered Leeds Assessment of Neuropathic Symptoms and Signs pain score value from baseline to 12 weeks posttreatment.
Nithya Raju, Samyuktha Villavan, Saranya Ravi, Roja Murugesan, Panneerselvam Theivendren, Vennila Jaganathan, Redlin Jani Rajan, Krupanidhi Karunanithi   +7 more
wiley   +1 more source

Dynamic program analysis for error detection using goal-seeking input data generation

Труды Института системного программирования РАН, 2018
This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing execution trace extraction, data flow tracing and input data generation for execution path ...
S. P. Vartanov, A. Y. Gerasimov
doaj   +1 more source

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems

IEEE Access, 2018
Simulation and performance evaluation of concurrent Java program execution have been difficult due to the lack of proper model and tools. Previous modeling and simulation approaches cannot simultaneously achieve three tasks: (1) support the direct ...
Chong Shum, Wing-Hong Lau, Tian Mao, Henry Shu-Hung Chung, Norman Chung-Fai Tse, Kim-Fung Tsang, Loi Lei Lai   +6 more
doaj   +1 more source

Flow Java: Declarative Concurrency for Java

, 2003
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations.
Drejhammar, Frej, Haridi, Seif, Brand, Per, Schulte, Christian   +3 more
openaire   +4 more sources