Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel	Petri Nets, Event Structures and Domains.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Gérard Memmi	Notion de Dualité et de Symétrie dans les Réseuaux de Pétri.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Nancy A. Lynch, Michael J. Fischer	On Describing the Behavior and Implementation of Distributed Systems.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Nissim Francez	On Achieving Distributed Termination.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Michel Sintzoff	Principles for Distributing Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Jack B. Dennis (eds.)	Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Anatol W. Holt, Frederic G. Commoner	Events and conditions: state machines and information.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Prakash G. Hebalkar	Coordinated sharing of resources in asynchronous systems.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Anatol W. Holt, Frederic G. Commoner	Events and conditions: introduction.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Anatol W. Holt, Frederic G. Commoner	Events and conditions: system description.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Charles L. Seitz	Asynchronous machines exhibiting concurrency.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Anatol W. Holt, Frederic G. Commoner	Events and conditions: properties of marked graphs.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Michael S. Paterson, Carl E. Hewitt	Comparative schematology.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Jack B. Dennis	Bibliography.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Suhas S. Patil	Closure properties of interconnections of determinate systems.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Stanley M. Altman, Peter J. Denning	Decompositions of control networks.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Jim Gray 0001	Locking.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Peter J. Denning	On the determinacy of schemata.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Jack B. Dennis	Modular, asynchronous control structures for a high performance processor.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Dennis Tsichritzis	Computational processes.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
26	Donald R. Slutz	Flow graph schemata.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
25	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
25	Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger	Trading Probability for Fairness.	CSL	2002	DBLP DOI BibTeX RDF
25	Ami Litman, Shiri Moran-Schein	Smooth Scheduling under Variable Rates or the Analog-Digital Confinement Game.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Smooth scheduling, Variable rates, Confinement games, Concurrent confinement games, Non-concurrent confinement games, EDF schemes, EDF strategies, Online scheduling, Two players games
25	Ami Litman, Shiri Moran-Schein	Smooth scheduling under variable rates or the analog-digital confinement game.	SPAA	2006	DBLP DOI BibTeX RDF	EDF schemes, EDF strategies, concurrent confinement games, confinement games, non-concurrent confinement games, smooth scheduling, variable rates, online scheduling, two players games
25	Mohammad A. Naal, Emmanuel Simeu, Salvador Mir	On-Line Testable Decimation Filter Design for AMS Systems.	IOLTS	2003	DBLP DOI BibTeX RDF	non-concurrent, semi-concurrent, SigmaDelta, decimation filters, analogue BIST, on-line testing
25	Kenny Qili Zhu, Kar-Loon Ong	A reactive method for real time dynamic vehicle routing problem.	ICTAI	2000	DBLP DOI BibTeX RDF	real time dynamic vehicle routing problem, concurrent agent-based reactive vehicle routing system, generic concurrent infrastructure, incremental local optimization heuristic, reactive method, real-time systems, optimisation, transportation, heuristic programming, vehicles
25	Naotake Kamiura, Masashi Tomita, Teijiro Isokawa, Nobuyuki Matsui	On Realization of Fault-Tolerant Fuzzy Controllers.	IOLTW	2000	DBLP DOI BibTeX RDF	concurrent compensation, fault tolerance, fuzzy control, stuck-at faults, concurrent test
25	Shalini Yajnik, Niraj K. Jha	Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	concurrent fault location, fault diagnosis, concurrent error detection, transient faults, graceful degradation, Algorithm-based fault tolerance
25	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
25	Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli	Automatic data mapping of signal processing applications.	ASAP	1997	DBLP DOI BibTeX RDF	automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages
25	Edward A. Lee, Alberto L. Sangiovanni-Vincentelli	Comparing models of computation.	ICCAD	1996	DBLP DOI BibTeX RDF	concurrent sequential processes, denotational framework, synchronous events, totally ordered set, value-tag pair, Petri nets, discrete-event systems, models of computation, partially ordered set, concurrent processes, Kahn process networks, sequential processes
25	Mark Russinovich, Zary Segall	Application-transparent checkpointing in Mach 3.O/UX.	HICSS (1)	1995	DBLP DOI BibTeX RDF	application-transparent checkpointing, Mach 3/UX, software based recovery techniques, virtual memory checkpointing algorithms, concurrent Unix applications, stable storage medium, snapshot algorithm execution, checkpoint commit execution, disk storage requirement, external pager facility, parallel programming, distributed computation, Unix, Unix, system recovery, software fault tolerance, operating systems (computers), system performance, virtual storage, concurrent processes, hard disk
25	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
25	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
25	Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta	Spawn: A Distributed Computational Economy.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	distributed computational economy, market-based computational system, Spawn system, idle computational resources, heterogeneous computer workstations, coarse-grain concurrent applications, concurrent Monte Carlo simulations, resource distribution, price equilibria, idle processor time, experimental workbench, parallel programming, fairness, computer networks, Monte Carlo methods, distributed network, remote execution, computational markets
25	Bharat K. Bhargava, John Riedl	The Raid Distributed Database System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Raid distributed database system, adaptable distributed database system, consistent replicated copies, site failures, atomic distributed commitment, layered communications package, location-independent interface, high-performance configuration, reliable distributed transaction processing, transaction processing time, server CPU time, consistent replicated copy control, concurrent distributed checkpointing, transaction processing algorithms, software tool, distributed databases, concurrency control, shared memory, transaction processing, infrastructure, software packages, operating system kernel, concurrent processing, message-passing system, computer communications software
24	Martin Sulzmann, Edmund S. L. Lam, Simon Marlow	Comparing the performance of concurrent linked-list implementations in Haskell.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent linked list, performance, synchronization
24	Thomas T. Hildebrandt, Hugo A. López 0001	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming
24	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
24	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
24	Tao Feng, Fenghua Li, Jianfeng Ma 0001, Sang-Jae Moon	A new approach for UC security concurrent deniable authentication.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	concurrent deniable authentication, verifiably smooth projective hashing, the decisional composite residuosity assumption, information security, universally composable
24	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
24	Vineet Kahlon	Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.	LICS	2008	DBLP DOI BibTeX RDF	Model Checking, Concurrent Programs, Dataflow Analysis, Parameterized Systems, Pushdown Systems
24	K. E. Kennedy	A concurrent automatic programming system.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	formal verification, automatic programming, colored petri net, concurrent computing
24	Yang Xiao 0003, Susan Darling Urban	Recovery of Concurrent Processes in a Service Composition Environment Using Data Dependencies.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Service composition, recovery, data dependencies, concurrent execution
24	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
24	Scott D. Fleming, Eileen T. 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
24	Claude Évéquoz	Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking
24	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
24	Anup Kumar Bandyopadhyay	Modeling fairness and starvation in concurrent systems.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	temporal quantifier, temporal logic, fairness, concurrent program, liveness, weakest precondition
24	Cemal Basaran, Juan Gomez, Minghui Lin, Shidong Li	Damage mechanics modeling of concurrent thermal and vibration loading on electronics packaging.	SCSC	2007	DBLP BibTeX RDF	concurrent loading, electronics packaging reliability, solder joint life prediction, dynamic analysis
24	Yi Deng 0002, Dongdai Lin	Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption.	Inscrypt	2007	DBLP DOI BibTeX RDF	Resettable Zero Knowledge, Concurrent Soundness, the Bare Public-Key Model, Resettably sound Zero Knowledge
24	David Wheatley	User-Centered Design and Evaluation of a Concurrent Voice Communication and Media Sharing Application.	HCI (3)	2007	DBLP DOI BibTeX RDF	concurrent media sharing, cell-phone applications, User centered design, wireless communications
24	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
24	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
24	Koushik Sen	Effective random testing of concurrent programs.	ASE	2007	DBLP DOI BibTeX RDF	concurrent programs, random testing
24	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Soft concurrent constraint programming.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Constraints, soft constraints, concurrent constraint programming
24	Yu Lei 0001, Richard H. Carver	Reachability Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Software testing, concurrent programming, reachability testing
24	Fei Su, Sule Ozev, Krishnendu Chakrabarty	Concurrent testing of digital microfluidics-based biochips.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	microfluidics, biochips, Concurrent testing, catastrophic faults
24	Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson	Message analysis for concurrent programs using message passing.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Static analysis, message passing, Erlang, runtime systems, concurrent languages
24	Haim Kermany, Erez Petrank	The Compressor: concurrent, incremental, and parallel compaction.	PLDI	2006	DBLP DOI BibTeX RDF	garbage collection, memory management, compaction, runtime systems, concurrent garbage collection
24	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	S&P	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
24	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPoPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
24	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
24	Irith Pomeranz, Sudhakar M. Reddy	Concurrent Online Testing of Identical Circuits Using Nonidentical Input Vectors.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Concurrent online testing, structural dependence, testing through output comparison, functional dependence
24	Martin T. Vechev, David F. Bacon	Write barrier elision for concurrent garbage collectors.	ISMM	2004	DBLP DOI BibTeX RDF	write barrier, concurrent garbage collection
24	Roberto Pérez, Joaquín Aca, Andrés Valverde T., Horacio Ahuett, Arturo Molina 0001, Carles Riba Romeva	A Modularity Framework for Concurrent Design of Reconfigurable Machine Tools.	CDVE	2004	DBLP DOI BibTeX RDF	Modularity, Reconfigurability, Machine Tool, Concurrent Design
24	Jean Ferrié, Nicolas Vidot, Michèle Cart	Concurrent Undo Operations in Collaborative Environments Using Operational Transformation.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF	Distributed collaborative systems, copies consistency, concurrent undo, operational transformations
24	Rafael Pass	Bounded-concurrent secure multi-party computation with a dishonest majority.	STOC	2004	DBLP DOI BibTeX RDF	constant-round protocols, simulation-sound zero-knowledge, secure multi-party computation, concurrent composition
24	Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001	An overview of methods for dependence analysis of concurrent programs.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	concurrent program dependence graph, program dependence analysis, concurrency, program slicing
24	Yu Huang 0005, Wu-Tung Cheng, Chien-Chung Tsai, Nilanjan Mukherjee 0001, Omer Samman, Yahya Zaidan, Sudhakar M. Reddy	On Concurrent Test of Core-Based SOC Design.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	concurrent SOC test, pin mapping, 2-dimensional bin-packing, test scheduling
24	Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai	Incremental Integration Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	incremental testing, Software testing, concurrent programs, structural testing
24	JoAnn M. Paul, Christopher M. Eatedali, Donald E. Thomas	The design context of concurrent computation systems.	CODES	2002	DBLP DOI BibTeX RDF	simulation, modeling, hardware/software codesign, concurrent computation, digital system design
24	Paul C. Attie, E. Allen Emerson	Synthesis of concurrent programs for an atomic read/write model of computation.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	specification, temporal logic, concurrent programs, program synthesis, atomic registers
24	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Concurrent Exception Handling and Resolution in Distributed Object Systems.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Concurrent exeception handling, exception resolution, nested atomic actions, distributed systems, object-oriented programming
24	Ismet Bayraktaroglu, Alex Orailoglu	Accumulation-based concurrent fault detection for linear digital state variable systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	concurrent fault detection, linear digital state variable systems, algorithmic fault detection scheme, accumulation-based approach, fault diagnosis, logic testing, error detection, error detection, linear systems, digital filters, digital signal processing chips, digital systems, area overhead
24	Pascal Poizat, Christine Choppy, Jean-Claude Royer	From Informal Requirements to COOP: A Concurrent Automata Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	object oriented (Java) code generation, automata, Concurrent systems, specification method
24	Christopher H. Nevison	Seminar: safe concurrent programming in Java with CSP.	SIGCSE	1999	DBLP DOI BibTeX RDF	Java, CSP, concurrent programming, threads
24	Anand Natrajan, Paul F. Reynolds Jr.	Resolving Concurrent Interactions.	DIS-RT	1999	DBLP DOI BibTeX RDF	dependent concurrent interaction effects serialization
24	H. C. Wang, C. K. Yuen, M. D. Feng	Balinda C++: Runtime Support for Concurrent Object-Oriented Language.	ISPAN	1999	DBLP DOI BibTeX RDF	Concurrent object oriented programming(COOP), Balinda C++, Network of Workstations(NoW), Runtime System, Tuplespace
24	Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen	ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	concurrent object-oriented system-level synthesis, fuzzy design-space exploration, learning
24	Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon	A Graphical Environment for the Design of Concurrent Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	real-time systems, graphical user interface, temporal logic, concurrent systems, automated deduction, formal specification and verification
24	Stefano A. Cerri, Vincenzo Loia	A Concurrent, Distributed Architecture for Diagnostic Reasoning.	User Model. User Adapt. Interact.	1997	DBLP DOI BibTeX RDF	ABCL/1 programming language, actors, student modeling, concurrent object-oriented programming, diagnostic reasoning, actor model
24	I. Santoyridis, Tom W. Carnduff, W. A. Gray, John C. Miles	An Object Versioning System to Support Collaborative Design within a Concurrent Engineering Context.	BNCOD	1997	DBLP DOI BibTeX RDF	object-oriented databases, configuration management, versioning, concurrent engineering, engineering design
24	Joaquim Gabarró, Xavier Messeguer	A Unified Approach to Concurrent and Parallel Algorithms on Balanced Data Structures (Invited Paper).	SCCC	1997	DBLP DOI BibTeX RDF	unified approach, balanced data structures, local rules, insertion algorithms, parallel insertion algorithms, percolation phase, rebalancing phase, parallel algorithms, parallel algorithms, dictionaries, sequential algorithm, AVL trees, concurrent algorithms
24	Michael Gössel, Egor S. Sogomonyan	A parity-preserving multi-input signature analyzer and its application for concurrent checking and BIST.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	parity-preserving signature analyzer, built-in-self-test, concurrent error detection, on-line testing
24	E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull	Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.	WCRE	1996	DBLP DOI BibTeX RDF	transformation based approach, core kernel language, formal program transformations, type proof tools, parallel programming, reverse engineering, software maintenance, concurrent programs, formal modelling, safety critical systems, type theory, formal analysis, type checking, WSL, sequential systems
24	Mikio Aoyama	Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems.	COMPSAC	1996	DBLP DOI BibTeX RDF	Distributed Development Environment, WWW, Data Warehouse, Repository, Document Management, Intranet, Concurrent Engineering, Software Engineering Environment
24	Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato	Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent.	IPPS	1996	DBLP DOI BibTeX RDF	deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks
24	D. V. Poornaiah, P. V. Ananda Mohan	A novel VLSI concurrent dual multiplier-dual adder architecture for image and video coding applications.	VLSI Design	1996	DBLP DOI BibTeX RDF	concurrent dual multiplier-dual adder architecture, video coding applications, high-throughput image coding, carry-save 4:2 compressors, computational complexity, VLSI, VLSI, data compression, video coding, adders, computation time, multiplying circuits, digital signal processing chips
24	Heinz W. Schmidt, Jian Chen	Reasoning about Concurrent Objects.	APSEC	1995	DBLP DOI BibTeX RDF	D.1.3 Concurrent Programming, D.1.5 Object-Oriented Programming, D.2.4 Program Verification, F.3.1 Reasoning about Programs, F.1.1 Models of Computation
24	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	Event Interactions Graph for Test-case Generation of Concurrent Programs.	APSEC	1995	DBLP DOI BibTeX RDF	Event InterAction Graph, Software testing, Concurrent program, Test-cases, Testing criteria
24	Joydeep Ghosh, Sajal K. Das 0001, Ajita John	Concurrent Processing of Linearly Ordered Data Structures on Hypercube Multicomputers.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	concurrentprocessing, linearly ordered data structures, concurrentmanipulation, augmented binomial search tree, pruned binomial tree, arbitrary processor node, consecutive nodes, nonoverlappingprocessor lists, intermediate-levelimage processing algorithms, dictionary operations, low-level image processingalgorithms, Gray code embedding, distributed memorymulticomputers, parallel algorithms, parallel programming, broadcast, hypercube networks, trees (mathematics), distributed memory systems, search problems, merge, tree data structures, search trees, k-ary n-cubes, concurrent data structure, hypercube multicomputers, local information, fanout, hypercube systems
24	Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna	A Graphical Interval Logic for Specifying Concurrent Systems.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	automated proof-checking, graphical interval logic, formal specifications, temporal logic, visual languages, concurrent systems, timing diagrams
24	Thomas M. Blinn, Keith A. Ackley, Richard J. Mayer	An integrated concurrent engineering environment for life cycle management.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	integration, framework, project management, process modeling, enterprise modeling, Concurrent engineering, enterprise integration
24	Michael Codish, Moreno Falaschi, Kim Marriott	Suspension Analyses for Concurrent Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, concurrent logic programming
24	Marta Z. Kwiatkowska	Infinite Behaviour and Fairness in Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	fairness, liveness, semantic properties, concurrent constraint programming
24	Mohammad Reza Meybodi	Concurrent Data Structures for Hypercube Machine.	PARLE	1992	DBLP DOI BibTeX RDF	Banyan Heap, Parallel Algorithm, Hypercube, Concurrent Data Structure
24	Ehud Shapiro	Systems Programming in Concurrent Prolog.	POPL	1984	DBLP DOI BibTeX RDF	Concurrent Prolog