Search results for "shared-variable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng	Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.	IPDPS	2005	DBLP DOI BibTeX RDF
44	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
36	Xinjun Chen, Wentong Cai 0001, Stephen John Turner, Yong Wang	Shared Variable Management in SOAr-DSGrid.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
33	R. L. Potyok	Network Shared Variable Processor.	APL	1988	DBLP DOI BibTeX RDF	APL
32	Qingyuan Bai, Jun Hong 0001, Michael F. McTear	Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views.	ADVIS	2004	DBLP DOI BibTeX RDF
30	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
29	Gruia-Catalin Roman, H. Conrad Cunningham	Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mixed programming metaphors, simple language, shared dataspace approach, rule-based computations, asynchronous processing modes, highly dynamic program, synchrony relation, partially synchronous computations, programming notation, programming strategies, example programs, shared dataspace model, formal operational model, parallel programming, data structure, data structures, concurrency, message-passing, parallel languages, Swarm, programming paradigms, concurrent computation, shared-variable, programming construct, unified model
28	Henri E. Bal, Andrew S. Tanenbaum	Distributed programming with shared data.	ICCL	1988	DBLP DOI BibTeX RDF
27	Jürgen Dingel	Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.	IFM	2000	DBLP DOI BibTeX RDF
27	Thomas Kolarik	Extending the Two-Partner Shared Variable Protocol to n Partners.	APL	1993	DBLP DOI BibTeX RDF	APL
23	Jayant DeSouza, Laxmikant V. Kalé	MSA: Multiphase Specifically Shared Arrays.	LCPC	2004	DBLP DOI BibTeX RDF
21	Jürgen Dingel	A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.	AMAST	1998	DBLP DOI BibTeX RDF
21	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
21	Lefteris M. Kirousis, Andreas G. Veneris	Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations.	WDAG	1993	DBLP DOI BibTeX RDF
20	Jim Woodcock 0001, Arthur P. Hughes	Unifying Theories of Parallel Programming.	ICFEM	2002	DBLP DOI BibTeX RDF
20	Steven J. Halasz, Andrei V. Kondrashev	Talking with an APL via DDE: Teaching an Old Dog New Tricks.	APL	1993	DBLP DOI BibTeX RDF	APL, Windows
20	Ken Mizuno, Takuya Nakaike, Toshio Nakatani	Reducing Rollbacks of Transactional Memory Using Ordered Shared Locks.	Euro-Par	2009	DBLP DOI BibTeX RDF
18	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
18	Huibiao Zhu, Shengchao Qin, Jifeng He 0001, Jonathan P. Bowen	Integrating Probability with Time and Shared-Variable Concurrency.	SEW	2006	DBLP DOI BibTeX RDF
18	John C. Reynolds	Toward a Grainless Semantics for Shared-Variable Concurrency.	FSTTCS	2004	DBLP DOI BibTeX RDF
18	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
18	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	A Compositional Proof System for Shared Variable Concurrency.	FME	1997	DBLP DOI BibTeX RDF
18	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.	FSTTCS	1997	DBLP DOI BibTeX RDF
18	Jürgen Dingel	Modular Verification for Shared-Variable Concurrent Programs.	CONCUR	1996	DBLP DOI BibTeX RDF
18	Sibsankar Haldar, Paul M. B. Vitányi	Bounded concurrent timestamp systems using vector clocks.	J. ACM	2002	DBLP DOI BibTeX RDF	Concurrent reading while writing, labeling and scan, nonatomic operation execution, operation execution, operation-read and write, regular and atomic, shared variable-safe, timestamp system, traceability, label, wait-freedom, vector clock
18	Ming Li 0001, John Tromp, Paul M. B. Vitányi	How to Share Concurrent Wait-Free Variables.	J. ACM	1996	DBLP DOI BibTeX RDF	concurrent reading and writing, multi-writer, shared variable (register), atomicity
18	Sibsankar Haldar, K. Vidyasankar	Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	nonatomic operation execution, reader and writer, regular and atomic, shared variable-safe, wait-freedom
17	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.	ICFEM	2008	DBLP DOI BibTeX RDF	observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ
17	Sibsankar Haldar, P. S. Subramanian	Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable.	WDAG	1994	DBLP DOI BibTeX RDF
17	James H. Anderson, Bojan Groselj	Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
17	Stanislaw Chrobot	The Anatomy of Deadlock.	ICPP	2001	DBLP DOI BibTeX RDF
17	Montse Farreras, George Almási 0001, Calin Cascaval, Toni Cortes	Scalable RDMA performance in PGAS languages.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Jacob Harris, Vivek Sarkar	Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet.	OOPSLA	1998	DBLP DOI BibTeX RDF	language design and implementation, world wide web, persistence, distributed and parallel systems
15	Liang Han, Wei Liu 0014, James Tuck 0001	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
15	Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman	Detecting and tolerating asymmetric races.	PPoPP	2009	DBLP DOI BibTeX RDF	race detection and toleration, dynamic instrumentation, runtime support
15	Steve MacDonald, Jun Chen 0018, Diego Novillo	Choosing Among Alternative Futures.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
14	Yong-Kee Jun, Charles E. McDowell	Scalable Monitoring Technique for Detecting Races in Parallel Programs.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
14	Prasad Vishnubhotla	Fine-grain parallelism in the ALPS programming language.	SC	1990	DBLP DOI BibTeX RDF
14	Xiaodong Zhang 0001, Yong Yan 0003, Robert Castañeda	Comparative Performance Evaluation of Hot Spot Contention Between MIN-Based and Ring-Based Shared-Memory Architectures.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Hierarchical Rings (HR), performance modeling and measurements, the BBN TC2000, the KSR1, shared-memory, Multistage Interconnection Network (MIN), hot spot, slotted rings
13	Ran Li, Huibiao Zhu, Richard Banach	Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx.	Internet Things	2023	DBLP DOI BibTeX RDF
13	Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke	Specifying and Reasoning About Shared-Variable Concurrency.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
13	Ran Li, Huibiao Zhu, Richard Banach	A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.	ICFEM	2022	DBLP DOI BibTeX RDF
13	Ran Li, Huibiao Zhu, Richard Banach	Translating CPS with Shared-Variable Concurrency in SpaceEx.	SETTA	2022	DBLP DOI BibTeX RDF
13	Panagiotis Sotiropolos, Costas Vassilakis	Detection of intermittent faults in software programs through identification of suspicious shared variable access patterns.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
13	Thomas Kahl	Higher-dimensional automata modeling shared-variable systems.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
13	Cliff B. Jones	Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
13	Thomas Kahl	Higher-dimensional automata modeling shared-variable systems.	CoRR	2018	DBLP BibTeX RDF
13	Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin 0001, Jun Sun 0001	Compositional Reasoning for Shared-Variable Concurrent Programs.	FM	2018	DBLP DOI BibTeX RDF
13	Apostolos Modas, Simone Casale Brunet, Robert J. Stewart 0001, Endri Bezati, Junaid Jameel Ahmad, Marco Mattavelli	Shared-variable Synchronization Approaches for Dynamic Data Flow Programs.	SiPS	2018	DBLP DOI BibTeX RDF
13	Andrew Butterfield	UTCP: Compositional Semantics for Shared-Variable Concurrency.	SBMF	2017	DBLP DOI BibTeX RDF
13	Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu 0003, Alwen Tiu, Shang-Wei Lin 0001, Zhimin Wu, Jun Sun 0001	Compositional Reasoning for Shared-variable Concurrent Programs.	CoRR	2016	DBLP BibTeX RDF
13	Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper 0001, Anton Wijs	Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations.	MODELSWARD (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
13	Richard Banach, Huibiao Zhu	Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems.	FTSCS	2016	DBLP DOI BibTeX RDF
13	Richard Bornat, Hasan Amjad	Explanation of two non-blocking shared-variable communication algorithms.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
13	James Sharp	Shared variable analyser for hardware descriptions.		2013	RDF
13	Huibiao Zhu, Fan Yang, Jifeng He 0001, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin	Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.	J. Log. Algebraic Methods Program.	2012	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Jeff W. Sanders, Jifeng He 0001, Shengchao Qin	Denotational Semantics for a Probabilistic Timed Shared-Variable Language.	UTP	2012	DBLP DOI BibTeX RDF
13	Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)	CoRR	2011	DBLP BibTeX RDF
13	Alastair F. Donaldson, Alexander Kaiser 0001, Daniel Kroening, Thomas Wahl	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.	CAV	2011	DBLP DOI BibTeX RDF
13	Cheng-Yang Fu, Meng-Huan Wu, Ren-Song Tsay	A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems.	DATE	2011	DBLP DOI BibTeX RDF
13	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
13	Yongxin Zhao, Xu Wang 0001, Huibiao Zhu	Towards a Pomset Semantics for a Shared-Variable Parallel Language.	UTP	2010	DBLP DOI BibTeX RDF
13	Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming Chen	Handling shared variable synchronization in multi-core Network-on-Chips with distributed memory.	SoCC	2010	DBLP DOI BibTeX RDF
13	Frank S. de Boer	A shared-variable concurrency analysis of multi-threaded object-oriented programs.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Shengchao Qin, Jifeng He 0001, Jonathan P. Bowen	PTSC: probability, time and shared-variable concurrency.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF
13	Huibiao Zhu, Fan Yang, Jifeng He 0001, Jonathan P. Bowen, Jeff W. Sanders	Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.	SEW	2009	DBLP DOI BibTeX RDF	PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking
13	Frank S. de Boer	A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
13	Stanislaw Chrobot, Agata Stras, Robert Stras	ARS: an integrated package for shared-variable and message-passing computations in object-based systems.	Concurr. Pract. Exp.	1998	DBLP DOI BibTeX RDF
13	Qiwen Xu, Willem P. de Roever, Jifeng He 0001	The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.	Formal Aspects Comput.	1997	DBLP DOI BibTeX RDF
13	Antonio Cau, Pierre Collette	Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.	Acta Informatica	1996	DBLP DOI BibTeX RDF
13	Stephen D. Brookes	Full Abstraction for a Shared-Variable Parallel Language.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
13	Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst	Compositionality in Real-Time Shared Variable Concurrency.	FTRTFT	1996	DBLP DOI BibTeX RDF
13	Jichang Kang, Yian Zhu, Yuanlin Hong, Bishan Ying	Shared variable oriented parallel precompiler for SPMD model.	J. Comput. Sci. Technol.	1995	DBLP DOI BibTeX RDF
13	Eric Shade, K. T. Narayana	Real-Time Semantics for Shared-Variable Concurrency	Inf. Comput.	1993	DBLP DOI BibTeX RDF
13	Stephen D. Brookes	Full Abstraction for a Shared Variable Parallel Language	LICS	1993	DBLP DOI BibTeX RDF
13	B. Schend	A Methodology for Detecting Shared Variable Dependencies in Logic Programs.	J. Symb. Comput.	1991	DBLP DOI BibTeX RDF
13	Karl Soop, Roderic A. Davis II	Extended shared-variable sessions.	APL	1985	DBLP DOI BibTeX RDF
13	Nancy A. Lynch, Michael J. Fischer	A Technique for Decomposing Algorithms Which Use a Single Shared Variable.	J. Comput. Syst. Sci.	1983	DBLP DOI BibTeX RDF
13	John A. Gerth	Toward shared variable events implications of (@@@@)SVE in APL2.	APL	1983	DBLP DOI BibTeX RDF
13	Michael O. Rabin	N-Process Mutual Exclusion with Bounded Waiting by 4 Log_2 N-Valued Shared Variable.	J. Comput. Syst. Sci.	1982	DBLP DOI BibTeX RDF
13	James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson	Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.	J. ACM	1982	DBLP DOI BibTeX RDF
13	Bruce J. Hartigan	AP19 - a shared variable terminal I/O interface for APL systems.	APL	1981	DBLP DOI BibTeX RDF
13	Subramanya K. Shastry	A generalized APL shared variable system.	APL	1975	DBLP DOI BibTeX RDF
12	Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra	Latency Hiding in Multi-Threading and Multi-Processing of Network Applications.	PACT	2007	DBLP DOI BibTeX RDF
12	Marina Biberstein, Eitan Farchi, Shmuel Ur	Choosing among Alternative Pasts.	IPDPS	2003	DBLP DOI BibTeX RDF
12	Prasenjit Mitra	An algorithm for answering queries efficiently using views.	ADC	2001	DBLP DOI BibTeX RDF
12	Edward T. Ordman	Mimimal threshold separators and memory requirements for synchronization (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
11	Xinyu Feng 0001	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
11	Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
11	Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström	Shared Data Analysis for Multi-Tasking Real-Time System Testing.	SIES	2007	DBLP DOI BibTeX RDF
11	Cheng Shao, Evelyn Pierce, Jennifer L. Welch	Multi-writer Consistency Conditions for Shared Memory Objects.	DISC	2003	DBLP DOI BibTeX RDF
9	Koushik Sen, Grigore Rosu, Gul Agha	Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.	FMOODS	2005	DBLP DOI BibTeX RDF
9	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
9	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani	Heuristics for Finding Concurrent Bug.	IPDPS	2003	DBLP DOI BibTeX RDF
9	Scotte Zinn, Michael H. Coffin	Efficient event generation for detecting races.	CASCON	1993	DBLP BibTeX RDF
9	Steven M. German	Automating Proofs of the Absence of Common Runtime Errors.	POPL	1978	DBLP DOI BibTeX RDF
9	Chengmo Yang, Alex Orailoglu	Light-weight synchronization for inter-processor communication acceleration on embedded MPSoCs.	CASES	2007	DBLP DOI BibTeX RDF	synchronization, interprocessor communication
9	Matteo Monchiero, Gianluca Palermo, Cristina Silvano, Oreste Villa	Efficient Synchronization for Embedded On-Chip Multiprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
9	Lei Pan 0001, Ming Kin Lai, Koji Noguchi, Javid J. Huseynov, Lubomir Bic, Michael B. Dillencourt	Distributed Parallel Computing Using Navigational Programming.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	navigational programming, incremental parallelization, message passing, distributed shared memory, distributed parallel computing
9	Nasser Kalantery	The MultiLoop Programming Construct.	HIPS	2004	DBLP DOI BibTeX RDF