Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
153	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
113	Jeong Lim, Ralph E. Johnson	The heart of object-oriented concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
110	Oscar Nierstrasz	Two models of concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
88	Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha	Rosette: An object-oriented concurrent systems architecture.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
88	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
84	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
77	Avik Chaudhuri	A concurrent ML library in concurrent Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
59	Bernd J. Krämer	Specifying concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
59	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
58	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
58	Rafael Ramírez 0001	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
57	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
55	Dennis G. Kafura	Concurrent object-oriented real-times systems research.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
55	Ilies Alouini	Concurrent Garbage Collection for Concurrent Rewriting.	RTA	1995	DBLP DOI BibTeX RDF	Concurrent rewriting, Concurrent garbage collection algorithms, Graph rewriting, MIMD architectures
55	Manna Wu, Bo Zhou, Wei Shi	A self-adaptive test framework for concurrent programs.	MEDES	2009	DBLP DOI BibTeX RDF	concurrent test point, self-adaptive, concurrent bugs
51	Maurice Herlihy	Taking concurrency seriously (position paper).	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
50	Paola Mello	Concurrent objects in a logic programming framework.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Concurrent Prolog
48	Andrew A. Chien	Concurrent aggregates: using multiple-access data abstractions to manage complexity in concurrent programs.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
48	Simon M. Kaplan, Steven K. Goering	Garp: a graphical/textual language for concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
47	Ioannis Voyiatzis, Constantin Halatsis	A Low-Cost Concurrent BIST Scheme for Increased Dependability.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	input vector monitoring concurrent BIST, Built-in self test, concurrent testing
46	Yaling Zhang, Xiaofeng Wang	Message Substitute Attack on Concurrent Signatures Protocol and its Improvement.	ISECS	2008	DBLP DOI BibTeX RDF	Message Substitute Attack, Concurrent Signatures
46	Sherman S. M. Chow, Willy Susilo	Generic Construction of (Identity-Based) Perfect Concurrent Signatures.	ICICS	2005	DBLP DOI BibTeX RDF	Perfect Ambiguity, Bilinear Pairing, Fair-Exchange, Ring Signatures, Identity-based Signatures, Concurrent Signatures
46	Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo 0002	Software Testing and Metrics for Concurrent Computation.	APSEC	1996	DBLP DOI BibTeX RDF	software testing criterion, Concurrent programs, software complexity, rendezvous, Ada language
46	Rafael Ramírez 0001, 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
44	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
44	Gul Agha	Foundational issues in concurrent computing.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
44	Jan van den Bos	PROCOL: a protocol-constrained concurrent object-oriented language.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
44	Denis Caromel	A general model for concurrent and distributed object-oriented programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
44	Bruce Delagi, Nakul P. Saraiya	Elint in Lamina: application of a concurrent object language.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
42	Guilin Wang, Feng Bao 0001, Jianying Zhou 0001	The Fairness of Perfect Concurrent Signatures.	ICICS	2006	DBLP DOI BibTeX RDF	security protocol, fair exchange, Concurrent signature
42	Stanley Y. W. Su, Youzhong Liu, Jie Meng, Minsoo Lee, Herman Lam	Distributed and Concurrent Processing of Business Object Documents in Support of e-Enterprise Integration.	EDOC	2000	DBLP DOI BibTeX RDF	business object documents, e-enterprise integration, business enterprises, joint business, virtual e-enterprise, concurrent business processes, messaging approach, distributed object approach, business operations, application systems, BOD transmissions, extended information infrastructure, distributed concurrent process enactment, Internet, CORBA, process models, business process modelling, system integration, business data processing, Java RMI, concurrent processing, network structures, communication infrastructures, communication infrastructure, message transmission, distributed object technologies, legacy applications
42	Joaquim Gabarró, Xavier Messeguer, Daniel Riu	Concurrent Rebalancing on HyperRed-Black Trees.	SCCC	1997	DBLP DOI BibTeX RDF	concurrent rebalancing, HyperRed-Black trees, consecutive red nodes, Chromatic trees, red nodes, concurrent deletions algorithm, concurrent insertions, direct updating, red cluster, trees (mathematics), deletions
42	Brian Grayson, Saghir A. Shaikh, Stephen A. Szygenda	Statistics on concurrent fault and design error simulation.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent fault/design error simulation, design error simulation processes, c-sim, gate level concurrent simulator, event based statistics, gate evaluation statistics, simulator developers, hardware accelerator designers, design options, parallel algorithms, formal verification, circuit analysis computing, design verification, memory requirements, experimental data, concurrent simulators
42	George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
41	Gert Smolka	A Survey of Oz - A Higher-order Concurrent Constraint Language. (Long Version: Gert Smolka, Martin Henz, Jörg Würtz: Object-Oriented Concurrent Constraint Programming in Oz. DFKI Research Report RR-93-16)	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
41	Roland D. Weill	Short Introduction to the Concept of "Concurrent Engineering".	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	J. P. Kruth	New Manufacturing Techniques for Rapid Prototyping and Concurrent Engineering.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	Gideon Halevi	Topics for the Round Table Discussion on Concurrent Engineering.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	Gideon Halevi	The Magic Matrix as Smart Scheduler, Concurrent and CAPM.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	Frank-Lothar Krause, B. Ochs	Potential and Advanced Concurrent Engineering Methods.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	A. Sharon	The biggest bottlenecks in concurrent engineering.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	Roland D. Weill	Round Table Discussion of Concurrent Engineering.	Manufacturing in the Era of Concurrent Engineering	1992	DBLP BibTeX RDF
41	Peter de Jong	Concurrent organizational objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Chris Laffra, Jan van den Bos	Propagators and concurrent constraints.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Jeff McAffer, John Duimovich	Actra - an industrial strength concurrent object-oriented programming system.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Daniel T. Chang	CORAL: a concurrent object-oriented system for constructing and executing sequential, parallel and distributed applications.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky	OOPSLA panel on object-based concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Myra Jean Prelle, Ann Wollrath, Thomas J. Brando, Edward H. Bensley	The impact of selected concurrent language constructs on the Sam run-time system.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Chris Laffra, Jan van den Bos	Constraints in concurrent object-oriented environment.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Kohei Honda 0001, Mario Tokoro	A small calculus for concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Olivier F. Roux	Another proposal for a concurrency control level in concurrent object-oriented languages.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Alfredo Weitzenfeld, Michael A. Arbib	A concurrent object-oriented framework for the simulation of neural networks.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	John Hogg, Rodney Iversen	Representing concurrent communication systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1990	DBLP DOI BibTeX RDF
41	Etsuya Shibayama	Transformation of concurrent object systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Guy Lapaime, Patrick Sallé	Plasma-II: an actor approach to concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	William J. Dally, Andrew A. Chien	Object-oriented concurrent programming in CST.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk
41	Lawrence A. Crowl	Concurrent data structures and actor programming under the Matroshka model.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Edward A. Luke, Helen C. Takacs, William Claude Welch	Position statement on concurrent objects for massively parallel architectures.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Akinori Yonezawa, Takuo Watanabe	An introduction to object-based reflective concurrent computation.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Piyush Mehrotra, John Van Rosendale	Concurrent object access in BLAZE 2.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Tatsuo Nakajima, Yasuhiko Yokote, Mario Tokoro, Shinichi Ochiai, Tatsuo Nagamatsu	Distributed concurrent smalltalk: a language and system for the interpersonal environment.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	ConcurrentSmalltalk
41	Lujun Shang, Changpeng Fan, Lihui Xu	Concurrent behaviors.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
41	Minoru Uehara, Chisato Numaoka, Yasuhiko Yokote, Mario Tokoro	Sarek: a window system interface for object-oriented concurrent programming languages.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
40	Franz Puntigam	Flexible Types for a Concurrent Model.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
40	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
40	Martin T. Vechev, Eran Yahav, David F. Bacon	Correctness-preserving derivation of concurrent garbage collection algorithms.	PLDI	2006	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
40	Bangqing Li, Baowen Xu, Hongji Yang, William C. Chu	ConC++: A Concurrent C++.	COMPSAC	2000	DBLP DOI BibTeX RDF	ConC++, concurrent class, protected class, concurrent object-oriented, C++
40	Zhenqiang Chen, Baowen Xu, Hongji Yang, Kecheng Liu, Jianping Zhang	An Approach to Analyzing Dependency of Concurrent Programs.	APAQS	2000	DBLP DOI BibTeX RDF	concurrent program flow graph, concurrent program dependency graph, synchronal dependency
40	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
38	Dongvu Tonien, Willy Susilo, Reihaneh Safavi-Naini	Multi-party Concurrent Signatures.	ISC	2006	DBLP DOI BibTeX RDF	bilinear pairings, ring signature, concurrent signature
38	Kevin L. Mills, Hassan Gomaa	Knowledge-Based Automation of a Design Method for Concurrent Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	concurrent and real-time system design, software design, automated software engineering, knowledge-based software engineering
38	Luc Bougé, Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel	Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF	Concurrent insertions and deletions, Concurrent generalized rotations, Safety and liveness proofs, Search trees, AVL trees, Concurrent algorithms
38	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
38	Mark Klein	Core services for coordination in concurrent engineerin.	WETICE	1995	DBLP DOI BibTeX RDF	production engineering computing, cooperative endeavor, effective coordination, complex dependencies, coordination support technologies, concurrent engineering coordination, inclusive dependency capture language, core coordination services, exception handling, product development, product development, concurrent engineering, concurrent engineering, process enactment, design engineering
38	Eiji Harada, Janak H. Patel	Overhead reduction techniques for hierarchical fault simulation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	overhead reduction techniques, hierarchical fault simulation, simulation overhead, concurrent method, multi-list-traversal method, one-pass fault simulation strategy, characteristic vectors, contiguous concurrent machines, ISCAS benchmark circuits, fault ordering, logic test sequences, fault diagnosis, logic testing, combinational circuits, logic CAD, digital simulation, circuit analysis computing, concurrent engineering, multivalued logic circuits, ULSI, ULSI
37	Eugenio Battiston, A. Chizzoni, Fiorella de Cindio	CLOWN as a Testbed for Concurrent Object-Oriented Concepts.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
37	Lawrence A. Crowl	A uniform object model for parallel programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
37	Jean-Pierre Briot, Jean de Ratuld	Design of a distributed implementation of ABCL/I.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
37	Boris Magnusson	Process oriented programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
37	Ioannis Voyiatzis, Antonis M. Paschalis, Dimitris Gizopoulos, Constantin Halatsis, Frosso S. Makri, Miltiadis Hatzimihail	An Input Vector Monitoring Concurrent BIST Architecture Based on a Precomputed Test Set.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
37	Giuseppe Persiano, Ivan Visconti	Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds.	ICALP	2005	DBLP DOI BibTeX RDF
37	Khanh Nguyen	Asymmetric Concurrent Signatures.	ICICS	2005	DBLP DOI BibTeX RDF
37	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
37	Qin Huang, William E. Weihl	An evaluation of concurrent priority queue algorithms.	SPDP	1991	DBLP DOI BibTeX RDF
37	Karen Panetta Lentz, Elias S. Manolakos, Edward C. Czeck	On the simulation of Multiple Stuck-at Faults using Multiple Domain Concurrent and Comparative Simulation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	multiple stuck-at fault simulation, multiple domain simulation, comparative simulation, MDCCS, discrete event concurrent simulation, CPU time efficiency, digital logic fault simulation, fault diagnosis, logic testing, discrete event simulation, circuit analysis computing, fault location, concurrent engineering
37	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	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
37	Narain H. Gehani	Capsules: A Shared Memory Access Mechanism for Concurrent C/C++.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	shared memory access mechanism, Concurrent C/C++, messagepassing, dataabstraction, Concurrent C compiler, parallel programming, parallel programming, message passing, inheritance, inheritance, synchronisation, shared memory multiprocessor, shared memory systems, parallel languages, class, shared data structures, capsule
35	Gabriel Kliot, Erez Petrank, Bjarne Steensgaard	A lock-free, concurrent, and incremental stack scanning for garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	incremental and concurrent garbage collection, lock-free data structures, stack scanning
35	Filip Pizlo, Erez Petrank, Bjarne Steensgaard	A study of concurrent real-time garbage collectors.	PLDI	2008	DBLP DOI BibTeX RDF	lock-free computation, real-time, garbage collection, memory management, concurrent garbage collection
35	Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon 0002, Bratin Saha, Tatiana Shpeisman	Concurrent GC leveraging transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional integrity, virtual machines, transactional memory, compiler optimizations, concurrent garbage collection, strong atomicity
35	Michal Wegiel, Chandra Krintz	The mapping collector: virtual memory support for generational, parallel, and concurrent compaction.	ASPLOS	2008	DBLP DOI BibTeX RDF	parallel, concurrent, virtual memory, compaction
35	Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank	A parallel, incremental, mostly concurrent garbage collector for servers.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Garbage collection, JVM, concurrent garbage collection
35	Ionut Emil Iacob, Alex Dekhtyar	Parsing concurrent XML.	WIDM	2004	DBLP DOI BibTeX RDF	GODDAG, concurrent XML, overlapping markup, DOM
35	Debaleena Das, Nur A. Touba	Synthesis of Circuits with Low-Cost Concurrent Error Detection Based on Bose-Lin Codes.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	Bose-Lin codes, sequential circuits, logic synthesis, concurrent error detection, self-checking circuits
35	Sridhar Iyer, S. Ramesh 0001	A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.	APSEC	1997	DBLP DOI BibTeX RDF	Concurrent and distributed systems, software analysis and design, object-oriented programming, reachability analysis
35	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.	APSEC	1996	DBLP DOI BibTeX RDF	Ada programming language, Event InterActions Graph(EIAG), nondeterministic execution, software testing, concurrent programs, test-cases, structural testing, testing criteria
35	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Program dependence analysis of concurrent logic programs and its applications.	ICPADS	1996	DBLP DOI BibTeX RDF	program dependence analysis, language-independent program representations, dependence-based program representation, Literal Dependence Net, software engineering, testing, parallel programming, logic programming, software maintenance, debugging, software metrics, programming environments, programming environment, maintenance, program slicing, formal model, program debugging, data flows, control flows, complexity measurement, concurrent logic programs
35	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	Debugging Concurrent Ada Programs by Deterministic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
35	Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng	Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	concurrent data structure maintenance strategies, periodic maintenance, maximum response time, performance evaluation, performance analysis, parallel programming, data structures, network servers, network servers, incremental maintenance, average response time
35	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog