|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10846 occurrences of 3886 keywords
|
|
|
Results
Found 18005 publication records. Showing 18005 according to the selection in the facets
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 |
Displaying result #201 - #300 of 18005 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|