Search results for "concurrent programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Aysu Betin-Can, Tevfik Bultan	Highly dependable concurrent programming using design for verification.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
3	Vijay K. Garg, Neeraj Mittal	A Critique of Java for Concurrent Programming.	IEEE Distributed Systems Online	2005	DBLP DOI BibTeX RDF	await, Java, concurrent programming, invariants, nondeterminism
3	Chris J. Harrison	ICPL: an initial concurrent programming language.	SIGCSE Bulletin	2002	DBLP DOI BibTeX RDF	concurrent programming language, message passing, processes, teaching
2	Alex A. Aravind	Yet Another Simple Solution for the Concurrent Programming Control Problem.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	process/thread synchronization, nonatomicity, LRU fairness, bounded timestamps, fault tolerant, shared memory, concurrent programming, Mutual exclusion
2	Tobias Berka, Helge Hagenauer, Marián Vajtersic	A Middleware for Concurrent Programming in MPI Applications.	ICPP Workshops	2011	DBLP DOI BibTeX RDF	Performance, Reliability, Parallel programming, Concurrent programming, Threads
2	Mathias Ricken, Robert Cartwright	Test-first Java concurrency for the classroom.	SIGCSE	2010	DBLP DOI BibTeX RDF	cs education, java, software engineering, tools, concurrent programming, unit testing, junit
2	Di Wang, Vyas Venkataraman, Zhen Wang, Wei Qin, Hangsheng Wang, Mrinal Bose, Jayanta Bhadra	Accelerating multi-party scheduling for transaction-level modeling.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	concurrent programming., multiparty rendezvous, scheduling, transaction level modeling
2	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
2	Gary T. Leavens	Use concurrent programming models to motivate teaching of programming languages.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	concurrency, computational models, programming models, concepts, programming language curriculum, paradigms
2	Takashi Ajiro, Kensei Tsuchida	Visual programming language for bit-level concurrent programming: APECbits.	VL/HCC	2008	DBLP DOI BibTeX RDF
2	Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stirewalt, Shaohua Xie, Laura K. Dillon	A study of student strategies for the corrective maintenance of concurrent software.	ICSE	2008	DBLP DOI BibTeX RDF	think-aloud method, software maintenance, concurrent programming
2	Michael B. Feldman	SF1: introduction to ada.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, reliability, ada, object-oriented programming, programming language, software, concurrent programming
2	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPOPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
2	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
2	William P. McCartney, Nigamanth Sridhar	Abstractions for safe concurrent programming in networked embedded systems.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, static analysis, multi-threading, programming methodology
2	Ulrike Glavitsch, Thomas M. Frey	A Case Study in Concurrent Programming with Active Objects.	JMLC	2006	DBLP DOI BibTeX RDF
2	Federico Meza, Jorge Pérez R., Yadran Eterovic	Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach.	ISSADS	2005	DBLP DOI BibTeX RDF	parallel programming, multithreading, concurrent programming, distributed shared memory, Distributed mutual exclusion
2	Salvador Lucas, José Meseguer	Termination of Fair Computations in Term Rewriting.	LPAR	2005	DBLP DOI BibTeX RDF	fairness, program analysis, Concurrent programming, termination, term rewriting
2	Aysu Betin-Can, Tevfik Bultan	Verifiable Concurrent Programming Using Concurrency Controllers.	ASE	2004	DBLP DOI BibTeX RDF
2	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
2	Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.	TFM	2004	DBLP DOI BibTeX RDF	Formal Specification, Ada, Code Generation, Safety, Concurrent Programming, Liveness
2	N. V. Bocharov	Concurrent Programming Technologies and Techniques.	Programming and Computer Software	2003	DBLP DOI BibTeX RDF
2	Aaron W. Keen, Ronald A. Olsson	An Inter-entry Invocation Selection Mechanism for Concurrent Programming Languages.	Euro-Par	2003	DBLP DOI BibTeX RDF
2	Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez	Lambda Goes to Hollywood.	PADL	2003	DBLP DOI BibTeX RDF	distributed computing, design patterns, Functional programming, concurrent programming, real-world applications
2	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
2	Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Mayo, Ching-Kuang Shene	A communication library to support concurrent programming courses.	SIGCSE	2002	DBLP DOI BibTeX RDF
2	João Paulo Barros	Use petri nets to improve your concurrent programming course.	ITiCSE	2001	DBLP DOI BibTeX RDF
2	Kazunori Ueda	Resource-Passing Concurrent Programming.	TACS	2001	DBLP DOI BibTeX RDF
2	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
2	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
2	Takashi Ishihara, Tiejun Li, Eugene F. Fodor, Ronald A. Olsson	A Comparison of Concurrent Programming and Cooperative Multithreading.	Euro-Par	2000	DBLP DOI BibTeX RDF
2	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
2	Guang Yang, Ivan Tomek	Team Lab: A Collaborative Environment for Teamwork. (PDF / PS)	CRIWG	2000	DBLP DOI BibTeX RDF	Team Lab, geographical separation, code development, concurrent programming activity, central code repository, software development, efficiency, programming environments, quality, productivity, collaborative virtual environment, teamwork, collaborative environment, client-server application, software development teams
2	Katharina Mehner, Annika Wagner	Visualizing the Synchronization of Java-Threads with UML. (PDF / PS)	VL	2000	DBLP DOI BibTeX RDF	object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization
2	Beverly A. Sanders	Using atomic await commands to develop concurrent programs in Java.	Software - Concepts and Tools	2000	DBLP DOI BibTeX RDF	Atomic await, Java, Concurrent programming
2	Christopher H. Nevison	Seminar: safe concurrent programming in Java with CSP.	SIGCSE	1999	DBLP DOI BibTeX RDF	Java, concurrent programming, CSP, threads
2	Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz	M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.	Acta Inf.	1998	DBLP DOI BibTeX RDF
2	Michael B. Feldman, Bruce D. Bachus	Concurrent programming CAN be introduced into the lower-level undergraduate curriculum.	ITiCSE	1997	DBLP DOI BibTeX RDF	Ada
2	Rafael Ramirez	A logical approach for specification and execution of concurrent real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
2	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation
2	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
2	Mordechai Ben-Ari	Using inheritance to implement concurrency.	SIGCSE	1996	DBLP DOI BibTeX RDF	object-oriented programming, concurrent programming
2	Colin Allison	Developing Distributed Group Communication in pSR.	PDP	1996	DBLP DOI BibTeX RDF	distributed group communication, pSR, persistent SR, concurrent programming language SR, Synchronising Resources, persistent resources, high level programming language, group semantic options, persistent distributed environment, parallel programming, semantics, resource allocation, groupware, parallel languages, IP multicast, shared objects, implementation strategies
2	B. Noorduin, Jan van Katwijk, Cornelis Pronk	Gnass: a Gnat-based allocation and scheduling system.	RTCSA	1996	DBLP DOI BibTeX RDF	Gnass, Gnat-based allocation and scheduling system, Ada 95 programming language, flexible task scheduling, real-time multiprocessor applications, parallel processing, concurrent programming, processor allocation, timing requirements, Solaris
2	Enno Scholz	Turning a functional data type into a concurrent programming language.	SAC	1995	DBLP DOI BibTeX RDF	concurrent programming language design, functional programming, continuations, higher-order programming
2	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
2	Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson	Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.	HUG	1993	DBLP DOI BibTeX RDF
2	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
2	Eike Best, Richard P. Hopkins	B(PN)2 - a Basic Petri Net Programming Notation.	PARLE	1993	DBLP DOI BibTeX RDF	Concurrent Programming Notation, Peterson's Mutual Exclusion Algorithm, Petri Nets
2	Ehud Y. Shapiro	Embeddings Among Concurrent Programming Languages (Preliminary Version).	CONCUR	1992	DBLP DOI BibTeX RDF
2	António Porto, Paulo Rosado	The AbstrAct Scheme for Concurrent Programming.	ELP	1992	DBLP DOI BibTeX RDF
2	Michele Di Santo, Wilma Russo	The ensemble system: concurrent programming on a personal computer.	SIGPLAN Notices	1991	DBLP DOI BibTeX RDF	Turbo Pascal
2	David Hemmendinger	Specifying Ada Server Tasks with Executable Formal Grammars.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Ada server tasks specification, executable formal grammars, concurrent programming problems, synchronization constructs, Prolog programs, formal specification, parallel programming, Ada, grammars
2	Jeong Lim, Ralph E. Johnson	The heart of object-oriented concurrent programming.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
2	Simon M. Kaplan, Steven K. Goering	Garp: a graphical/textual language for concurrent programming.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
2	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
2	Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura	Concurrent Programming in COB.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
2	Ikuo Takeuchi	Concurrent Programming in TAO - Practice and Experience.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
2	C.-D. Jung, E. Siberrt	Polling in Concurrent Programming.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
2	James L. Silver	Concurrent programming in an upper level operating systems course.	SIGCSE	1989	DBLP DOI BibTeX RDF
2	R. C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
2	Boleslaw K. Szymanski	A simple solution to Lamport's concurrent programming problem with linear wait.	ICS	1988	DBLP DOI BibTeX RDF
2	Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth	A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SPANNER software environment, selection/resolution model, cluster variables, simulation, parallel programming, concurrency, distributed computing, specification, coordination, distributed processing, programming environments, concurrent programming, reachability analysis, software environment, dining philosophers, finite-state machine model
2	Narain H. Gehani, William D. Roome	Rendezvous Facilities: Concurrent C and the Ada Language.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	rendezvous concept, parallel programming, parallel programming, Ada, Ada, concurrent programming, C language, Concurrent C
2	Gul Agha, Carl Hewitt	Concurrent Programming Using Actors: Exploiting large-Scale Parallelism.	FSTTCS	1985	DBLP DOI BibTeX RDF
2	Per Brinch Hansen	Multiprocessor Architectures For Concurrent Programs.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Hierarchical stores, Language-directed computer design, Monitors, Processes, Concurrent programming, Real-time applications, Multiprocessor architecture
1	Lianghuan Kang, Donggang Cao	An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming.	ISORC Workshops	2012	DBLP DOI BibTeX RDF
1	Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Shengyuan Wang, Yuan Dong	A verifiable low-level concurrent programming model based on colored Petri nets.	SCIENCE CHINA Information Sciences	2011	DBLP DOI BibTeX RDF
1	Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou	Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities.	FedCSIS	2011	DBLP BibTeX RDF
1	Tomas Petricek, Don Syme	Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming.	PADL	2011	DBLP DOI BibTeX RDF
1	John M. Hunt, Tim Willison	California speedway: a concurrent programming project for beginners.	ACM Southeast Regional Conference	2011	DBLP DOI BibTeX RDF
1	Paul Tarau	Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!).	DAMP	2011	DBLP DOI BibTeX RDF
1	Uwe D. Hohenstein, Urs Gleim	Using aspect-orientation to simplify concurrent programming.	AOSD (Companion)	2011	DBLP DOI BibTeX RDF
1	Kevin Marth, Shangping Ren	Actor-eUML for Concurrent Programming.	ER Workshops	2011	DBLP DOI BibTeX RDF
1	Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer	Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages.	ESEM	2011	DBLP DOI BibTeX RDF
1	Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub	Practical parallel and concurrent programming.	SIGCSE	2011	DBLP DOI BibTeX RDF
1	David Camp, Christoph Garth, Hank Childs, David Pugmire, Kenneth I. Joy	Streamline Integration Using MPI-Hybrid Parallelism on a Large Multicore Architecture.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	modes of computation, parallel programming, Concurrent programming, display algorithms, picture/image generation, parallelism and concurrency
1	Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer	A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages	CoRR	2010	DBLP BibTeX RDF
1	José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima	An Aspect-based Approach for Concurrent Programming using CSP Features.	ICSOFT	2010	DBLP BibTeX RDF
1	Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy	DRFX: a simple and efficient memory model for concurrent programming languages.	PLDI	2010	DBLP DOI BibTeX RDF	memory model exception, soft fences, memory models, data races, sequential consistency
1	Romain Demeyer	Program Analysis to Support Concurrent Programming in Declarative Languages.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen	Concurrent programming with revisions and isolation types.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
1	JongSoo Park, William J. Dally	Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures.	SPAA	2010	DBLP DOI BibTeX RDF	compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming
1	Richard H. Carver, Jeff Lei	A Stateful Approach to Testing Monitors in Multithreaded Programs.	HASE	2010	DBLP DOI BibTeX RDF	monitor, concurrent programming, reachability testing
1	Karam Park, Joon-Sang Park, Won Woo Ro	On Improving Parallelized Network Coding with Dynamic Partitioning.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	Conversion from sequential to parallel forms, parallel algorithms, concurrent programming, data communications, network communications
1	Magdalena Dukielska, Jacek Sroka	JavaSpaces NetBeans: a linda workbench for distributed programming course.	ITiCSE	2010	DBLP DOI BibTeX RDF	distributed debugger, netbeans, distributed programming, integrated development environment, linda, javaspaces
1	Hagit Attiya	The inherent complexity of transactional memory and what to do about it.	PODC	2010	DBLP DOI BibTeX RDF	mini-transactions, lower bounds, transactional memory
1	Hagit Attiya, G. Ramalingam, Noam Rinetzky	Sequential verification of serializability.	POPL	2010	DBLP DOI BibTeX RDF	verification, concurrency, reduction, serializability
1	Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
1	João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka	Leveraging parallel nesting in transactional memory.	PPOPP	2010	DBLP DOI BibTeX RDF	nested parallel programs, transactional memory, work-stealing, fork-join
1	Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi	GAMBIT: effective unit testing for concurrency libraries.	PPOPP	2010	DBLP DOI BibTeX RDF	preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction
1	Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel	Is transactional programming actually easier?	PPOPP	2010	DBLP DOI BibTeX RDF	synchronization, transactional memory, optimistic concurrency
1	Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh	Introducing concurrency in CS 1.	SIGCSE	2010	DBLP DOI BibTeX RDF	objectdraw, java, concurrency, cs 1
1	David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski	Simplifying concurrent algorithms by exploiting hardware transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	synchronization, transactional memory, hardware
1	Jim Larson	Erlang for concurrent programming.	Commun. ACM	2009	DBLP DOI BibTeX RDF
1	Danny Hendler	Book review of synchronization algorithms and concurrent programming by Gadi Taubenfeld (Pearson/Prentice Hall, 2006).	SIGACT News	2009	DBLP DOI BibTeX RDF
1	Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Yi Lin William Au Yeung, Aaron W. Keen, Ronald A. Olsson	Generic operations and capabilities in the JR concurrent programming language.	Computer Languages, Systems & Structures	2009	DBLP DOI BibTeX RDF
1	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser	Dingo: taming device drivers.	EuroSys	2009	DBLP DOI BibTeX RDF	reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance