Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Klaus-Peter Löhr	Beyond Concurrent Pascal.	SOSP	1977	DBLP DOI BibTeX RDF	Language reliability, System implementation languages, System kernels, Concurrent Pascal, Traps
34	Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
34	Ori Shalev, Nir Shavit	Predictive log-synchronization.	EuroSys	2006	DBLP DOI BibTeX RDF	concurrent, synchronization, prediction, monitor
33	Raju Pandey, James C. Browne	Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
33	Robert H. Halstead Jr.	Past and Future Directions for Concurrent Task Scheduling.	Concurrent Objects and Beyond	2014	DBLP DOI BibTeX RDF
33	Akinori Yonezawa, Jean-Pierre Briot, Etsuya Shibayama	Object-Oriented Concurrent Programming in ABCL/1.	Concurrent Objects and Beyond	2014	DBLP DOI BibTeX RDF
33	Akinori Yonezawa	My Early Education and Concurrent Objects.	Concurrent Objects and Beyond	2014	DBLP DOI BibTeX RDF
33	Alessandro Ricci, Andrea Santi	From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL.	Concurrent Objects and Beyond	2014	DBLP DOI BibTeX RDF
33	Takuo Watanabe, Akinori Yonezawa	Reflection in an Object-Oriented Concurrent Language.	Concurrent Objects and Beyond	2014	DBLP DOI BibTeX RDF
33	Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer	09361 Abstracts Collection - Design and Validation of Concurrent Systems.	Design and Validation of Concurrent Systems	2009	DBLP BibTeX RDF
33	Pascal Chambre, Pierre Deransart	Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
33	Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi	Denotational semantics for Concurrent Constraint Programs analyses.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
33	Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi	Proving correctness of Concurrent Constraint Programs.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
33	Jörg Würtz	Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
33	Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi	Abstracting Synchronization in Concurrent Constraint Programming.	ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages	1994	DBLP BibTeX RDF
33	Sverker Janson, Johan Montelius, Seif Haridi	A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
33	Gideon Halevi, Roland D. Weill (eds.)	Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	Gideon Halevi, Roland D. Weill	Report on CIRP Review about C. A. P. P. (Computer Aided Process Planing).	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	Haim Sakat	Manufacturing Technology System.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	B. I. Cherpakov	Potentialities of Cooperation in the Field of State of the Art Technologies.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	F. Féru, Etienne Cocquebert, H. Chaouch, Dominique Deneux, René Soenen	Feature based modeling: sate of the art and evolution.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	W. Loeve	Engineering of Systems for Application of Scientific Computing in Industry.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	David Barkan	Computer Vision Upgrades Microelectronics Assembly.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	Gideon Halevi	Report on TC5 CATE TASK FORCE (Computer Aided Effective Task Force).	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	Rilly Maayan	The Two Stage M. M. I. S. Model as implemented at Elscint.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
33	Paul R. Wilson, Gul Agha, Carl Hewitt, Peter Wegner, Akinori Yonezawa (eds.)	Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1991	DBLP DOI BibTeX RDF
33	Etsuya Shibayama	Semantic Layers of Object-Based Concurrent Computing.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
33	Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa	Object-Oriented Concurrent Reflective Architectures.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
33	Michael Papathomas	A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
33	Minoru Uehara, Mario Tokoro	An adaptive load balancing method in the computational field model.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering	Specification and implementation of Actors with graph rewriting.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Dennis G. Kafura, Douglas Washabaugh, Jeff Nelson	Progress in the garbage collection of active objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	José Meseguer 0001	Rewriting as a unified model of concurrency.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Oscar Nierstrasz, Michael Papathomas	Towards a type theory for active objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Steven S. Popovich, Gail E. Kaiser, Shyhtsun Felix Wu	MELDing transactions and objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Tomoyuki Tanaka	Actor reflection without meta-objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Michele Di Santo, Giulio Iannello	Implementing actor-based primitives on distributed-memory architectures.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Jacques Malenfant, Guy Lapalme, Jean G. Vaucher	ObjVProlog-D: a reflexive object-oriented logic language for distributed computing.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Denis Caromel	A solution to the explicit/implicit control dilemma.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Pierre America	POOL: design and experience.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Dennis G. Kafura, R. Greg Lavender	Recent progress in combining actor-based concurrency with object-oriented programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
33	Gul Agha, Peter Wegner, Akinori Yonezawa (eds.)	Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	David R. Gilbert	Specification and Implementation of Concurrent Systems using PARLOG.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	W. David Crowe, Peter E. D. Strain-Clark	A Concurrent Approach to the Towers of Hanoi.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone	Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Peter Dybjer, Herbert P. Sander	A Functional Programming Approach to the Specification and Verification of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Vincenza Carchiolo, Alberto Faro, Michele Malgeri	A Tool for the Performance Analysis of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Vangalur S. Alagar, Greetha Ramanathan	Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	William C. Athas, Nanette J. Boden	Cantor: an actor programming system for scientific computing.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy	An object-based parallel programming assistant.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Itaru Ichikawa, Seiichi Aikawa, Mayumi Kamiko, Etsuo Ono, Tomoharu Mohri	Program design visualization system for object-oriented programs.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath	MITRE's future generation computer architectures program.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Edward J. Segall	Combining object-oriented techniques with data-driven parallel execution on message passing, MIMD computers.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Dave A. Thomas, Jeff McAffer, Brian M. Barry	Actra-a multitasking/multiprocessing smalltalk.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk-80
33	Martin Lester 0002, Roger Christensen	Felix, an object-oriented operating system.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	F. Carre, P. Clere	Object oriented languages and actors: which language for a distributed approach?	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Martin S. Feather	Language issues in the specification and design of composite systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Gist
33	Les Gasser	MACE: High-level distributed objects in a flexible testbed for distributed AI research.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Mike P. Papazoglou, Janis A. Bubenko Jr., Moira C. Norrie	Intent: an integrated environment for distributed heterogeneous databases.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	William L. Bain	Indexed, global objects for distributed memory parallel architectures.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	John F. Koegel	Parallel objects on distributed constraint logic programming machines.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	POOL
33	Thomas W. Christopher	Message driven computing and its relationship to actors.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Mehdi Jazayeri	Objects for distributed systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Lutz Heuser, Alexander Schill, Max Mühlhäuser	Extensions to the object paradigm for the development of distributed applications.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	David E. Langworthy	Evaluating correctness criteria for transactions.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Peter de Jong	The Ubik configurator: A fusion of messages, daemons, and rules.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Antonio Corradi, Letizia Leonardi	PO: an object model to express parallelism.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Jean-Pierre Briot	From objects to actors: study of a limited symbiosis in smalltalk-80.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk-80
33	Stephen A. MacKay, W. Morven Gentleman, Darlene A. Stewart	Harmony as an object-oriented operating system.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Andrea H. Skarra	Concurrency control for cooperating transactions in an object-oriented database.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Charles R. Ball, Theodore W. Leung, Carl A. Waldspurger	Analyzing patterns of message passing.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Dominique Decouchant, Sacha Krakowiak, Marie Meysembourg, Michel Riveill, Xavier Rousset de Pina	A synchronization mechanism for typed objects in a distributed system.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Bernd Hindel	An object-oriented programming language for distributed systems: Heraklit.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Yves Caseau	A model for a reflective object-oriented language.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Peter A. Buhr, Glen Ditchfield, C. Robert Zarnke	Adding concurrency to a statically type-safe object-oriented programming language.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Libero Nigro, Francesco Tisato	Object-based real-time programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Carl Manning	A peek at Acore, an actor core language.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
33	Leslie Lamport	An Axiomatic Semantics of Concurrent Programming Languages.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
33	C. A. R. Hoare	Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	C. A. R. Hoare	Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	Anne Kaldewaij	Trace Theory and the Specification of Concurrent Systems.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	Jean-Raymond Abrial	A Practical Approach to the Analysis of Concurrent Systems.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	Leslie Lamport	Problems from the Workshop on the Analysis of Concurrent Systems.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	Ben C. Moszkowski	A Temporal Analysis of Some Concurrent Systems.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
33	John S. Gourlay, William C. Rounds, Richard Statman	On Properties Preserved by Contraction of Concurrent Systems.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
33	Karl R. Abrahamson	Modal Logic of Concurrent Nondeterministic Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
33	Amir Pnueli	The Temporal Semantics of Concurrent Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
33	Otthein Herzog	Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
33	Yehuda Lindell	Lower Bounds and Impossibility Results for Concurrent Self Composition.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Self and general composition, Non-black-box and black-box simulation, Lower bounds, Secure computation, Protocol composition, Impossibility results
33	Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner	Dataflow analysis for concurrent programs using datarace detection.	PLDI	2008	DBLP DOI BibTeX RDF	locksets, interprocedural analysis, multithreaded programs, summaries
33	Juichi Takahashi, Hideharu Kojima, Zengo Furukawa	Coverage Based Testing for Concurrent Software.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
33	Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt	Concurrent aspects.	GPCE	2006	DBLP DOI BibTeX RDF	Java, concurrency, formal verification, aspect-oriented programming, implementation
33	Wilhelm Hasselbring	Programming languages and systems for prototyping concurrent applications.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	parallelism, concurrency, distribution, rapid prototyping, very high-level languages
33	Xin Zhang 0002, Elke A. Rundensteiner	DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment.	DaWaK	2000	DBLP DOI BibTeX RDF	Data Updates and Schema Changes, Concurrency, Data Warehousing, View Maintenance
33	Cynthia Dwork, Amit Sahai	Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints.	CRYPTO	1998	DBLP DOI BibTeX RDF
33	Youngmin Hur, Saghir A. Shaikh, Silvian Goldenberg, D. Kacprzak, Stephen A. Szygenda	Concurrent Fault and Design Error Simulation in Interactive Simulation Automation System.	Annual Simulation Symposium	1997	DBLP DOI BibTeX RDF
33	Maurice Herlihy, Jeannette M. Wing	Linearizability: A Correctness Condition for Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
33	Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.	PLDI	2007	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
33	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
33	Shigemasa Takai, Toshimitsu Ushio	Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control