|
|
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 |
28 | Jeffery I. Zucker |
Propositional Temporal Logics and Their Use in Model Checking. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Peter E. Lauer |
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Nachum Dershowitz |
A Taste of Rewrite Systems. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels |
The EVES System. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | David B. MacQueen |
Reflections on Standard ML. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Michael Barnett 0001, Christian Lengauer |
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen |
Specification and Simulation with ExSpect. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | John Ophel |
An Introduction to the High-Level Language Standard ML. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Timothy C. Winkler |
Programming in OBJ and Maude. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Jeffery I. Zucker |
The Propositional mu-Calculus and Its Use in Model Checking. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli |
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Richard A. Frost, S. Karamatos |
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Douglas J. Howe |
Reasoning About Functional Programs in Nuprl. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Jawahar Malhotra, Robert M. Shapiro |
Generating an Algorithm for Executing Graphical Models. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Akinori Yonezawa, Takayasu Ito (eds.) |
Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings |
Concurrency: Theory, Language, And Architecture |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |
Using the Temporal Logic RDL for Design Specifications. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | D. L. McBurney, M. Ronan Sleep |
Graph Rewriting as a Computational Model. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Etsuya Shibayama |
Reuse of Concurrent Object Descriptions. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Makoto Amamiya, Rin-Ichiro Taniguchi |
An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
Keyword Functional language, Massively parallel machine architecture, Dataflow analysis, Multiprocessing, Dataflow machine |
28 | Joseph A. Goguen |
Semantic Specifications for the Rewrite Rule Machine. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Yuuji Ichisugi, Akinori Yonezawa |
Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Norihiko Yoshida |
Transformational Derivation of Systolic Arrays. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Akikazu Takeuchi, Kazuko Takahashi |
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Colin Stirling |
An Introduction to Modal and Temporal Logics for CCS. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | David Walker 0002 |
Some Results on the pi-Calculus. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Hiroto Yasuura |
Locally Computable Coding for Unary Operations. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Jeff W. Sanders |
A Hierarchical Approach to Hardware Design. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Taiichi Yuasa |
Premature Return - Another Interpretation of the Future Construct. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Hidehiko Tanaka |
A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Ernst-Rüdiger Olderog |
Process Theory: Semantics, Specification and Verification. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Grzegorz Rozenberg, P. S. Thiagarajan |
Petri Nets: Basic Notions, Structure, Behaviour. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Jozef Hooman, Willem P. de Roever |
The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Fred B. Schneider, Gregory R. Andrews |
Concepts for Concurrent Programming. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Amir Pnueli |
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Edward A. Ashcroft |
Dataflow and Education: Data-driven and Demand-driven Distributed Computation. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Michel Diaz, Jean-Pierre Courtiat, Aloysio Pedroza |
Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
Infinitary Languages: Basic Theory an Applications to Concurrent Systems. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Henk Barendregt, Marc van Leeuwen |
Functional Programming and the Language TALE. |
Current Trends in Concurrency |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Stephen D. Brookes, A. W. Roscoe 0001, Glynn Winskel (eds.) |
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 |
Seminar on Concurrency |
1985 |
DBLP DOI BibTeX RDF |
|
28 | Robert E. Strom, Shaula Yemini |
The NIL Distributed Systems Programming Language: A Status Report. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Robin Milner |
Lectures on a Calculus for Communicating Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Howard Barringer, Ruurd Kuiper 0001 |
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | William D. Clinger, Charles Halpern |
Alternative Semantics for McCarthy's amb. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Ben C. Moszkowski |
Executing Temporal Logic Programs. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Glynn Winskel |
On the Composition and Decomposition of Assertions. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Vaughan R. Pratt |
The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | William C. Rounds |
Applications of Topology to Semantics of Communicating Processes. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Darondeau |
A Fully Abstract Model of Fair Asynchrony. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Gérard Berry, Laurent Cosserat |
The ESTEREL Synchronous Programming Language and its Mathematical Semantics. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Robert M. Keller, Prakash Panangaden |
Semantics of Networks Containing Indeterminate Operators. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Stephen D. Brookes, A. W. Roscoe 0001 |
An Improved Failures Model for Communicating Processes. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Luca Cardelli |
An Implementation Model of Rendezvous Communication. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Prakash Panangaden |
Abstract Interpretation and Indeterminacy. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation |
28 | Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi |
Linguistic Support of Receptionists for Shared Resources. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers |
Maximally Concurrent Evolution of Non-sequential Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Jan A. Bergstra, Jan Willem Klop, John V. Tucker |
Process Algebra with Asynchronous Communication Mechanisms. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | A. W. Roscoe 0001 |
Denotational Semantics for occam. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Jayadev Misra |
Axioms for Memory Access in Asynchronous Hardware Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
28 | Kerttu Pollari-Malmi, Jarmo Ruuth, Eljas Soisalon-Soininen |
Concurrency Control for B-Trees with Differential Indices. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
differential indices, indexing system, main index, differential index, active transactions, committed transactions, batch-update operation, simple recovery scheme, system crash, redo operations, undo operations, concurrency control, concurrency control, updates, B-trees, main memory, database index |
28 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
28 | Thomas F. Keefe, Wei-Tek Tsai, Jaideep Srivastava |
Database Concurrency Control in Multilevel Secure Database Management Systems. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
multilevel secure database management systems, concurrent transaction execution, multilevel secure DBMS, MLS/DBMS, data conflict security, output-state-equivalent, DC-security, scheduling, distributed databases, concurrency control, transaction processing, security of data, contention, covert channels, rollback, database concurrency control, security issues, scheduling protocols |
28 | Divyakant Agrawal, Soumitra Sengupta |
Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions |
28 | F. Bukhari, Sylvia L. Osborn |
Two Fully Distributed Concurrency Control Algorithms. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
distributed concurrency control algorithms, partially replicated distributed databases, schedulers, communication, distributed databases, concurrency control, deadlocks, database theory, locks, timestamps |
28 | Sudha Ram, Roy E. Marsten |
A Model for Database Allocation Incorporating a Concurrency Control Mechanism. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
database allocation, concurrency control mechanism, file allocation problem, communication flows, linear mixed-integer programming model, WRITE LOCKS ALL-READ LOCKS ONE, distributed databases, concurrency control, database theory |
28 | Philip S. Yu, Hans-Ulrich Heiss, Daniel M. Dias |
Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
time-stamp history, certification protocol, commit time, back-shifted time-stamp, read-write conflicts, conflicting transaction, transaction requesting commit, protocols, distributed databases, concurrency control, concurrency control, probability, approximations, transaction processing, analytic model, database theory |
28 | Toshihide Ibaraki, Tiko Kameda, Naoki Katoh |
Multiversion Cautious Schedulers for Database Concurrency Control. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control |
28 | William E. Weihl |
Commutativity-Based Concurrency Control for Abstract Data Types. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
local atomicity property, dynamic atomicity, nondeterministic, recovery methods, intentions lists, undo logs, parallel processing, concurrency control, abstract data types, serializability, commutativity, concurrency algorithms, partial |
28 | Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark |
Grace: safe multithreaded programming for C/C++. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
deterministic concurrency, sequential semantics, concurrency, determinism, fork-join |
28 | Alan D. Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, Dennis E. Shasha |
Making snapshot isolation serializable. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
multiversion concurrency, weak isolation, Concurrency control, consistency, serializability, anomaly, snapshot isolation |
28 | 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 |
28 | Ming-Chung Liang, Tei-Wei Kuo, LihChyun Shu |
BAP: a class of abort-oriented protocols based on the notion of compatibility. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
BAP, abort-oriented protocols, notion of compatibility, response time requirements, performance, concurrency control, data consistency, transaction systems, concurrency control algorithm |
28 | Bernd Irlenbusch, Jörg Kaiser |
Towards a resilient shared memory concept for distributed persistent object systems. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
resilient shared memory, distributed persistent object systems, centralized memory, advanced action model, fault tolerant computing, distributed databases, concurrency control, concurrency control, object-oriented databases, shared memory systems |
28 | In Kyung Ryu, Alexander Thomasian |
Performance Analysis of Dynamic Locking with the No-Waiting Policy. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
dynamic locking, no-waiting policy, blocking delays, cyclic restarts, throughput characteristic, read-only query, time-stamp ordering method, performance evaluation, performance analysis, concurrency control, concurrency control, transaction processing, deadlocks, transaction processing system, update transactions |
26 | Ralph Mietzner, Dimka Karastoyanova, Frank Leymann |
Business Grid: Combining Web Services and the Grid. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum |
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev |
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Chatain, Claude Jard |
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Luís Caires, Étienne Lozes |
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Sander Stuijk, Twan Basten, Jan Ypma |
CAST - A Task-Level Concurrency Analysis Tool. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Michael Baldamus, Klaus Schneider 0001 |
The BDD Space Complexity of Different Forms of Concurrency. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Mogens Nielsen, Christian Clausen |
Bisimulation for Models in Concurrency. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Doris Nolte, Lutz Priese |
Fairness in Models with True Concurrency. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
26 | David Murphy |
Testing, Betting and Timed True Concurrency. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Qichang Chen, Liqiang Wang |
An Integrated Framework for Checking Concurrency-Related Programming Errors. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero |
Taking the heat off transactions: Dynamic selection of pessimistic concurrency control. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
26 | Salman Abdul Moiz, Lakshmi Rajamani |
Concurrency Control Strategy to Reduce Frequent Rollbacks in Mobile Environments. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Cagdas Dirik, Bruce L. Jacob |
The performance of PC solid-state disks (SSDs) as a function of bandwidth, concurrency, device architecture, and system organization. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
performance, flash memory, storage systems, solid state disks |
26 | Bryan Cantrill, Jeff Bonwick |
Real-World Concurrency. |
ACM Queue |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Angelo Chianese, Antonio d'Acierno, Vincenzo Moscato, Antonio Picariello |
Pre-serialization of long running transactions to improve concurrency in mobile environments. |
ICDE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding |
A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Veluchandhar Vadivelu, R. V. Jayakumar, M. Muthuvel, K. Balasubramanian, A. Karthi, Karthikesan, G. Ramaiyan, Alagarsamy Deepa, S. Albert Rabara |
A backup mechanism with concurrency control for multilevel secure distributed database systems. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tomohiro Yoshihara, Dai Kobayashi, Haruo Yokota |
A concurrency control protocol for parallel B-tree structures without latch-coupling for explosively growing digital content. |
EDBT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Abdelouahed Gherbi, Ferhat Khendek |
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Walter Binder, Samuel Spycher, Ion Constantinescu, Boi Faltings |
Multiversion Concurrency Control for Multidimensional Index Structures. |
DEXA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Krishneel Goundar, Santokh Singh, Xinfeng Ye |
An Investigation into Concurrency Control Mechanisms in Data Service Layers. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima |
Concurrency Control Modularization with Aspect-Oriented Programming. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Qiuyu Zhang, Sanjun Sui, Jingrong Li |
Research and Realization of Transaction Concurrency Control in Grid Database. |
GCC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Rishiyur S. Nikhil |
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 10697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|