Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng	Monitoring facilities in languages supporting development of concurrent self-measurement programs.	APSEC	2000	DBLP DOI BibTeX RDF	concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring
33	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software.	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
33	Barry C. L. Leung, Peter P. K. Chiu	Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages.	PDP	1996	DBLP DOI BibTeX RDF	behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object
33	José N. Amaral 0001, Joydeep Ghosh	Performance measurements of a concurrent production system architecture without global synchronization.	IPPS	1995	DBLP DOI BibTeX RDF	concurrent production system architecture, serializability criterion of correctness, production system machines, associative memory devices, parallel production firing, concurrent matching, overlap among matching, associative memory components, bus bandwidth, performance evaluation, performance evaluation, parallel architectures, knowledge based systems, performance measurements, parallel machine, serializability, content-addressable storage, cost effectiveness, global synchronization
33	Evan Tick, Bruce D'Ambrosio	Evaluating Bayes nets with concurrent process networks.	IPPS	1995	DBLP DOI BibTeX RDF	Bayes nets, concurrent process networks, total probability mass, leaf node, general Bayes network, ancestor nodes, high mass minterms, partial minterms, child nodes, KL1, parallel algorithms, computational complexity, computation complexity, probability, message passing, directed graphs, directed acyclic graphs, search problems, Bayes methods, conditional probabilities, concurrent algorithm
33	Marius V. A. Hâncu, Kazuhiko Iwasaki, Yuji Sato, Mamoru Sugie	A Concurrent Test Architecture for Massively Parallel Computers and Its Error Detection Capability.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	concurrent test architecture, onlinemonitoring, system level monitoring, run-timetesting, message source address, messagedestination address, block compressed sequence, concurrent instruction compression, computational block, reference image, onlinesystem-level testing, data routing process, packet-switched routing, compilation, probability, multiprocessors, error detection, error detection, parallel machines, data dependences, network routing, signature analysis, control dependences, massively parallel computers, computer testing, aliasing probability, control flow checking
33	Ing-Ray Chen, Sayed Atef Banawan	Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression
33	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
33	David Ben-Arieh, Oded Maimon	Multiple robot programming using a concurrent logic language.	J. Intell. Robotic Syst.	1991	DBLP DOI BibTeX RDF	logic programming, programming languages, concurrent programming, Multi-robot system, concurrent Prolog
33	Alessandro Giacalone, Scott A. Smolka	Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
33	Susanne Schacht	Formal Reasoning about Actor Programs Using Temporal Logic.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
33	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
33	Tom Holvoet, Pierre Verbaeten	Using Petri Nets for Specifying Active Objects and Generative Communication.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
33	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
33	Brigitte Rozoy	On Distributed Languages and Models for Distributed Computation.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
31	Shailendra Rao, Judy Chen, Robin Jeffries, Richard Boardman	"You've Got IMs!" How People Manage Concurrent Instant Messages.	HCI (1)	2009	DBLP DOI BibTeX RDF	concurrent IMs, Instant messaging, multitasking, notifications, informal communication, tabs
31	Hassan Reza, Emanuel S. Grant	A method to test concurrent systems using architectural specification.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems
31	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
31	Jian Gao, Jigui Sun, Yonggang Zhang	An Improved Concurrent Search Algorithm for Distributed CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	Concurrent search, Distributed CSPs, Dynamic variable ordering, Look-ahead strategy
31	Hassan Reza	A Methodology for Architectural Design of Concurrent and Distributed Software Systems.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs)
31	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
31	Hong Zhu, Zhaolin Yin, Ying Ding	Java Annotated Concurrency Based on the Concurrent Package.	PDCAT	2006	DBLP DOI BibTeX RDF	JAC, concurrent package, Java, improvement
31	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
31	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Bradley C. Kuszmaul	Concurrent cache-oblivious b-trees.	SPAA	2005	DBLP DOI BibTeX RDF	cache-oblivious b-tree, concurrent b-tree, exponential tree, packed-memory array, lock free, non-blocking
31	Jia Zeng, Cristian Soviani, Stephen A. Edwards	Generating fast code from concurrent program dependence graphs.	LCTES	2004	DBLP DOI BibTeX RDF	sequencial, concurrent, esterel, program dependence graph
31	Håkan Sundell, Philippas Tsigas	Scalable and lock-free concurrent dictionaries.	SAC	2004	DBLP DOI BibTeX RDF	concurrent, shared memory, dictionary, non-blocking
31	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
31	Katherine Barabash, Yoav Ossia, Erez Petrank	Mostly concurrent garbage collection revisited.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, incremental garbage collection
31	Chris J. Harrison	ICPL: an initial concurrent programming language.	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF	concurrent programming language, message passing, processes, teaching
31	Oded Goldreich 0001	Concurrent zero-knowledge with timing, revisited.	STOC	2002	DBLP DOI BibTeX RDF	black-box simulation, proofs versus arguments, timing assumptions, zero-Knowledge, parallel composition, concurrent composition
31	Sridhar Iyer, S. Ramesh 0001	Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	object-oriented programming, static analysis, Concurrent programs, reachability analysis
31	Tzafrir Cohen, Joe Kilian, Erez Petrank	Responsive Round Complexity and Concurrent Zero-Knowledge.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	cryptographic protocols, Zero-knowledge, concurrent zero-knowledge
31	Zhenqiang Chen, Baowen Xu, Hongji Yang	Detecting Dead Statements for Concurrent Programs.	SCAM	2001	DBLP DOI BibTeX RDF	concurrent program flow graph, MHP algorithm, dead statements, rendezvous
31	Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima	Design and Implementation of Test-Case Generation for Concurrent Programs.	APSEC	1998	DBLP DOI BibTeX RDF	Event InterActions Graph(EIAG), software testing, concurrent programs, test-cases, structural testing, testing criteria, task-types
31	Jun Bi, Jianping Wu, X. Chen	A Concurrent TTCN based Approach to Conformance Testing of Distributed Routing Protocol OSPF v2.	ICCCN	1998	DBLP DOI BibTeX RDF	Concurrent TTCN, CEBE, Internet, Distributed Systems, Formal Methods, Computer Networks, Test Generation, Routing Protocol, Labeled Transition Systems, OSPF, Protocol Testing
31	Lu Xu, Michal Young	Two Dimensional Concurrent Program Debugging.	APSEC	1995	DBLP DOI BibTeX RDF	Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice
31	Robert F. Cmelik, Narain H. Gehani, William D. Roome	Experience with Multiple Processor Versions of Concurrent C.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multiple processor versions, uniprocessor version, parallel programming, parallel programming, local area network, local area networks, multiprocessing systems, shared-memory multiprocessor, execution times, C language, Concurrent C, multiprocessing programs
31	P. M. Wognum, Richard Curran, Parisa Ghodous, R. Goncalves, A. Lloyd, Rajkumar Roy	Concurrent Engineering - Past, Present and Future.	CE	2006	DBLP BibTeX RDF
31	Elöd Egyed-Zsigmond, Sonia Lajmi, Zoltán Iszlai	i Concurrent Use in an Image Management System.	CE	2006	DBLP BibTeX RDF
31	Drogan Stokic	A New Collaborative Working Environment for Concurrent Engineering in Manufacturing Industry.	CE	2006	DBLP BibTeX RDF
31	Billy T. W. Yu, Peter K. C. Lee, W. M. To	Considerations of KMS Implementation in Concurrent Engineering - Economic Perspectives.	CE	2006	DBLP BibTeX RDF
31	João Pedro Buiarskey Kovalchuk, Osíris Canciglieri Júnior, Antonio Batocchio	Concurrent Engineering Applications on the Development of Parts for the White Goods Industry in Brazil - A Case Study.	CE	2006	DBLP BibTeX RDF
31	Nozomu Mishima	Concurrent Design of a Manufacturing System Utilizing a Microfactory.	CE	2006	DBLP BibTeX RDF
31	Florin Hartescu	Secured Information System for Concurrent Engineering Applications.	CE	2006	DBLP BibTeX RDF
31	Tom Tiltmann, Uschi Rick, Klaus Henning	Concurrent Engineering and the Dynaxity Approach. How to Benefit from Multidisciplinarity.	CE	2006	DBLP BibTeX RDF
31	George Chryssolouris, Eleni Vassiliou, Dimitris Mavrikios	Application of Information Theory to the Quantification of Concurrent Engineering Processes.	CE	2006	DBLP BibTeX RDF
31	Lionel Antegnard, Harald Liese, Josip Stjepandic	Intellectual Property Protection in Concurrent Engineering Domains.	CE	2006	DBLP BibTeX RDF
31	Davy Monticolo, Vincent Hilaire, Abder Koukam, Sébastian Meunier	An Approach for Building Project Memories to Facilitate Design Process in a Concurrent Engineering Context.	CE	2006	DBLP BibTeX RDF
31	Richard Sohnius, Vadim Ermolayev, Eyck Jentzsch, Natalya Keberle, Wolf-Ekkehard Matzke, Vladimir Samoilov	Managing Concurrent Engineering Design Processes and Associated Knowledge.	CE	2006	DBLP BibTeX RDF
31	Ying Zhang, Yan-An Yao, Jian-Zhong Cha	Concurrent Conceptual Design of Movable-Counterweights Method.	CE	2006	DBLP BibTeX RDF
31	Christoph Runde, Florin Girbacia, Eugen Butila	Virtual and Augmented Environments for Concurrent Engineering: Concurrent Virtual Engineering.	CE	2012	DBLP DOI BibTeX RDF
29	Sungro Yoon	Contrabass: concurrent transmissions without coordination.	SIGCOMM	2010	DBLP DOI BibTeX RDF	multi-user transmissions, MIMO, interference cancellation, spatial multiplexing, IEEE 802.11n
29	Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov	Cross-Entropy-Based Replay of Concurrent Programs.	FASE	2009	DBLP DOI BibTeX RDF
29	Stephen A. Edwards, Jia Zeng	Static elaboration of recursion for concurrent software.	PEPM	2008	DBLP DOI BibTeX RDF	SHIM, static elaboration, concurrency, recursion, partial evaluation
29	Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam	Precise Concurrent Zero Knowledge.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
29	Peter W. O'Hearn	Separation logic and concurrent resource management.	ISMM	2007	DBLP DOI BibTeX RDF	shape analysis, separation logic
29	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov	Instrumenting where it hurts: an automatic concurrent debugging technique.	ISSTA	2007	DBLP DOI BibTeX RDF	feature selection, concurrency, debugging
29	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	The complexity of quantitative concurrent parity games.	SODA	2006	DBLP DOI BibTeX RDF
29	Krishnendu Chatterjee	Concurrent Games with Tail Objectives.	CSL	2006	DBLP DOI BibTeX RDF
29	Yehuda Lindell	Bounded-concurrent secure two-party computation without setup assumptions.	STOC	2003	DBLP DOI BibTeX RDF	secure computation, protocol composition
29	Eugene W. Stark	Connections between a Concrete and an Abstract Model of Concurrent Systems.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
29	James Glover, Ray Rolen, Tim VanBibber	Expert R&M Design Synthesis: An Enabling Technology for Concurrent Engineering.	MIT-JSME Workshop	1989	DBLP DOI BibTeX RDF
29	Antony L. Hosking	Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors.	ISMM	2006	DBLP DOI BibTeX RDF	ambiguous-roots, mostly-concurrent, mostly-copying, concurrent, garbage collection, memory management, portability, incremental, conservative
29	Vincent Ng 0002, Tiko Kameda	Concurrent access to point data.	COMPSAC	1997	DBLP DOI BibTeX RDF	point data, B/sup +/-tree, K-D-B tree, d-dimensional space, lock coupling technique, common user operations, SR distributed programming language, relative performance, search, concurrency control, R-tree, insert, index structures, concurrent access, concurrent accesses, concurrency control algorithms
29	Antonio dos Santos, Simone Vasconcelos Ribeiro, Luciano G. Fagundes, Ricardo M. Kayo, Tédi I. Zanfolim, Cibele Brunetto	SACE-CSCW: A Synchronous Asynchronous Common Environment for Computer Supported Cooperative Work to Aid Concurrent Engineering Processes.	SCCC	1997	DBLP DOI BibTeX RDF	SACE-CSCW, synchronous asynchronous common environment, concurrent engineering processes, Java environment, computer supported cooperative work, concurrent engineering, brainstorming, remote method invocation, decision making process, system prototype
29	Yasuhiro Hirano, Fumiaki Miura, Tetsuji Satoh	Extendible Hashing for Concurrent Insertions and Retrievals.	PDP	1996	DBLP DOI BibTeX RDF	bucket multi-versioning, concurrent insertions, concurrent retrievals, global depth, directory entries, asynchronous modification, lock conflicts, read-only access, split bucket, simulation, concurrency control, multiprocessing systems, configuration management, speedup, file organisation, extendible hashing, processor number
29	Lokesh Gupta, John F. Chionglo, Mark S. Fox	A constraint-based model of coordination in concurrent design projects.	WETICE	1996	DBLP DOI BibTeX RDF	concurrent design projects, system management agent, design knowledge management, large complex artifacts, constraints, coordination, project support environments, concurrent design
29	Ioannis Voyiatzis, Dimitris Nikolos, Antonis M. Paschalis, Constantinos Halatsis, Th. Haniotakis	An efficient comparative concurrent Built-In Self-Test technique.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	off-line test generation, comparative concurrent BIST, test latency, windowed-CBIST, VLSI, logic testing, built-in self test, integrated circuit testing, concurrent engineering, VLSI circuits, test sequence, hardware overhead
29	Winfried Hahn, Andreas Hagerer, R. Kandlbinder	Hardware-accelerated concurrent fault simulation: eventflow computing versus dataflow computing.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hardware-accelerated concurrent fault simulation, eventflow computing, highly-parallel Munich Simulation Computer, compiler-driven simulation, selective trace simulation, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, discrete event simulation, MuSiC, automatic testing, automatic testing, circuit analysis computing, logic simulation, concurrent engineering, test vectors, data flow computing, dataflow computing
29	Roberto Manione, Alberto Lagna	Simulation of object-oriented distributed systems via compilation to concurrent process level.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	object-oriented distributed systems, concurrent process level, object based software architectures, object based software platforms, prototype CASE environment, ACE computational model, TINA-C architecture, simulation engine, ACE language semantics, asynchronous method invocation, method guards, state of the art workstation, formal specification, parallel processing, compilation, programming environments, digital simulation, templates, object-oriented methods, computer aided software engineering, computational linguistics, Building Block, application specification, application generators, parallelising compilers, object oriented simulation, concurrent objects, program processors
29	Abdel-Fattah Yousif, Jun Gu	Concurrent automatic test pattern generation algorithm for combinational circuits.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent automatic test pattern generation algorithm, global computations techniques, concurrent search, ISCAS'85, ISCAS'89 benchmarks, computational complexity, logic testing, NP-hard, combinational circuits, combinational circuits, automatic testing
29	Antoni W. Mazurkiewicz	Semantics of concurrent systems: a modular fixed-point trace approach.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF	fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition
29	Johan Lilius	OB(PN)2: An Object Based Petri Net Programming Notation.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
29	Paul Gastin	Infinite Traces.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
29	Rob J. van Glabbeek, Ursula Goltz	Equivalences and Refinement.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
29	Philippe Darondeau, Pierpaolo Degano	Causal Trees: Interleaving + Causality.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	concurrency, bisimulation, causality, non-determinism
29	Serge N. Demidenko, Vincenzo Piuri	On-Line Testing In Digital Neural Networks.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	digital neural networks, concurrent fault-tolerance policy, error localisation, system survival, concurrent diagnosis, data coding, neuron level error detection, on-line localisation, faulty neuron, multilayer feedforward networks, synaptic errors, summation errors, architecture regularity, automatic reconfiguration, fault tolerant computing, fault model, on-line testing, signature analysis, arithmetic codes, residue codes, hardware reconfiguration
29	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
29	Lorrie Fava Lindon, Selim G. Akl	An Optimal Implementation of Broadcasting with Selective Reduction.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	optimal implementation, broadcasting with selective reduction, concurrent-read concurrent-write, concurrentmemory access, BROADCAST instruction, memory locations, parallel computation, parallel random access machine, PRAM, instruction sets, random-access storage, parallelalgorithms
28	Fridtjof Siebert	Concurrent, parallel, real-time garbage-collection.	ISMM	2010	DBLP DOI BibTeX RDF	java, real-time, parallel, concurrent, garbage collection, multicore
28	Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun	Transactional predication: high-performance concurrent sets and maps for STM.	PODC	2010	DBLP DOI BibTeX RDF	concurrent map, semantic conflict detection, transactional predication, software transactional memory
28	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
28	Mathias Ricken, Robert Cartwright	ConcJUnit: unit testing for concurrent programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, concurrent programming, unit testing, JUnit
28	Brijesh Dongol, Arjan J. Mooij	Streamlining progress-based derivations of concurrent programs.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Mathematical techniques, Concurrent programs, Progress, Program derivation
28	Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal	Design of Concurrent Utilities in Jackal: A Software DSM Implementation.	ICDCN	2008	DBLP DOI BibTeX RDF	concurrent utilities, Jackal, ReentrantLock, Atomic variable and ThreadPoolExecutor, DSM
28	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
28	Eric Fabre	Trellis Processes : A Compact Representation for Runs of Concurrent Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
28	Zheng-Jun Zha, Tao Mei 0001, Xian-Sheng Hua 0001, Guo-Jun Qi, Zengfu Wang	Refining video annotation by exploiting pairwise concurrent relation.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	pairwise concurrent relation, video annotation
28	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
28	William W. Pugh, Nathaniel Ayewah	Unit testing concurrent software.	ASE	2007	DBLP DOI BibTeX RDF	JUnit test cases, concurrent abstraction, multithreadedTC, java, testing framework
28	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
28	David A. Ellsworth, Bryan Green, Chris Henze, Patrick J. Moran, Timothy Sandstrom	Concurrent Visualization in a Production Supercomputing Environment.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	concurrent visualization, interactive visual computing, high temporal resolution visualization, GEOS4 global climate model, hurricane visualization, ECCO, ocean modeling, Supercomputing, time-varying data
28	Yang Yu 0009, Loren J. Rittle, Vartika Bhandari, Jason B. LeBrun	Supporting concurrent applications in wireless sensor networks.	SenSys	2006	DBLP DOI BibTeX RDF	Maté, dynamic group formation, group-keyed code dissemination, group-keyed code distribution, melete, muse, trickle, wireless sensor networks, virtual machine, network protocols, concurrent applications
28	Yichuan Jiang, Toru Ishida 0001	Concurrent Agent Social Strategy Diffusion with the Unification Trend.	PRIMA	2006	DBLP DOI BibTeX RDF	social law, social strategy, concurrent mechanism, agent, diffusion
28	Paolo Baldan, Fabio Gadducci, Ugo Montanari	Concurrent Rewriting for Graphs with Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	Concurrent graph rewriting, dpo approach, graphical encoding of nominal calculi, graph process semantics
28	Yuqiang Xian, Guangze Xiong	Minimizing memory requirement of real-time systems with concurrent garbage collector.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	deferrable server, scheduling, real-time, concurrent, garbage collector
28	Li Shen 0002	VFSim: Concurrent Fault Simulation at Register Transfer Level.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	concurrent fault simulation, fault model, RTL, Verilog, high-level testing, circuit modeling
28	Carles Riba Romeva, Roberto Pérez, A. Jorge L. Sánchez, María D. Domínguez, Joaquín Aca, G. Arturo Molina	A Concurrent Approach to Design of Reconfigurable Machine Tools to Process Bamboo.	CDVE	2005	DBLP DOI BibTeX RDF	Bamboo, Reconfigurability, Machine Tool, Concurrent Design
28	Ismail Assayad, Sergio Yovine	Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.	IICS	2005	DBLP DOI BibTeX RDF	Execution constraints synthesis, Concurrent loops, Compositionality
28	W. Eric Wong, Yu Lei, Xiao Ma	Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.	ICECCS	2005	DBLP DOI BibTeX RDF	concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph