Search results for "shared variables"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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
2	Olivier Tardieu, Stephen A. Edwards	R-SHIM: deterministic concurrency with recursion and shared variables.	MEMOCODE	2006	DBLP DOI BibTeX RDF
2	Frantisek Scuglik	Formal Specification of Shared Variables Using CSP.	ECBS	2004	DBLP DOI BibTeX RDF
2	Rajeev Alur, Radu Grosu	Shared Variables Interaction Diagrams.	ASE	2001	DBLP DOI BibTeX RDF
2	François Siewe, Dang Van Hung	Deriving Real-Time Programs from Duration Calculus Specifications.	CHARME	2001	DBLP DOI BibTeX RDF	Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables
2	Peter J. Ashenden, Philip A. Wilsey	Protected Shared Variables in VHDL: IEEE Standard 1076a.	IEEE Design & Test of Computers	1999	DBLP DOI BibTeX RDF
2	Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. (PDF / PS)	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
2	Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi	Randomized Naming Using Wait-Free Shared Variables.	Distributed Computing	1998	DBLP DOI BibTeX RDF	Naming problem, Unique process ID, Asynchronous distributed protocols, Wait-free read/write registers, Test-and-set objects, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary
2	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
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Mobile UNITY: Reasoning and Specification in Mobile Computing.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables
2	Celso Massaki Hirata, Jeff Kramer	An implementation of a technique for sharing variables in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	full replication strategy, causal effects, tie breaks, aggressive cancellation, lazy cancellation, optimised scheme of rollback, parallel programming, discrete event simulation, distributed memory systems, distributed memory systems, Time Warp, parallel discrete event simulation, time warp simulation, shared variables
2	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
2	James A. Brown, Erik Kane	APL2 Implementation of Cross-System Shared Variables.	APL	1992	DBLP DOI BibTeX RDF	Internet, APL
2	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
1	Hans-Juergen Boehm, Sarita V. Adve	You don't know jack about shared variables or memory models.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Liang Han, Wei Liu, James Tuck	Speculative parallelization of partial reduction variables.	CGO	2010	DBLP DOI BibTeX RDF	reduction variables, parallelization, thread-level speculation, multi-core architecture
1	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPOPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
1	Guangmin Wang, Xianjia Wang, Zhongping Wan	A fuzzy interactive decision making algorithm for bilevel multi-followers programming with partial shared variables among followers.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
1	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
1	Rachid Guerraoui, Michal Kapalka	The semantics of progress in lock-based transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
1	Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner	MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.	MOMPES	2009	DBLP DOI BibTeX RDF
1	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.	CAV	2009	DBLP DOI BibTeX RDF
1	Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001	Model Checking Linearizability via Refinement.	FM	2009	DBLP DOI BibTeX RDF
1	Robert Colvin, Ian J. Hayes	CSP with Hierarchical State.	IFM	2009	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
1	Alex A. Aravind, Wim H. Hesselink	A queue based mutual exclusion algorithm.	Acta Inf.	2009	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
1	Guangquan Zhang, Jie Lu, Ya Gao	Fuzzy bilevel Programming: Multi-Objective and Multi-Follower with Shared Variables.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1		Wait-Free Shared Variables.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
1	Simon Tjell, João M. Fernandes	Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.	DIPES	2008	DBLP DOI BibTeX RDF
1	Chinnakrishnan S. Ballapuram, Ahmad Sharif, Hsien-Hsin S. Lee	Exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors.	ASPLOS	2008	DBLP DOI BibTeX RDF	MESI protocol, internal and external snoops, self-modifying code, chip multiprocessors
1	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
1	Young-Joo Kim, Daeyoung Kim, Yong-Kee Jun	An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
1	Xinjun Chen, Wentong Cai, Stephen John Turner, Yong Wang	Shared Variable Management in SOAr-DSGrid.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF
1	Oliver Kopp, Rania Khalaf, Frank Leymann	Deriving Explicit Data Links in WS-BPEL Processes.	IEEE SCC	2008	DBLP DOI BibTeX RDF	DPE, BPEL, data-flow analysis, data links
1	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Verification of networks of timed automata using mCRL2.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Giorgos Ch. Philos, Vassilios V. Dimakopoulos, Panagiotis E. Hadjidoukas	A Runtime System Architecture for Ubiquitous Support of OpenMP.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Jörg Nitzsche, Barry Norton	Ontology-Based Data Mediation in BPEL (For Semantic Web Services).	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Ontologies, BPEL, Mediation, Semantic Business Process Management
1	Jasper Berendsen, Frits W. Vaandrager	Compositional Abstraction in Real-Time Model Checking.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rocio Senger de Souza, Adenilso da Silva Simão	Structural Testing for Semaphore-Based Multithread Programs.	ICCS	2008	DBLP DOI BibTeX RDF	software testing, testing criteria, multithread programs
1	Kazuhiro Ogata, 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
1	Robert Mittermayr, Johann Blieberger	Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Chenggen Shi, Hong Zhou, Jie Lu, Guangquan Zhang, Zhongwei Zhang	The Kth-best approach for linear bilevel multifollower programming with partial shared variables among followers.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	Chengmo Yang, Alex Orailoglu	Light-weight synchronization for inter-processor communication acceleration on embedded MPSoCs.	CASES	2007	DBLP DOI BibTeX RDF	synchronization, interprocessor communication
1	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPOPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
1	Jinquan Dai, Long Li, Bo Huang 0002	Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors.	CGO	2007	DBLP DOI BibTeX RDF
1	H'sien J. Wong, Alistair P. Rendell	The design of MPI based distributed shared memory systems to support OpenMP on clusters.	CLUSTER	2007	DBLP DOI BibTeX RDF
1	Antonio Fernández, Ernesto Jiménez, Michel Raynal	Electing an Eventual Leader in an Asynchronous Shared Memory System.	DSN	2007	DBLP DOI BibTeX RDF
1	Benjamin W. Wah, Soomin Lee	Hypergraph Partitioning for Exploiting Localities in Nonlinear Constrained Optimization.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Woongki Baek, Chi Cao Minh, Martin Trautmann, Christos Kozyrakis, Kunle Olukotun	The OpenTM Transactional Application Programming Interface.	PACT	2007	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Parameterized Verification of Infinite-State Processes with Global Conditions.	CAV	2007	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta	Fast and Accurate Static Data-Race Detection for Concurrent Programs.	CAV	2007	DBLP DOI BibTeX RDF
1	Sava Krstic, Amit Goel	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.	FroCos	2007	DBLP DOI BibTeX RDF
1	Li Chen, Issei Fujishiro	Optimization Strategies Using Hybrid MPI+OpenMP Parallelization for Large-Scale Data Visualization on Earth Simulator.	IWOMP	2007	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Michel Raynal	From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus.	PaCT	2007	DBLP DOI BibTeX RDF
1	Serdar Tasiran, Tayfun Elmas	Rollback Atomicity.	RV	2007	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
1	Xingwu Liu, Zhiwei Xu, Juhua Pu	Revisiting the Impossibility for Boosting Service Resilience.	TAMC	2007	DBLP DOI BibTeX RDF
1	Olivier Tardieu, Stephen A. Edwards	Scheduling-independent threads and exceptions in SHIM.	EMSOFT	2006	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign
1	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
1	Lukasz Ziarek, Philip Schatz, Suresh Jagannathan	Stabilizers: a modular checkpointing abstraction for concurrent functional programs.	ICFP	2006	DBLP DOI BibTeX RDF	transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML
1	Nebojsa Jojic, John M. Winn, C. Lawrence Zitnick	Escaping local minima through hierarchical model selection: Automatic object discovery, segmentation, and tracking in video.	CVPR	2006	DBLP DOI BibTeX RDF
1	Hee Seo, Seon Wook Kim	OpenMP Directive Extension for BlackFin 561 Dual Core Processor.	CIT	2006	DBLP DOI BibTeX RDF
1	Lisa Higham, Jalal Kawash	Tight Bounds for Critical Sections in Processor Consistent Platforms.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models
1	Vineet Kahlon, Aarti Gupta, Nishant Sinha	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
1	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani	To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT).	LPAR	2006	DBLP DOI BibTeX RDF
1	Cristian Coarfa, Yuri Dotsenko, John M. Mellor-Crummey, François Cantonnet, Tarek A. El-Ghazawi, Ashrujit Mohanti, Yiyi Yao, Daniel G. Chavarría-Miranda	An evaluation of global address space languages: co-array fortran and unified parallel C.	PPOPP	2005	DBLP DOI BibTeX RDF	co-array fortran, global address space languages, unified parallel C, performance, scalability, compilers, parallel languages, UPC, CAF
1	Rushikesh K. Joshi, Subash Rajaa	Modeling VP operation: the Diwali Festival Problem.	Operating Systems Review	2005	DBLP DOI BibTeX RDF
1	Sheng-Hsiung Chen, Ting-Lu Huang	A Fair and Space-ef.cient Mutual Exclusion.	ICPADS	2005	DBLP DOI BibTeX RDF
1	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
1	Ryan Newton, Arvind, Matt Welsh	Building up to macroprogramming: an intermediate language for sensor networks.	IPSN	2005	DBLP DOI BibTeX RDF
1	Akira Yamawaki, Masahiko Iwane	Coherence Maintenances to realize an efficient parallel processing for a Cache Memory with Synchronization on a Chip-Multiprocessor.	ISPAN	2005	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Sven Schewe	Uniform Distributed Synthesis.	LICS	2005	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea	Sociable Interfaces.	FroCos	2005	DBLP DOI BibTeX RDF
1	Hagen Völzer	On Conspiracies and Hyperfairness in Distributed Computing.	DISC	2005	DBLP DOI BibTeX RDF
1	Cesare Tinelli, Calogero G. Zarba	Combining Nonstably Infinite Theories.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	combination of decision procedures, Nelson-Oppen method
1	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
1	Lisa Higham, Jalal Kawash	Implementing Sequentially Consistent Programs on Processor Consistent Platforms.	ISPAN	2004	DBLP DOI BibTeX RDF
1	Christel Baier, Frank Ciesinski, Marcus Größer	PROBMELA: a modeling language for communicating probabilistic processes.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Shuang Quan Li, Huo Yan Chen, Yu Xia Sun	A framework of reachability testing for Java multithread programs.	SMC	2004	DBLP DOI BibTeX RDF
1	Joxan Jaffar	A CLP Approach to Modelling Systems.	APLAS	2004	DBLP DOI BibTeX RDF
1	Mikhail Bernadsky, Raman Sharykin, Rajeev Alur	Structured Modeling of Concurrent Stochastic Hybrid Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Joxan Jaffar	A CLP Approach to Modelling Systems.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Dávid Hanák, Tamás Szeredi, Péter Szeredi	FDBG, the CLPFD Debugger Library of SICStus Prolog.	ICLP	2004	DBLP DOI BibTeX RDF
1	Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn	Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
1	Christoph von Praun	Efficient Computation of Communicator Variables for Programs with Unstructured Parallelism.	LCPC	2004	DBLP DOI BibTeX RDF
1	Agustín Goñi, Yadran Eterovic	Building Precise UML Constructs to Model Concurrency Using OCL.	UML	2004	DBLP DOI BibTeX RDF
1	H. Sarojadevi, S. K. Nandy, S. Balakrishnan	On the Correctness of Program Execution When Cache Coherence Is Maintained Locally at Data-Sharing Boundaries in Distributed Shared Memory Multiprocessors.	International Journal of Parallel Programming	2004	DBLP DOI BibTeX RDF	programmer-centric framework, release consistency memory model, performance evaluation, cache coherence, Distributed shared-memory multiprocessor
1	Wen-Kang Wei, Kuo-Feng Ssu, Hewijin Christine Jiau	Implementation of Nonstop Software Update for Client-Server Applications.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Sam Maes, Joke Reumers, Bernard Manderick	Identifiability of Causal Effects in a Multi-Agent Causal Model.	IAT	2003	DBLP DOI BibTeX RDF
1	Marina Biberstein, Eitan Farchi, Shmuel Ur	Choosing among Alternative Pasts.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Yichen Xie, Dawson R. Engler	Using Redundancies to Find Errors.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	program redundancy, software quality, error detection, Extensible compilation
1	Mustaque Ahamad, Michel Raynal	Ordering vs Timeliness: Two Facets of Consistency?	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
1	Marco Cadoli	Proposal-Based Negotiation in Convex Regions.	CIA	2003	DBLP DOI BibTeX RDF
1	Masataka Takamura, Yoshihide Igarashi	Group Mutual Exclusion Algorithms Based on Ticket Orders.	COCOON	2003	DBLP DOI BibTeX RDF
1	Leonor Prensa Nieto	The Rely-Guarantee Method in Isabelle/HOL.	ESOP	2003	DBLP DOI BibTeX RDF