Search results for "process synchronization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jiannong Cao, Miaomiao Wang, Weigang Wu, Xianbing Wang, Stephen C. F. Chan	A Generic Distributed Monitor Construct for Programming Process Synchronization in Distributed Systems.	ISPA	2007	DBLP DOI BibTeX RDF	Distributed monitor construct, Distributed systems, Distributed mutual exclusion, Process synchronization
3	Gunter Schlageter	Process Synchronization in Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	integrity, database systems, locking, process synchronization, parallel process systems, database consistency
2	Mithun Acharya, Robert Funderlic	'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives.	SIGCSE Bulletin	2003	DBLP DOI BibTeX RDF
2	D. Schmidradler, W. Van Dyck, K. Furst, H. Hufnagel	Fault Analysis and Performance Monitoring in Prototyping Machine Vision Systems. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	machine vision systems, prototype stage, hardware components, algorithms, computer vision, software design, process control, performance monitoring, hardware design, digital image processing, fault analysis, process synchronization, FPGA design, industrial environment
2	Xiaodong Zhang, Xiaohan Qin	Performance Prediction and Evaluation of Parallel Processing on a NUMA Multiprocessor.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	nonuniform memory access, parallel processing performance, BBN GP1000, NUMA shared-memory multiprocessor, scheduling, performance evaluation, parallel processing, programming environment, multiprocessing systems, analytical models, interprocessor communication, process scheduling, network contention, process synchronization, memory contention, optimal strategies, remote memory access
2	Rajive Bagrodia	Process Synchronization: Design and Performance Evaluation of Distributed Algorithms.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	committee coordination problem, multiway rendezvous, message counts, synchronization problem, exclusion problem, circulating token, auxiliary resources, level of conflict, message switching, performance evaluation, computational complexity, distributed algorithms, network topology, network topology, synchronisation, response time, message complexity, simulation study, process synchronization, model parameters
2	G. Greiter	Remarks on Language Concepts for specifying Process Synchronization.	SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
1	Vladislav Nazaruk, Pavel Rusakov	Blocking and Non-Blocking Process Synchronization: Analysis of Implementation.	J. Riga Technical University	2011	DBLP DOI BibTeX RDF
1		Process Synchronization.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Jörg Rodenhagen, Florian Strecker	Using Multi-subjects for Process Synchronization on Different Abstraction Levels.	S-BPM ONE	2010	DBLP DOI BibTeX RDF
1	Xiao Peng, Li Yuanyuan, Deng Wu	A Model of Distributed Interprocess Communication System.	WKDD	2009	DBLP DOI BibTeX RDF
1	Claude Kaiser, Jean-François Pradat-Peyre	Weak Fairness Semantic Drawbacks in Java Multithreading.	Ada-Europe	2009	DBLP DOI BibTeX RDF
1	Sriram Raghunathan	Extending Inter-process Synchronization with Robust Mutex and Variants in Condition Wait.	ICPADS	2008	DBLP DOI BibTeX RDF
1	Abu Zafar M. Shahriar, Md. Mostofa Akbar, Mohammad Sohel Rahman, Muhammad Abdul Hakim Newton	A multiprocessor based heuristic for multi-dimensional multiple-choice knapsack problem.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	Multiprocessor systems, Heuristic algorithms, Knapsack problem, Process synchronization, Inter process communication
1	Weikuan Yu, Jeffrey S. Vetter	ParColl: Partitioned Collective I/O on the Cray XT.	ICPP	2008	DBLP DOI BibTeX RDF
1	Xiaoning Ma, Jiancheng Fang, Wei Sheng	Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks.	ICIRA	2008	DBLP DOI BibTeX RDF	VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication
1	Linmin Yang, Yong Wang, Zhe Dang	Automata on Multisets of Communicating Objects.	UC	2008	DBLP DOI BibTeX RDF
1	Luis Panizo, Ramón-Ángel Fernández, Lidia Sánchez	A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization.	J. UCS	2007	DBLP BibTeX RDF
1	Grzegorz J. Nalepa, Igor Wojnicki	Visual Generalized Rule Programming Model for Prolog with Hybrid Operators.	INAP/WLP	2007	DBLP DOI BibTeX RDF
1	Boguslaw Schreyer, Wojciech Wawrzynski	Finite automata models for CS problem with binary semaphore.	ITiCSE	2006	DBLP DOI BibTeX RDF	computer science education, finite automata, process synchronization
1	Chidamber Kulkarni, Gordon J. Brebner	Memory centric thread synchronization on platform FPGAs.	DATE	2006	DBLP DOI BibTeX RDF
1	Buquan Liu, Yiping Yao, Jing Tao, Huaimin Wang	Implementation of time management in a runtime infrastructure.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Jalal Kawash	Process Synchronization with Readers and Writers Revisited.	CIT	2005	DBLP BibTeX RDF
1	Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter	Typechecking Safe Process Synchronization.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter	Correspondence assertions for process synchronization in concurrent communications.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
1	Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok	Real-time task scheduling anomaly: observations and prevention.	SAC	2005	DBLP DOI BibTeX RDF	process synchronization, real-time task scheduling
1	Korochkin Alexandr, Salah Imad, Korochkin Dmitry	Experimental performance analysis of ada programs in cluster system.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed (cluster) systems, java, ada, monitor, process, mutual exclusion, SMP, remote procedure call, process synchronization, client-server model
1	Jacqueline Signorini, Patrick Greussay	Object-oriented wound healing in the liver: a class-structured view of fibrogenesis and a glimpse of its evolution.	SAC	2005	DBLP DOI BibTeX RDF	bio-computing processes, liver fibrogenic cascade, object-oriented specification languages, UML
1	Rodrigo Schmidt, Islene C. Garcia, Fernando Pedone, Luiz Eduardo Buzato	Optimal Asynchronous Garbage Collection for RDT Checkpointing Protocols.	ICDCS	2005	DBLP DOI BibTeX RDF	rollback-dependency trackability, garbage collection, rollback-recovery, distributed checkpointing
1	Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter	Correspondence Assertions for Process Synchronization in Concurrent Communications.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Jacqueline Signorini, Patrick Greussay	Object-oriented design for the specification of the blood clotting cascade: a class-structured view of bio-computing processes.	SAC	2004	DBLP DOI BibTeX RDF	blood clotting cascade, proteolytic enzyme networks, object-oriented design, UML specifications
1	Terrence S. T. Mak, Kai-Pui Lam	High Speed GAML-based Phylogenetic Tree Reconstruction Using HW/SW Codesign.	CSB	2003	DBLP DOI BibTeX RDF
1	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Busy Wait Analysis.	Ada-Europe	2003	DBLP DOI BibTeX RDF
1	Alan S. Abrahams, David M. Eyers, Jean Bacon	An asynchronous rule-based approach for business process automation using obligations.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	policies, contracts, conflict resolution, conflict detection
1	Gurdip Singh	Specifying Synchronization in Distributed Shared Memory Programs.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
1	Scott Makeig	Far-field electrophysiology reflects top-down control.	ISBI	2002	DBLP DOI BibTeX RDF
1	Christian Heinlein	Workflow and Process Synchronization with Interaction Expressions and Graphs.	ICDE	2001	DBLP DOI BibTeX RDF
1	Bedrich Benes, Rafael Forsbach	Parallel implementation of terrain erosion applied to the surface of Mars.	Afrigraph	2001	DBLP DOI BibTeX RDF	Terrain erosion, Parallel algorithms, Volume graphics
1	Jiannong Cao, Nick K. C. Cheung, Alvin T. S. Chan	Run-Time Fault Detection in Monitor Based Concurrent Programming.	DSN	2001	DBLP DOI BibTeX RDF
1	Apan Qasem, David B. Whalley, Xin Yuan, Robert van Engelen	Using a Swap Instruction to Coalesce Loads and Stores.	Euro-Par	2001	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa, Roland H. C. Yap	Concurrent Programming Made Easy.	ICECCS	2000	DBLP DOI BibTeX RDF	constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications
1	Janusz Borkowski	Towards More Powerful and Flexible Synchronization Primitives.	PARELEC	2000	DBLP DOI BibTeX RDF
1	Christian Ebner	Efficiency evaluation of a time-triggered architecture for vehicle body-electronics.	ECRTS	1998	DBLP DOI BibTeX RDF
1	Giovanni Chiola, Giuseppe Ciaccio	Fast Barrier Synchronization on Shared Fast Ethernet.	CANPC	1998	DBLP DOI BibTeX RDF
1	Craig E. Wills	Process Synchronization and Interprocess Communications.	The Computer Science and Engineering Handbook	1997	DBLP BibTeX RDF
1	Jordan Bonney, Ranga S. Ramanujan, Atiq Ahamad, Siddhartha Takkella, Kenneth J. Thurber	Distributed Hardware Support for Process Synchronization in NSM Workstation Clusters.	CANPC	1997	DBLP DOI BibTeX RDF
1	Shiuh-Pyng Shieh, Fu-Shen Ho	A Comment on "A Total Ordering Multicast Protocol Using Propagation Trees".	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	distributed systems, group communication, process synchronization, Multicast protocols, message ordering
1	Masaru Takesue	A tampering protocol for reducing the coherence transactions in regular computation.	ISPAN	1997	DBLP DOI BibTeX RDF	tampering protocol, coherence transactions, regular computation, latency of communication, protocols, multiprocessor, cache-coherence protocol, RTL simulator
1	Craig E. Wills	Process Synchronization and IPC.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF
1	Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi	Process Synchronization In Workflow Management Systems.	SPDP	1996	DBLP BibTeX RDF
1	José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes	An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks.	PDP	1996	DBLP DOI BibTeX RDF	interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number
1	Christian Clémençon, Bodhisattwa Mukherjee, Karsten Schwan	Distributed Shared Abstractions (DSA) on Multiprocessor.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	application dependent memory consistency, fragmented objects, topology, Distributed shared memory, asynchronous events
1	Manhoi Choy, Ambuj K. Singh	Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	committee coordination, failure locality, dining philosophers, distributed resource allocation
1	Xiaohua Jia	A Total Ordering Multicast Protocol Using Propagation Trees.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF
1	Donald Johnson, David J. Lilja, John Riedl	A Distributed Hardware Mechanism for Process Synchronization on Shared-Bus Multiprocessors.	ICPP	1994	DBLP BibTeX RDF
1	Dale Miller	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
1	Donald Acton	A C toolkit to support parallel programming.	CASCON	1992	DBLP DOI BibTeX RDF
1	Stephen J. Hartley	Experience with the language SR in an undergraduate operating systems course.	SIGCSE	1992	DBLP DOI BibTeX RDF	SR
1	Daniel C. McCrackin, Barna Szabados	Using Horizontal Prefetching to Circumvent the Jump Problem.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	horizontal prefetching, jump problem, independent instruction streams, memory utilization, prototype machine, performance, design, computer architecture, interprocessor communication, instruction sets, context switching, process synchronization, processor utilization, processor performance
1	Lawrence M. Ruane	Process Synchronization in the UTS Kernel.	Computing Systems	1990	DBLP BibTeX RDF
1	Shingo Nomura, Toru Hasegawa, Takashi Takizuka	A LOTOS compiler and process synchronization manager.	PSTV	1990	DBLP BibTeX RDF
1	Honda Shing, Lionel M. Ni	Resource binding - a universal approach to parallel programming.	SC	1990	DBLP BibTeX RDF
1	Richard Gerber, Insup Lee	CCSR: A Calculus for Communicating Shared Resources.	CONCUR	1990	DBLP DOI BibTeX RDF
1	James R. Goodman, Mary K. Vernon, Philip J. Woest	Efficent Synchronization Primitives for Large-Scale Cache-Coherent Multiprocessors.	ASPLOS	1989	DBLP DOI BibTeX RDF
1	David K. Garnick, A. Toni Cohen	Locality in distributed computations.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
1	Chyuan Samuel Hsieh, Elizabeth A. Unger	Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
1	Satoshi Hasegawa, Jane W.-S. Liu	A Reliable Token-Driven Process Synchronization Algorithm.	ICDCS	1986	DBLP BibTeX RDF
1	Anna Labella, Alberto Pettorossi	Universal Models in Categories for Process Synchronization.	Mathematical Models for the Semantics of Parallelism	1986	DBLP DOI BibTeX RDF
1	Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra	Compiling Path Expressions into VLSI Circuits.	POPL	1985	DBLP DOI BibTeX RDF
1	R. J. Peterson, Jimmy P. Strickland	LOG Write-Ahead Protocols and IMS/VS Logging.	PODS	1983	DBLP DOI BibTeX RDF	process synchronization point, recovery strategy, resource consistency, system log, database, database management system, transaction, system failure
1	Paul J. Voda	Maple: a Programming Language, Operating System.	POPL	1982	DBLP DOI BibTeX RDF
1	Matti O. Jokinen	The Effect of Parameter Passing and Other Implementation Dependent Mechanisms is Undecedable.	SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
1	Gunter Schlageter	Reply to "Errors in 'Process Synchronization in Database Systems'".	SIGMOD Record	1981	DBLP DOI BibTeX RDF
1	Philip A. Bernstein, Marco A. Casanova, Nathan Goodman	Errors in 'Process Synchronization in Database Systems'.	SIGMOD Record	1981	DBLP DOI BibTeX RDF
1	P. Guillier, D. Slosberg	An Architecture with Comprehensive Facilities of Inter-Process Synchronization and Communication.	ISCA	1980	DBLP DOI BibTeX RDF
1	Michael O. Rabin	N-Process Synchronization by 4 log _2 N-Valued Shared Variables	FOCS	1980	DBLP DOI BibTeX RDF
1	Mamoru Maekawa	Operating system conceptual model for ease of extension.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF	Family of Operating Systems, Computer-Aided Design, Operating systems, Maintenance, Resources, Data Abstraction
1	Philip A. Bernstein, Marco A. Casanova, Nathan Goodman	Comments on "Process Synchronization in Database Systems".	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF
1	Abraham Silberschatz	Serializability in multi-level monitor environments.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Concurrent operation, Serial operation, Monitors, Operating systems, Correctness, Classes, Asynchronous processes
1	A. J. Gerber	Process Synchronization by Counter Variables.	Operating Systems Review	1977	DBLP DOI BibTeX RDF
1	Santosh K. Shrivastava	Process synchronization in high-level languages.	International Journal of Parallel Programming	1975	DBLP DOI BibTeX RDF
1	Robert C. Chen	Representation of process synchronization.	Operating Systems Review	1975	DBLP DOI BibTeX RDF
1	Roy H. Campbell, A. Nico Habermann	The specification of process synchronization by path expressions.	Symposium on Operating Systems	1974	DBLP DOI BibTeX RDF
1	William B. Easton	Process Synchronization without Long-Term Interlock.	SOSP	1971	DBLP BibTeX RDF