Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Wen-mei W. Hwu, Yale N. Patt	Exploiting horizontal and vertical concurrency via the HPSm microprocessor.	MICRO	1987	DBLP DOI BibTeX RDF
15	Gérard Boudol, Ilaria Castellani	On the Semantics of Concurrency: Partial Orders and Transition Systems.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
15	Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood	Concurrency Control in Database Structures with Relaxed Balance.	PODS	1987	DBLP DOI BibTeX RDF
15	J. Eliot B. Moss, Walter H. Kohler	Concurrency Features for the Trellis/Owl Language.	ECOOP	1987	DBLP DOI BibTeX RDF
15	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE (2)	1987	DBLP DOI BibTeX RDF
15	J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog	Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.	ICALP	1985	DBLP DOI BibTeX RDF
15	Philip S. Yu, Daniel M. Dias, John T. Robinson, Balakrishna R. Iyer, Douglas W. Cornell	Modelling of Centralized Concurrency Control in a Multi-System Environment.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
15	Alexander Thomasian, In Kyung Ryu	Analysis of Some Optimistic Concurrency Control Schemes Based on Certification.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
15	Udi Manber, Richard E. Ladner	Concurrency Control In a Dynamic Search Structure.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
15	Christos H. Papadimitriou, Paris C. Kanellakis	On Concurrency Control by Multiple Versions.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
15	Gael N. Buckley, Abraham Silberschatz	Concurrency Control in Graph Protocols by Using Edge Locks.	PODS	1984	DBLP DOI BibTeX RDF
15	Nancy A. Lynch	Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	transaction, atomicity, breakpoint
15	Michael J. Carey 0001	An Abstract Model of Database Concurrency Control Algorithms.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
15	Michael J. Carey 0001	Granularity Hierarchies in Concurrency Control.	PODS	1983	DBLP DOI BibTeX RDF
15	Gunter Schlageter	Problems of Optimistic Concurrency Control in Distributed Database Systems.	SIGMOD Rec.	1982	DBLP DOI BibTeX RDF
15	Christos H. Papadimitriou, Paris C. Kanellakis	On Concurrency Control by Multiple Versions.	PODS	1982	DBLP DOI BibTeX RDF
15	Richard Edwin Stearns, Daniel J. Rosenkrantz	Distributed Database Concurrency Controls Using Before-Values.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
15	Wen-Te K. Lin	Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
15	Yat-Sang Kwong, Derick Wood	On B-Trees: Routing Schemes and Concurrency.	SIGMOD Conference	1980	DBLP DOI BibTeX RDF
15	Rudolf Munz, Gunter Krenz	Concurrency in Database Systems - A Simulation Study.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF
15	Bruce P. Lester	Program Schemas with Concurrency: Execution Time and Hangups.	POPL	1975	DBLP DOI BibTeX RDF
15	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
15	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust, concurrent, extensible scripting on the JVM.	OOPSLA	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
15	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust concurrent scripting on the JVM.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
15	Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis	Deny-Guarantee Reasoning.	ESOP	2009	DBLP DOI BibTeX RDF
15	Antonio Monzon, José L. Fernández-Sánchez	Deadlock risk assessment in architectural models of real-time systems.	SIES	2009	DBLP DOI BibTeX RDF
15	Jim Larson	Erlang for Concurrent Programming.	ACM Queue	2008	DBLP DOI BibTeX RDF
15	Murat Demirbas, Onur Soysal, Muzammil Hussain	TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks.	IPSN	2008	DBLP DOI BibTeX RDF
15	Claudio V. Russo	Join patterns for visual basic.	OOPSLA	2008	DBLP DOI BibTeX RDF	join patterns, visual basic, asynchronous message passing
15	Ivo Barone, Andrea De Lucia, Fausto Fasano, Esterino Rullo, Giuseppe Scanniello, Genoveffa Tortora	COMOVER: Concurrent model versioning.	ICSM	2008	DBLP DOI BibTeX RDF
15	Juha Puustjärvi	Exploiting a database system in scheduling internet-based workflows.	iiWAS	2008	DBLP DOI BibTeX RDF	internet-based workflows, databases, workflows, SQL, isolation
15	Alessandro Ricci, Mirko Viroli	simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.	PPPJ	2007	DBLP DOI BibTeX RDF	agents & artifacts, simpA, concurrent programming
15	Kelly Heffner, David Tarditi, Michael D. Smith 0001	Extending Object-Oriented Optimizations for Concurrent Programs.	PACT	2007	DBLP DOI BibTeX RDF
15	Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter	Linguistic symbiosis between actors and threads.	ICDL	2007	DBLP DOI BibTeX RDF	AmbientTalk, linguistic symbiosis, events, threads, actors
15	Vivek Sarkar	Programming Challenges for Petascale and Multicore Parallel Systems.	HPCC	2007	DBLP DOI BibTeX RDF
15	Vijay A. Saraswat	X10: Concurrent Programming for Modern Architectures.	APLAS	2007	DBLP DOI BibTeX RDF
15	Alessandro Ricci, Mirko Viroli, Giulio Piancastelli	simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications.	LADS	2007	DBLP DOI BibTeX RDF
15	Volker Diekert, Manfred Kufleitner	On First-Order Fragments for Words and Mazurkiewicz Traces.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
15	Zhifang Li, Lei Li 0022, Hao Cui, Hai Wan	An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System.	CSCWD	2007	DBLP DOI BibTeX RDF
15	Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
15	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
15	Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar	May-happen-in-parallel analysis of X10 programs.	PPoPP	2007	DBLP DOI BibTeX RDF	may-happen-in-parallel, parallel program analysis, concurrent, atomic, activity, place, X10
15	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
15	Abdelsalam Shanneb, John Potter	Lock Selection Made Easy.	ASWEC	2006	DBLP DOI BibTeX RDF
15	Xin Li 0020, Reinhard von Hanxleden	A concurrent reactive Esterel processor based on multi-threading.	SAC	2006	DBLP DOI BibTeX RDF	multithreading, processor architecture, synchronous languages, esterel
15	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Timed Unfoldings for Networks of Timed Automata.	ATVA	2006	DBLP DOI BibTeX RDF
15	Chris R. Jesshope	muTC - An Intermediate Language for Programming Chip Multiprocessors.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	Self-adaptive computing, data-driven com-putation, programming chip multiprocessors, concurrent languages
15	Peter Van Roy	Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.	FLOPS	2006	DBLP DOI BibTeX RDF
15	Simon Kahan, Petr Konecny	"MAMA!": a memory allocator for multithreaded architectures.	PPoPP	2006	DBLP DOI BibTeX RDF	Eldorado, MTA, malloc, parallel memory allocation, multithreading, combining
15	Saisanthosh Balakrishnan, Gurindar S. Sohi	Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs.	ISCA	2006	DBLP DOI BibTeX RDF
15	Steve Dekorte	Io: a small programming language.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	prototype-based, object oriented, languages, actors, lazy evaluation, coroutines
15	Chia-Chu Chiang	A Formal Specification-Based Approach to Distributed Parallel Programming.	HASE	2004	DBLP DOI BibTeX RDF
15	Goetz Graefe, Michael J. Zwilling	Transaction support for indexed views.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
15	Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman	Mutation-Based Exploration of a Method for Verifying Concurrent Java Components.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Yongyan Wang, Qiang Wang, Hongan Wang, Guozhong Dai	Dynamic Adjustment of Execution Order in Real-Time Databases.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Bhushan Bauskar, Boleslaw Mikolajczak	Modeling inheritance anomaly in concurrent systems using colored Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
15	Changxiu Cheng, Paiwei Shen, Mingbo Zhang, Feng Lu	An Extended Locking Method for Geographical Database with Spatial Rules.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
15	Torbjörn Lager, Fredrik Kronlid	The CURRENT Platform: Building Conversational Agents in Oz.	MOZ	2004	DBLP DOI BibTeX RDF
15	Sérgio Soares, Paulo Borba	Aspect-oriented implementation method: progressive or non-progressive approach?	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	implementation method, progressive implementation, Java, aspect-oriented programming, separation of concerns, AspectJ
15	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
15	Frédéric Peschanski, David Julien	When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.	ZB	2003	DBLP DOI BibTeX RDF
15	Evaggelia Pitoura, Panos K. Chrysanthis	Multiversion Data Broadcast.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Mobile computing, broadcast, consistency, versioning, transaction management
15	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
15	Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen	Verification for Java's Reentrant Multithreading Concept.	FoSSaCS	2002	DBLP DOI BibTeX RDF
15	Jun Chen, Songting Chen, Elke A. Rundensteiner	A Transactional Model for Data Warehouse Maintenance.	ER	2002	DBLP DOI BibTeX RDF
15	João Paulo Barros	Specific proposals for the use of petri nets in a concurrent programming course.	ITiCSE	2002	DBLP DOI BibTeX RDF	FSP, process algebra, state machines, introductory course, LTSA
15	Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Group Mutual Exclusion In Tree Networks.	ICPADS	2002	DBLP DOI BibTeX RDF	Distributed algorithms, mutual exclusion, group mutual exclusion
15	Tom Holvoet, Pierre Verbaeten	Using Petri Nets for Specifying Active Objects and Generative Communication.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
15	Kazunori Ueda	Resource-Passing Concurrent Programming.	TACS	2001	DBLP DOI BibTeX RDF
15	Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.	ISORC	2000	DBLP DOI BibTeX RDF
15	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
15	W. F. Sánchez, Juan Hernández Núñez, Juan Manuel Murillo, José Luis Herrero, Roberto Rodríguez 0001	Adaptability of Object Distribution Protocols Using the Disguises Model Approach.	DOA	2000	DBLP DOI BibTeX RDF
15	Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu	Federated Transaction Management with Snapshot Isolation.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF
15	Jan Lindström, Kimmo E. E. Raatikainen	Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases.	RTCSA	1999	DBLP DOI BibTeX RDF
15	Martin C. Rinard, Monica S. Lam	The Design, Implementation, and Evaluation of Jade.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	parallel computing, parallel programming languages
15	Gleb Naumovich, George S. Avrunin	A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
15	Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán	A Synchronisation Mechanism for Replicated Objects.	SOFSEM	1998	DBLP DOI BibTeX RDF
15	Vivek Garg, David E. Schimmel	CCSIMD: A Concurrent Communication and Computation Framework for SIMD Machines.	PCRCW	1997	DBLP DOI BibTeX RDF
15	Kwei-Jay Lin, Ching-Sang Peng, Tony P. Ng	An Active Real-Time Database Model for Air Traffic Control Systems.	ARTDB	1997	DBLP DOI BibTeX RDF
15	Krithi Ramamritham, Rajendran M. Sivasankaran, John A. Stankovic, Donald F. Towsley, Ming Xiong	Integrating Temporal, Real-Time, and Active Databases.	SIGMOD Rec.	1996	DBLP DOI BibTeX RDF
15	Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima	A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.	APSEC	1996	DBLP DOI BibTeX RDF	ordered sequence testing criterion (OSC), C concurrent program, probe insertion, Software test, monitoring, UNIX, coverage
15	Dale Miller 0001	Linear Logic as Logic Programming: An Abstract.	LACL	1996	DBLP DOI BibTeX RDF
15	Dennis E. Shasha, François Llirbat, Eric Simon, Patrick Valduriez	Transaction Chopping: Algorithms and Performance Studies	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	locking, serializability, tuning, multidatabase
15	Dexter P. Bradshaw, Per-Åke Larson, Jacob Slonim	Transaction scheduling in dynamic composite multidatabase systems.	CASCON	1995	DBLP BibTeX RDF
15	Abdelsalam Helal, Tung-Hui Ku, Judson Fortner	Quasi-Dynamic Two-Phase Locking.	CIKM	1994	DBLP DOI BibTeX RDF	pre-declaration, adaptability, two-phase locking, resource contention, data contention
15	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.	ALP	1994	DBLP DOI BibTeX RDF
15	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
15	Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi	Reducing Recovery Constraints on Locking based Protocols.	PODS	1994	DBLP DOI BibTeX RDF
15	Dominique Bolignano, Mourad Debbabi	Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.	ISAAC	1992	DBLP DOI BibTeX RDF
15	Dennis E. Shasha, Eric Simon, Patrick Valduriez	Simple Rational Guidance for Chopping Up Transactions.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
15	David B. Lomet	MLR: A Recovery Method for Multi-level Systems.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
15	Paola Glavan, Dean Rosenzweig	Communicating Evolving Algebras.	CSL	1992	DBLP DOI BibTeX RDF
15	Crispin Cowan	Optimistic replication in HOPE.	CASCON	1992	DBLP BibTeX RDF
15	Christian Neusius	Synchronizing Actions.	ECOOP	1991	DBLP DOI BibTeX RDF
15	Jay Almarode	Issues in the Design and Implementation of a Schema Designer for an OODBMS.	ECOOP	1991	DBLP DOI BibTeX RDF
15	Robert Jellinghaus	Eiffel Linda: an object-oriented Linda dialect.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Linda, Eiffel
15	Michael J. Carey 0001, Sanjay Krishnamurthi, Miron Livny	Load Control for Locking: The 'Half-and-Half' Approach.	PODS	1990	DBLP DOI BibTeX RDF
15	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
15	Dimitris Christodoulakis	Modeling the semantics of smalltalk-80 with Petri nets.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk-80
15	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF