|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Danny Dolev, H. Raymond Strong |
On Safety and Timeliness in Distributed Data Management. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | A. Bourguet-Rouger |
External Behaviour Equivalence between two Petri Nets. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Wolfgang Reisig |
Temporal Logic and Causality in Concurrent Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Manfred Broy |
Requirement and Design Specification for Distributed Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Udo Thalmann |
Analysis of ESTELLE Specifications. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Younes Souissi, Nicolas Beldiceanu |
Deterministic Systems of Sequential Processes: Theory and Tools. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
deterministic systems of sequential processes, Petri net, expert system, liveness |
39 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
Data in a Concurrent Environment. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | P. M. Melliar-Smith |
A Graphical Representation of Interval Logic. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Howard Barringer, Dov M. Gabbay |
Executing Temporal Logic: Review and Prospects (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Asis Goswami, Mathai Joseph |
Semancitcs of Real-time Distributed Programs. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Gerard Tel |
Total Algorithms. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
Network control problems, Distributed Infimum, Resynchronization, Broadcast, Election |
39 | Da-Hai Li, T. S. E. Maibaum |
A Top-down Step-wise Refinement Methodology for Protocol Specification. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Eike Best |
Weighted Basic Petri Nets. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Ephraim Korach, Gerard Tel, Shmuel Zaks |
Optimal Synchronization of ABD Networks. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone |
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Moshe Y. Vardi |
An Automata-Theoretic Approach to Protocol Verification (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Burkhard Igel, Georg Reichwein |
An Example of Communicating Production Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Leslie Lamport |
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | Joseph Y. Halpern, Ronald Fagin |
Modelling Knowledge and Action in Distributed Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
39 | J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker |
Contrasting Themes in the Semantics of Imperative Concurrency. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
39 | Giorgio Levi |
Logic Programming: The Foundations, the Approach and the Role of Concurrency. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
39 | Glynn Winskel |
Categories of Models for Concurrency. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
38 | Gian-Luigi Ferrari 0002 |
Ugo Montanari and Software Verification. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Eike Best |
A Note on Persistent Petri Nets. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Heejun Han, Seog Park, Chanjung Park |
A concurrency control protocol for read-only transactions in real-time secure database systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions |
38 | Ching-Shan Peng, Kwei-Jay Lin |
A semantic-based concurrency control protocol for real-time transactions. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions |
37 | K. Vidyasankar |
A Non-Two Phase Locking Protocol for Global Concurrency Control in Distributed Heterogeneous Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
non-two-phase locking protocol, global concurrency control, distributed heterogeneous database systems, global transactions, database sites, rooted tree fashion, global transaction manager, GTM, g-local transactions, concurrency control mechanism, local transactions, g-local transactions, protocols, distributed databases, concurrency control, transaction processing, system recovery, serializability, deadlock freedom, general architecture |
37 | Jay K. Adams, Donald E. Thomas |
Multiple-process behavioral synthesis for mixed hardware-software systems. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
automated iterative improvement technique, concurrency optimization, concurrency tradeoffs, cost/performance ratio, hardware-software tradeoffs, mixed hardware-software systems, multiple-process behavioral synthesis, software engineering, resource allocation, concurrency control, controllers, optimisation, high level synthesis, logic design, multiprocessing systems, microprocessors, ASICs, application specific integrated circuits, ASIC, microprocessor chips, cost-benefit analysis |
37 | 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 |
36 | Shaz Qadeer |
Taming Concurrency: A Program Verification Perspective. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Yahiko Kambayashi, Sei-Ichi Kondoh |
Global concurrency control mechanisms for a local network consisting of systems without concurrency control capability. |
AFIPS National Computer Conference |
1984 |
DBLP DOI BibTeX RDF |
|
36 | Yuan Zhang, Evelyn Duesterwald, Guang R. Gao |
Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Tim Schattkowsky, Gregor Engels, Alexander Förster |
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Kostas Bousias, Chris R. Jesshope |
The Challenges of Massive On-Chip Concurrency. |
Asia-Pacific Computer Systems Architecture Conference |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Peter Pleshachkov, Petr Chardin, Sergei D. Kuznetsov |
A DataGuide-Based Concurrency Control Protocol for Cooperation on XML Data. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Jan Lindström |
Performance of Distributed Optimistic Concurrency Control in Real-Time Databases. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Xinping Zhu, Wei Qin, Sharad Malik |
Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
on-chip communication architecture, simulator synthesis, multiprocessor system, packet-switching network, design exploration, bus, retargetable simulation |
36 | Brad Long, Paul A. Strooper |
A Classification of Concurrency Failures in Java Components. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Stephen P. Masticola, Barbara G. Ryder |
Non-concurrency Analysis. |
PPoPP |
1993 |
DBLP DOI BibTeX RDF |
Ada |
36 | Luca Aceto, David Murphy |
On the Ill-Timed but Well-Caused. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz |
The Concurrency Control Problem in Multidatabases: Characteristics and Solutions. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Maurice Herlihy |
Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Michael J. Carey 0001, Miron Livny |
Parallelism and Concurrency Control Performance in Distributed Database Machines. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
SQL |
36 | Bernadette Charron-Bost |
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. |
WDAG |
1989 |
DBLP DOI BibTeX RDF |
|
36 | C. P. Wang, Victor O. K. Li |
The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
36 | Michael J. Carey 0001, Waleed A. Muhanna |
The Performance of Multiversion Concurrency Control Algorithms. |
ACM Trans. Comput. Syst. |
1986 |
DBLP DOI BibTeX RDF |
|
36 | Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer |
Maximal Concurrency by Locking. |
PODS |
1984 |
DBLP DOI BibTeX RDF |
|
36 | Binto George, Jayant R. Haritsa |
Secure Transaction Processing in Firm Real-Time Database Systems. |
SIGMOD Conference |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Claus Brabrand |
Constructive Alignment for Teaching Model-Based Design for Concurrency. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching |
35 | H. C. M. Kleijn, Maciej Koutny |
Infinite Process Semantics of Inhibitor Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences |
34 | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
Introducing concurrency in CS 1. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
objectdraw, java, concurrency, cs 1 |
34 | Guy L. Steele Jr., Vijay A. Saraswat |
Curricula for concurrency and parallelism. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, multicore, curricula |
34 | Nathar Shah |
Aspectising Concurrency for the RTSJ. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
Concurrency, Object-Orientation, Aspect-Orientation |
34 | Tuukka K. Haapasalo, Ibrahim Jaluta, Seppo Sippu, Eljas Soisalon-Soininen |
Concurrency control and recovery for multiversion database structures. |
PIKM |
2008 |
DBLP DOI BibTeX RDF |
versioned data, concurrency, transactions, recovery, physical design, access methods |
34 | Madan Musuvathi |
Systematic concurrency testing using CHESS. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
testing, concurrency, race conditions |
34 | Christoph von Praun, Rajesh Bordawekar, Calin Cascaval |
Modeling optimistic concurrency using quantitative dependence analysis. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
available parallelism, dependence density, transactional memory, dependence analysis, program parallelization, optimistic concurrency, implicit parallelism |
34 | Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas |
Concurrency control with data coloring. |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
data coloring, concurrency control, programming model |
34 | Rachid Guerraoui |
A Smooth Concurrency Revolution with Free Objects. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
concurrency, object-oriented programming, programming model, application development |
34 | Signe J. Silver, Janusz A. Brzozowski |
True Concurrency in Models of Asynchronous Circuit Behavior. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive |
34 | Ahmad S. Al-Mogren, Margaret H. Dunham |
Concurrency control performance in DAYS. |
MobiDE |
2003 |
DBLP DOI BibTeX RDF |
BUC, DAYS, UFO, broadcast architecture, mobile computing, concurrency control, data consistency, matrix, transaction management, wireless data broadcast |
34 | João Coelho Garcia, Paulo Ferreira 0001 |
Concurrency control for distributed cooperative engineering applications. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
persistent store, concurrency control, cooperative applications |
34 | Yakov Persky, Mordechai Ben-Ari |
Re-engineering a concurrency simulator. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
Ada, virtual machine, Ada 95, compiler design, concurrency simulator |
34 | Michael Mock, Martin Gergeleit, Edgar Nett |
Cooperative Concurrency Control on the Web. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
World Wide Web, Concurrency Control, Cooperative Applications |
34 | Hong K. Kim, Jack S. N. Jean |
Concurrency Preserving Rartitioning (CPP) for Parallel Logic Simulation. |
Workshop on Parallel and Distributed Simulation |
1996 |
DBLP DOI BibTeX RDF |
Load Balancing, Concurrency, Partitioning, Time Warp, Parallel Logic Simulation |
34 | Zair Abdelouahab, Peter M. Dew |
Programming concurrency and synchronisation in Actel. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
Actel, concurrent object based language, performance, concurrency, object orientation, message passing, synchronisation, object-oriented languages, parallel languages |
34 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
34 | B. R. Badrinath, Krithi Ramamritham |
Semantics-Based Concurrency Control: Beyond Commutativity. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
concurrency control, semantic information |
34 | Graham D. Parrington, Santosh K. Shrivastava |
Implementing Concurrency Control in Reliable Object-Oriented Systems. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
Type-inheritance, Reliability, Object-oriented programming, Concurrency control, Atomic actions |
34 | Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje |
Secure Transaction Management Protocols for MLS/DDBMS. |
ICISS |
2007 |
DBLP DOI BibTeX RDF |
concurrency control, covert channel, Multilevel security, distributed database system, commit protocol |
34 | Frédéric Boniol, Martin Adelantado |
Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. |
WDAG |
1993 |
DBLP DOI BibTeX RDF |
Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency |
33 | Jos C. M. Baeten |
Calculating with Automata. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Fabio Gadducci |
Ugo Montanari and Friends. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Robin Milner |
Categories, Software and Meaning. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Roberto Bruni, Vladimiro Sassone |
Models of Computation: A Tribute to Ugo Montanari's Vision. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Eike Best, Maciej Koutny |
Process Algebra: A Petri-Net-Oriented Tutorial. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
Petri nets, process algebras |
33 | Hartmut Ehrig, Julia Padberg |
Graph Grammars and Petri Net Transformations. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mogens Nielsen, Frank D. Valencia |
Notes on Timed Concurrent Constraint Programming. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mario Tokoro, Kohei Honda 0001 |
The Computational Field Model for Open Distributed Environments. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Takayasu Ito |
Logic of Execution: An Outline. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura |
Concurrent Programming in COB. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
33 | William G. Golson |
Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Gul Agha |
Semantic Considerations in the Actor Paradigm of Concurrent Computation. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Eike Best |
Concurrent Behaviour: Sequences, Processes and Axioms. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Jan Lindström, Kimmo E. E. Raatikainen |
Using importance of transactions and optimistic concurrency control in firm real-time databases. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
optimistic concurrency control protocol, transaction importance, hard real-time databases, database consistency requirements, heterogeneous transactions, OCC-PDATI, serialization order dynamic adjustment, prototype database system, performance, real-time systems, concurrency control, timing, database management systems, transaction processing, timing constraints, conflict resolution, access protocols |
33 | SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee |
A unified approach to global concurrency control and global deadlocks in a multidatabase environment. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations |
33 | Jim McGovern, Emarson Victoria |
Concurrency control requirements for the collaborative development of decision models. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
concurrency control requirements, collaborative decision making environment, collaborative decision model development, real-time distributed WYSIWIS processing, common decision model, replicated architecture, optimistic concurrency control method, dynamic group membership support, private work support, real-time distributed group-work, groupware, decision analysis, multiple users |
33 | Iwen E. Kang, Thomas F. Keefe |
Concurrency control for federated multilevel secure database systems. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
MLS database systems, federated MLS database, local database systems, global serializability, security, interoperation, distributed databases, concurrency control, concurrency control, transaction processing, transaction processing, open systems, security of data, federated, multilevel secure database systems |
33 | Bruno Ciciani, Daniel M. Dias, Philip S. Yu |
Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
concurrency-coherency control protocols, distributed transaction processing systems, fully replicated databases, duplicate copies, approximate analytic model, performance evaluation, performance, databases, protocols, delay, distributed processing, distributed databases, concurrency control, transaction processing |
33 | Mohan Ahuja, Timothy Carlson, Ashwani Gahlot |
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations |
31 | Georgy Lukyanov, Andrey Mokhov |
Concurrency Oracles for Free. |
ATAED@Petri Nets/ACSD |
2018 |
DBLP BibTeX RDF |
|
31 | Christian Eisentraut, Holger Hermanns |
Teaching Concurrency Concepts to Freshmen. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Samson Abramsky |
Petri Nets, Discrete Physics, and Distributed Quantum Computation. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Paul-André Melliès |
Asynchronous Games 2: The True Concurrency of Innocence. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
31 | José Meseguer 0001 |
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Manfred Droste, Paul Gastin |
Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Brandon Lucia, Luis Ceze |
Finding concurrency bugs with context-aware communication graphs. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson |
Advanced Concurrency Control for Transactional Memory Using Transaction Commit Rate. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
Displaying result #101 - #200 of 10697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|