Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Johannes Schneider 0002, Roger Wattenhofer	Brief announcement: tree decomposition for faster concurrent data structures.	PODC	2010	DBLP DOI BibTeX RDF	graphs, concurrent data structures
20	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE (2)	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
20	Aparna Chandramowlishwaran, Kathleen Knobe, Richard W. Vuduc	Applying the concurrent collections programming model to asynchronous parallel dense linear algebra.	PPoPP	2010	DBLP DOI BibTeX RDF	concurrent collections, asynchronous algorithms, dense linear algebra
20	Anup Kumar Bandyopadhyay	Fairness and conspiracy concepts in concurrent systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	conspiracy, fairness, concurrent systems, starvation
20	Zuohua Ding	Static Analysis of Concurrent Programs Using Ordinary Differential Equations.	ICTAC	2009	DBLP DOI BibTeX RDF	Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
20	Hao Luo, Huaxin Zeng	On Distributed Multi-Point Concurrent Test System and Its Implementation.	Complex (1)	2009	DBLP DOI BibTeX RDF	concurrent test manager, test agent, synchronization, distributed
20	Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari	Declarative aspects of memory management in the concurrent collections parallel programming model.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent collections, reference counts
20	Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum	Saturation-based testing of concurrent programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	coverage, concurrent programs, test adequacy criteria
20	Zachary R. Anderson, David Gay, Mayur Naik	Lightweight annotations for controlling sharing in concurrent data structures.	PLDI	2009	DBLP DOI BibTeX RDF	concurrent programming, data races, multithreaded programming
20	Teodor Gabriel Crainic, Gloria Cerasela Crisan, Michel Gendreau, Nadia Lahrichi, Walter Rei	A concurrent evolutionary approach for rich combinatorial optimization.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	concurrent evolution, cooperative algorithms, multi-attribute problems, rich vrp, combinatorial optimization
20	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
20	Giovanni Di Crescenzo	Minimal Assumptions and Round Complexity for Concurrent Zero-Knowledge in the Bare Public-Key Model.	COCOON	2009	DBLP DOI BibTeX RDF	Bare Public-Key Model, Complexity Assumptions, Round Complexity, Zero-Knowledge Protocols, Concurrent Zero-Knowledge
20	Luca Bortolussi, Alberto Policriti	Modeling Biological Systems in Stochastic Concurrent Constraint Programming.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Stochastic concurrent constraint programming, Stochastic modeling, Biological systems
20	Preethi Natarajan, Nasif Ekiz, Paul D. Amer, Janardhan R. Iyengar, Randall R. Stewart	Concurrent Multipath Transfer Using SCTP Multihoming: Introducing the Potentially-Failed Destination State.	Networking	2008	DBLP DOI BibTeX RDF	Concurrent Multipath Transfer (CMT), Path failure, Receive buffer blocking, Stream Control Transmission Protocol (SCTP)
20	Zuohua Ding, Kao Zhang	Performance Analysis of Concurrent Programs Using Ordinary Differential Equations.	COMPSAC	2008	DBLP DOI BibTeX RDF	continuous Petri net, Performance analysis, concurrent program, differential equation
20	Chen Ding 0001, Trishul M. Chilimbi	All-window profiling of concurrent executions.	PPoPP	2008	DBLP DOI BibTeX RDF	data footprint, thread interleaving, concurrent systems
20	Margaret A. Wojcicki, Paul A. Strooper	Maximising the information gained from a study of static analysis technologies for concurrent software.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Concurrent Java components, Controlled experiment, Verification and validation
20	Einar Broch Johnsen, Olaf Owe	An Asynchronous Communication Model for Distributed Concurrent Objects.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects
20	Sobeeh Almukhaizim, Yiorgos Makris	Concurrent Error Detection Methods for Asynchronous Burst-Mode Machines.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	asynchronous burst-mode machines, error-detecting codes, Concurrent error detection, Berger code
20	Han Liang, Piyush Mishra, Kaijie Wu 0001	Error Correction On-Demand: A Low Power Register Transfer Level Concurrent Error Correction Technique.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Concurrent error detection, register-transfer level, single-event upsets, hardware redundancy
20	Venkatesh Prasad Ranganath, John Hatcliff	Slicing concurrent Java programs using Indus and Kaveri.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
20	Aysu Betin-Can, Tevfik Bultan	Highly dependable concurrent programming using design for verification.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
20	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia	Declarative Diagnosis of Temporal Concurrent Constraint Programs.	ICLP	2007	DBLP DOI BibTeX RDF	timed concurrent constraint programs, (modular) declarative debugging, denotational semantics, specification logic
20	Jianjun Zhang, Liwen Chen, Jingmin Zhang, Wen Xue	Concurrent Double Auctions Based on Multi-agent Across the Supply Chain.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Concurrent auctions, Agent, Supply chain, Double auctions
20	Liangtie Dai, Wanwu Guo	Concurrent Subsystem-Component Development Model (CSCDM) for Developing Adaptive E-Commerce Systems.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	Waterfall model, Incremental model, Concurrent subsystem-component development model (CSCDM), Prototyping, Electronic commerce
20	Bill Lin 0001, Isaac Keslassy	Frame-aggregated concurrent matching switch.	ANCS	2007	DBLP DOI BibTeX RDF	100% throughput, concurrent matching switch, frame scheduling, load-balanced router, packet switching
20	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea	Nautilus, a Concurrent Diagrammatic Specification and Programming Language.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	object language, Nautilus, nonsequential automata, concurrent systems, graphical notation
20	Nikhil Joshi, Jayachandran Sundararajan, Kaijie Wu 0001, Bo Yang 0010, Ramesh Karri	Tamper Proofing by Design Using Generalized Involution-Based Concurrent Error Detection for Involutional Substitution Permutation and Feistel Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Subsitution Permutation Networks (SPN), ANUBIS, TwoFish, cryptography, Concurrent Error Detection (CED), tamper proofing, Feistel networks
20	Milan Lathia	Book Reviews: The New Wave-Concurrent Programming.	IEEE Distributed Syst. Online	2006	DBLP DOI BibTeX RDF	Object Oriented computing, Java, Distributed Computing, Concurrent computing
20	Sumeet Kumar, Aneesh Aggarwal	Self-checking instructions: reducing instruction redundancy for concurrent error detection.	PACT	2006	DBLP DOI BibTeX RDF	RISC/CISC, reducing instruction redundancy, redundant multi-threading, self-checking instructions, concurrent error detection, VLIW architectures
20	Margaret A. Wojcicki, Paul A. Strooper	Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components.	ISESE	2006	DBLP DOI BibTeX RDF	concurrent Java components, controlled experiment, verification and validation
20	Jay Nelson	Concurrent caching.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	concurrent cache, erlang
20	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
20	Yung-Yuan Chen	Concurrent Detection of Control Flow Errors by Hybrid Signature Monitoring.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	error-detection latency, Concurrent error detection, signature scheme, watchdog processor, error-detection coverage
20	Vijay K. Garg, Neeraj Mittal	A Critique of Java for Concurrent Programming.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	await, Java, concurrent programming, invariants, nondeterminism
20	Sotirios Matakias, Y. Tsiatouhas, Angela Arapoyanni, Themistoklis Haniotakis	A Circuit for Concurrent Detection of Soft and Timing Errors in Digital CMOS ICs.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	soft and timing errors, monitoring circuits, concurrent testing, time redundancy
20	Rafael Ramírez 0001, Juanjo Martinez	Brief Announcement: constraint-based synchronization and verification of concurrent programs.	PODC	2004	DBLP DOI BibTeX RDF	verification, constraints, concurrent programming
20	Roberto Rojas-Cessa, Eiji Oki, H. Jonathan Chao	Concurrent fault detection for a multiple-plane packet switch.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	parallel planes, fault detection, packet switch, concurrent testing, single fault
20	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
20	Jien-Chung Lo	Analysis of a BICS-Only Concurrent Error Detection Method.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	unsafe probability, reliability, fault coverage, testability, concurrent error detection, built-in current sensors, operating speed
20	JoAnn M. Paul, Arne J. Suppé, Henele I. Adams, Donald E. Thomas	Multi-Level Modeling of Software on Hardware in Concurrent Computation.	IPDPS	2002	DBLP DOI BibTeX RDF	Computer System Performance Modeling, Simulation, Hardware-Software Codesign, Concurrent Computation, Design Hierarchy
20	Chia-Tien Dan Lo, Witawas Srisa-an, J. Morris Chang	A Multithreaded Concurrent Garbage Collector Parallelizing the New Instruction in Java.	IPDPS	2002	DBLP DOI BibTeX RDF	parallel garbage collector, object-oriented programming, Java Virtual Machine, multithreaded programming, dynamic memory management, concurrent garbage collection
20	Anupriya Ankolekar, Frank Huch, Katia P. Sycara	Concurrent Semantics for the Web Services Specification Language DAML-S.	COORDINATION	2002	DBLP DOI BibTeX RDF	concurrent semantics, Web services, agents, DAML-S
20	Erik Stenman, Konstantinos Sagonas	On reducing interprocess communication overhead in concurrent programs.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	erlang, process scheduling, concurrent languages
20	Wim H. Hesselink, Jan Friso Groote	Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms
20	Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
20	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli	A Probabilistic Approach to Automatic Verification of Concurrent Systems.	APSEC	2001	DBLP DOI BibTeX RDF	Automatic Verification and Validation, Distributed Systems, Model Checking, Embedded Systems, Formal Methods, Reactive Systems, Concurrent Systems, Probabilistic Verification
20	Tat Ngai, Earl E. Swartzlander Jr., Chen He	Enhanced Concurrent Error Correcting Arithmetic Unit Design Using Alternating Logic.	DFT	2001	DBLP DOI BibTeX RDF	Alternating Logic, Fault Tolerance, TMR, Concurrent Error Correcting, Arithmetic Unit
20	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
20	Rajeev Joshi, Jayadev Misra	Maximally Concurrent Programs.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Concurrent program design, Maximal solution, Safety, Progress
20	Karen Panetta Lentz, Jonathan B. Homer	Handling Behavioral Components in Multi-Level Concurrent Fault Simulation.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	concurrent fault simulation, simulation, behavioral modeling, multilevel
20	Debaleena Das, Nur A. Touba, Markus Seuring, Michael Gössel	Low Cost Concurrent Error Detection Based on Modulo Weight-Based Codes.	IOLTW	2000	DBLP DOI BibTeX RDF	error detecting codes, Concurrent error detection, self-checking checkers
20	Ahmad Abdelhay, Emmanuel Simeu	Analytical Redundancy Based Approach for Concurrent Fault Detection in Linear Digital Systems.	IOLTW	2000	DBLP DOI BibTeX RDF	Linear digital, parity equation, redundancy, state space, concurrent testing
20	Jose Miguel Vieira dos Santos	Concurrent Scan Monitoring and Multi-Pattern Search.	IOLTW	2000	DBLP DOI BibTeX RDF	Dependable VLSI, DFT, Concurrent test, BST
20	Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.	DAC	2000	DBLP DOI BibTeX RDF	concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
20	Emmanuel Simeu, Arno W. Peters, Iyad Rayane	Automatic Design of Optimal Concurrent Fault Detector for Linear Analog Systems.	FTCS	1999	DBLP DOI BibTeX RDF	concurrent, detection, state space, residual, netlist
20	Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo	Verification of Concurrent Client-Server Real-Time Scheduling Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	concurrent real-time client-server systems, model-checking, verification, scheduling algorithms, automata, state-space reduction
20	Jordi Cortadella	Combining Structural and Symbolic Methods for the Verification of Concurrent Systems.	ACSD	1998	DBLP DOI BibTeX RDF	model checking, Petri nets, Formal verification, concurrent systems
20	Anna Antola, Vincenzo Piuri, Mariagiovanna Sami	High-level Synthesis of Data Paths with Concurrent Error Detection.	DFT	1998	DBLP DOI BibTeX RDF	self-checking systems, high-level synthesis, concurrent error detection, data path
20	René V. Mayorga, Andrew K. C. Wong	A Robust Method for the Concurrent Motion Planning of Multi-Manipulators Systems.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	concurrent motion planning, multi-manipulator systems, redundancy resolution
20	José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz	Inheritance and Selective Methods Dispatching in Concurrent Haskell.	PLILP	1997	DBLP DOI BibTeX RDF	guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects
20	Masahiro Tsunoyama, Masahiko Uenoyama, Tatsuya Kabasawa	A concurrent fault-detection scheme for FFT processors.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	concurrent fault-detection, FFT processors, reliable real-time systems, fast Fourier transforms, fast Fourier transform, FFT algorithm
20	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
20	J. Choi	A Fast Scalable Universal Matrix Multiplication Algorithm on Distributed-Memory Concurrent Computers.	IPPS	1997	DBLP DOI BibTeX RDF	fast scalable universal matrix multiplication algorithm, distributed-memory concurrent computers, distribution-independent matrix multiplication algorithm, DIMMA, modified pipelined communication scheme, computation/communication overlap, LCM block concept, maximum performance, sequential BLAS routine, SUMMA, Intel Paragon computer, distributed memory systems, block size
20	Mi-kyong Han, Yong-Ik Yoon 0002	An implementation and performance analysis of backup system using concurrent log processing in real-time DBMS.	RTCSA	1997	DBLP DOI BibTeX RDF	backup system, concurrent log processing, real-time DBMS, DREAM-S, ATM switching system, performance analysis, distributed databases, database management system, distributed data, distributed system architecture
20	Adam Kellett, Michael Fisher 0001	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
20	Rubin A. Parekhji, G. Venkatesh 0001, Sunil D. Sherlekar	Monitoring machine based synthesis technique for concurrent error detection in finite state machines.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	monitoring machines, finite state machine synthesis, concurrent error detection
20	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs.	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
20	George A. Papadopoulos	Concurrent Object-Oriented Programming Techniques in a Term Graph Rewriting Framework.	PDP	1996	DBLP DOI BibTeX RDF	Concurrent Object-Oriented Programming Techniques, Records, Term Graph Rewriting
20	Peter Van Roy, Michael Mehl, Ralf Scheidhauer	Integrating Efficient Records into Concurrent Constraint Programming.	PLILP	1996	DBLP DOI BibTeX RDF	Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
20	Farn Wang	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.	RTCSA	1996	DBLP DOI BibTeX RDF	scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification
20	Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello	An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Abstract algebra, time separation of events, asynchronous systems, concurrent systems, discrete event systems, timing verification
20	Siegfried Grabner, Dieter Kranzlmüller, Jens Volkert	Debugging of concurrent processes.	PDP	1995	DBLP DOI BibTeX RDF	concurrent processes debugging, larger problem sizes, memory hot spots, global clock, event graph manipulation tool ATEMPT, parallel programming, parallel program, error detection, error detection, program testing, memory architecture, program debugging, shared memory architectures, bus contention
20	Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray	Concurrent timing optimization of latch-based digital systems.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent timing optimization, latch-based digital systems, digital system timing, intentional clock skew, latch-based designed systems, multi-phase clocking, resynchronization, latches insertion, optimisation, timing, logic design, flip-flops, retiming, mixed integer linear program, race conditions, integrated framework, wave pipelining, hazards and race conditions, clock period
20	Harry Hollander, Bradley S. Carlson, Toby D. Bennett	Synthesis of SEU-tolerant ASICs using concurrent error correction.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	radiation hardening (electronics), SEU-tolerant ASIC synthesis, single error correction/double error detection Hamming code, delay overhead, memory element set partitioning, error correction codes, sequential circuits, sequential circuit, application specific integrated circuits, logic CAD, circuit layout CAD, single event upsets, logic partitioning, Hamming codes, fault tolerant design, area overhead, memory elements, design experiments, concurrent error correction
20	D. V. Poornaiah, P. V. Ananda Mohan	Design of a 3-bit Booth recoded novel VLSI concurrent multiplier-accumulator architecture.	VLSI Design	1995	DBLP DOI BibTeX RDF	concurrent multiplier-accumulator architecture, second order modified Booth algorithm, sign extension bits minimization algorithm, sign-bit updating algorithm, multi-bit recoded parallel multipliers, computation time reduction, CMOS standard cell technology, 35 ns, 50 pF, parallel algorithms, VLSI, VLSI, parallel architectures, digital arithmetic, multiplication, CMOS logic circuits, multiplying circuits, accumulation, 1 micron
20	Jaeyoung Choi, Jack J. Dongarra	Scalable linear algebra software libraries for distributed memory concurrent computers.	FTDCS	1995	DBLP DOI BibTeX RDF	scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations
20	Bapiraju Vinnakota, Niraj K. Jha	Design of Algorithm-Based Fault-Tolerant Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fault-tolerant multiprocessor systems, algorithm-basedmultiprocessor systems, algorithm-based faulttolerance, low-overhead system-level error detection, fault location scheme, ABFTsystems, design procedure, data element sharing, ABFT system design, reliability, fault diagnosis, fault tolerant computing, multiprocessing systems, fault location, system recovery, concurrent error detection, parallelarchitectures
20	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
20	Dali L. Tao, Carlos R. P. Hartmann	A Novel Concurrent Error Detection Scheme for FFT Networks.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	concurrent error detection scheme, FFT networks, algorithm-based fault tolerancetechniques, digital signalprocessing chips, fault tolerant computing, fast Fourier transforms, error detection, fault coverage, system performance, roundoff errors, round-off errors
20	Mark G. Staskauskas	Formal Derivation of Concurrent Programs: An Example from Industry.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	tapes, I/O channels, UNITY methodology, resource allocation algorithm, formal specification, parallel programming, specifications, operating system, program verification, concurrent programs, proofs, disks, formal derivation, I/O subsystem
20	Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen	An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem
20	Ernst G. Ulrich, Karen Lentz, Jack H. Arabian, Michael Gustin, Vishwani D. Agrawal, Pier Luca Montessoro	The Comparative and Concurrent Simulation of discrete-event experiments.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	comparative simulation, Discrete-event simulation, parallel simulation, concurrent simulation
20	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
20	Aaron F. Bobick, Robert C. Bolles	The Representation Space Paradigm of Concurrent Evolving Object Descriptions.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	range data sequence detection, representation space paradigm, concurrent descriptions, perception system, TraX, pattern recognition, computer vision, artificial intelligence, artificial intelligence, computerised pattern recognition, semantic models, robot vision
20	Viggo Stoltenberg-Hansen, John V. Tucker	Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.	REX Workshop	1992	DBLP DOI BibTeX RDF	Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
20	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
20	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
20	Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson	CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
20	Toshimi Minoura, S. Sitharama Iyengar	Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction
20	K. Lall, J. William Atwood	A microprogrammed interpreter for concurrent Euclid.	MICRO	1989	DBLP DOI BibTeX RDF	Concurrent Euclid
20	K. H. Kim	Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	programmer transparent coordination, storage reduction, recovering concurrent processes, error direction, intelligent processor system, process rollback, minimum-distance rollback, supervisory programs, data structures, data structures, fault tolerant computing, error detection, programming theory, system recovery, system recovery, multiprocessing programs, recovery block, language construct, time overhead
20	Elisabeth Pelz	About the concurrent behaviour of EN systems: definability and closure results.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	concurrent behaviour, partial word languages, logical specifications, monadic second order logic, definability, Elementary net systems
20	Per Brinch Hansen	Multiprocessor Architectures For Concurrent Programs.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Hierarchical stores, Language-directed computer design, Monitors, Processes, Concurrent programming, Real-time applications, Multiprocessor architecture
20	Edya Ladan-Mozes, Nir Shavit	An optimistic approach to lock-free FIFO queues.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue
20	Derek Hao Hu, Sinno Jialin Pan, Vincent Wenchen Zheng, Nathan Nan Liu, Qiang Yang 0001	Real world activity recognition with multiple goals.	UbiComp	2008	DBLP DOI BibTeX RDF	concurrent activities, interleaving activities, activity recognition, conditional random field
20	Yan Zhang 0004, Zhifeng Chen, Yuanyuan Zhou 0001	Efficient Execution of Multiple Queries on Deep Memory Hierarchy.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	mini-task scheduling, concurrent queries, cache performance, temporal locality
20	John H. Reppy, Yingqi Xiao	Specialization of CML message-passing primitives.	POPL	2007	DBLP DOI BibTeX RDF	static analysis, message passing, ML, concurrent languages
20	Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
20	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access