|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6429 occurrences of 2700 keywords
|
|
|
Results
Found 10874 publication records. Showing 10874 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Toon Calders |
The complexity of satisfying constraints on databases of transactions. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Bart Vermeulen, Kees Goossens, Remco van Steeden, Martijn T. Bennebroek |
Communication-Centric SoC Debug Using Transactions. |
ETS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shi-Jen Lin, Ding-Chyu Liu |
A Fair-Exchange and Customer-Anonymity Electronic Commerce Protocol for Digital Content Transactions. |
ICDCIT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | MinTzu Wang, Ping Yu Hsu 0001, K. C. Lin, ShiuannShuoh Chen |
Clustering Transactions with an Unbalanced Hierarchical Product Structure. |
DaWaK |
2007 |
DBLP DOI BibTeX RDF |
similarity (distance) measure, data mining, clustering, hierarchy |
15 | Uche M. Mbanaso, G. S. Cooper, David W. Chadwick, Anne Anderson |
Obligations for Privacy and Confidentiality in Distributed Transactions. |
EUC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mengling Feng, Guozhu Dong, Jinyan Li 0001, Yap-Peng Tan, Limsoon Wong |
Evolution and Maintenance of Frequent Pattern Space When Transactions Are Removed. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Michael Emmi, Rupak Majumdar |
Verifying Compensating Transactions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sandeep Singh Ghotra, Baldev Kumar Mandhan, Sam Shang Chun Wei, Yi Song, Chris Steketee |
Secure Display and Secure Transactions Using a Handset. |
ICMB |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott |
Nonblocking transactions without indirection using alert-on-update. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
software transactional memory, event-based systems, obstruction freedom |
15 | David J. Paul, Frans Henskens, Michael Hannaford |
Isolation and Web Services Transactions. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Tzung-Pei Hong, Kuei-Ying Lin, Shyue-Liang Wang |
Mining fuzzy sequential patterns from quantitative transactions. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Data mining, Fuzzy set, Transaction, Sequential pattern, Quantitative data |
15 | Andrea Ordanini |
What drives market transactions in B2B exchanges? |
Commun. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers |
The application of model checking for securing e-commerce transactions. |
Commun. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Maxime Monod, Jörg Kienzle, Alexander B. Romanovsky |
Looking Ahead in Open Multithreaded Transactions. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Johan Fabry, Theo D'Hondt |
KALA: Kernel Aspect language for advanced transactions. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
ACTA, advanced transaction management, domain-specific languages |
15 | Tobias Bjerregaard, Jens Sparsø |
Packetizing OCP Transactions in the MANGO Network-on-Chip. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Luis Cortés, Hayde Castellanos, Sergio Rafael Coria Olguin, Varinia M. Estrada, Fernanda López, Isabel López, Iván Meza, Iván Moreno, Patricia Pérez, Carlos Rodríguez 0003 |
Balancing Transactions in Practical Dialogues. |
CICLing |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ami Marowka, David Semé |
Power-dependable transactions in mobile networks. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Pashalidis, Bernd Meyer 0002 |
Linking Anonymous Transactions: The Consistent View Attack. |
Privacy Enhancing Technologies |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ponnurangam Kumaraguru, Alessandro Acquisti, Lorrie Faith Cranor |
Trust modelling for online transactions: a phishing scenario. |
PST |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Zhenbang Chen, Ji Wang 0001, Wei Dong 0006, Zhichang Qi |
Towards Formal Interfaces for Web Services with Transactions. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Interface theory, Web service, Composition, Transaction |
15 | Michail Flouris, Renaud Lachaize, Angelos Bilas |
Using Lightweight Transactions and Snapshots for Fault-Tolerant Services Based on Shared Storage Bricks. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Victoria Ungureanu |
Using certified policies to regulate E-commerce transactions. |
ACM Trans. Internet Techn. |
2005 |
DBLP DOI BibTeX RDF |
Contract terms, Scalability, Enforcement |
15 | Manuel Salvadores, Pilar Herrero, María S. Pérez 0001, Víctor Robles |
DCP-Grid A Framework for Concurrent Distributed Transactions on Grid Environments. |
AWIC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Vasquez, John A. Miller 0001, Kunal Verma, Amit P. Sheth |
OpenWS-Transaction: Enabling Reliable Web Service Transactions. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Seunglak Choi, Jungsook Kim, Hyukjae Jang, Su Myeon Kim, Junehwa Song, Hangkyu Kim, Yunjoon Lee |
A framework for handling dependencies among web services transactions. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
isolation relaxation, transaction management protocol, web services, transaction model |
15 | B. Nagaprabhanjan, Varsha Apte |
A Tool for Automated Resource Consumption Profiling of Distributed Transactions. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Michael Schmitt 0004, Christophe Incoul, Eric Dubois 0001 |
Supporting Business Experts in the Design of B2B Transactions Through Interactive Process Simulation. |
Business Process Management Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Shashi Anand, Krithi Ramamritham |
Recovery of mobile internet transactions: algorithm, implementation and analysis. |
MobiDE |
2005 |
DBLP DOI BibTeX RDF |
WAP internet transaction, internet transaction, mobile internet transaction, recovery, WAP, mobile transaction |
15 | Dag Nyström, Mikael Nolin, Christer Norström |
Snapshots in Real-Time Databases Using Database Pointer Transactions. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | José María Sierra, Julio César Hernández Castro, Eva Ponce, Jaime Manera |
Marketing on Internet Communications Security for Online Bank Transactions. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yuetang Deng, Phyllis G. Frankl, David Chays |
Testing database transactions with AGENDA. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
database, software testing, transaction |
15 | Benjamin A. Schmit, Schahram Dustdar |
Systematic Design of Web Service Transactions. |
TES |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Majed Abdouli, Laurent Amanton, Bruno Sadeg, Adel M. Alimi |
Using Imprecise Concurrency Control and Speculative Lending of Prepared Data-item in Distributed Real-Time Nested Transactions. |
DS-RT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Blerim Rexha |
Increasing User Privacy in Online Transactions with X.509 v3 Certificate Private Extensions and Smartcards. |
CEC |
2005 |
DBLP DOI BibTeX RDF |
X.509 v3 identity and attribute certificates, security, privacy, digital signature, encryption, smartcards, non-repudiation, SET, online transaction |
15 | Huaigu Wu, Bettina Kemme |
Fault-tolerance for Stateful Application Servers in the Presence of Advanced Transactions Patterns. |
SRDS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ziyang Duan, Subhra Bose, Charles A. Shoniregun, Paul A. Stirpe, Alex Logvynovskiy |
SOA Without Web Services: a Pragmatic Implementation of SOA for Financial Transactions Systems. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yanchun Zhang, Jian Yang 0001, Chengfei Liu |
Collaborative Business Transactions Management: Issues and Challenges. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Magali Roux-Rouquié, Michel Soto |
Virtualization in Systems Biology: Metamodels and Modeling Languages for Semantic Data Integration. |
Trans. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jiadi Yu, Minglu Li 0001, Feilong Tang, Ying Li 0013, Feng Hong 0001 |
A Framework for Implementing Transactions on Grid Services. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
15 | HongQian Karen Lu, Asad M. Ali |
Prevent Online Identity Theft - Using Network Smart Cards for Secure Online Transactions. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Maria Victoria Higuero, Juanjo Unzilla, Eduardo Jacob, Purificación Sáiz, David Luengo |
Application of 'Attack Trees' Technique to Copyright Protection Protocols Using Watermarking and Definition of a New Transactions Protocol SecDP (Secure Distribution Protocol). |
MIPS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Suresh Jagannathan, Jan Vitek |
Optimistic Concurrency Semantics for Transactions in Coordination Languages. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Hitoshi Yamamoto, Kazunari Ishida, Toshizumi Ohta |
Temptation and Contribution in C2C Transactions: Implications for Designing Reputation Management Systems. |
Trusting Agents for Trusting Electronic Societies |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Zhengwei Qi, Ruonan Rao, Guangtao Xue, Jinyuan You |
A New Formal Model Based on P-System for Mobile Transactions. |
IEEE SCC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sanjay Dalal, Sazi Temel, Mark C. Little, Mark Potts, Jim Webber |
Coordinating Business Transactions on the Web. |
IEEE Internet Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Philippa J. Broadfoot, Gavin Lowe |
On Distributed Security Transactions that Use Secure Transport Protocols. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Giorgini, Fabio Massacci, John Mylopoulos |
Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano |
Using OCSP to Secure Certificate-Using Transactions in M-commerce. |
ACNS |
2003 |
DBLP DOI BibTeX RDF |
certificate status checking, certification, m-commerce, broker, OCSP |
15 | Willem-Jan van den Heuvel, Hans Weigand |
Coordinating Web-Service Enabled Business Transactions with Contracts. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Neil Urquhart, Peter Ross, Ben Paechter, Kenneth Chisholm |
Routing Using Evolutionary Agents and Proactive Transactions. |
EvoWorkshops |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jeom Goo Kim, Yoochan Ra, Jaehwan Lim |
Certificate Management Client System for E-transactions on Internet. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sushant Goel, Hema Sharda, David Taniar |
Preserving Data Consistency in Grid Databases with Multiple Transactions. |
GCC (2) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sushil K. Prasad, Anu G. Bourgeois, Erdogan Dogdu, Raj Sunderraman, Yi Pan 0001, Shamkant B. Navathe, Vijay K. Madisetti |
Enforcing Interdependencies and Executing Transactions Atomically over Autonomous Mobile Data Stores Using SyD Link Technology. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Steffen Jurk, Mattis Neiling |
Client-Side Dynamic Preprocessing of Transactions. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky |
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ming Xiong, Krithi Ramamritham, John A. Stankovic, Donald F. Towsley, Rajendran M. Sivasankaran |
Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
least slack first, data-deadline, transaction processing, earliest deadline first, temporal consistency, Real-time database systems |
15 | Elisa Bertino, Danilo Montesi, Maria Bagnato, Peter A. Dearnley |
Rules Termination Analysis investigating the interaction between transactions and triggers. |
IDEAS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal |
Consistency Checking of Financial Derivatives Transactions. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Cheng-Ru Lin, Chang-Hung Lee, Ming-Syan Chen, Philip S. Yu |
Distributed data mining in a chain store database of short transactions. |
KDD |
2002 |
DBLP DOI BibTeX RDF |
distributed data mining causality rules, triggering events, consequential events, knowledge discovery |
15 | SangKeun Lee 0001, Masaru Kitsuregawa, Chong-Sun Hwang |
Efficient Processing of Wireless Read-only Transactions in Data Broadcast. |
RIDE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andrei Popovici, Gustavo Alonso |
Ad-Hoc Transactions for Mobile Services. |
TES |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Loris Penserini, Maurizio Panti, Luca Spalazzi |
Agent-based transactions into decentralised P2P. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Horst F. Wedde, Sabine Böhm, Wolfgang Freund |
Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems |
15 | Dianlong Zhang, Werner Zorn |
End-to-End Transactions in Three-Tier Systems. |
DOA |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Münnich, Georg Färber |
Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems. |
IDEAS |
2000 |
DBLP DOI BibTeX RDF |
worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical |
15 | Muhammad Younas 0001, Barry Eaglestone, Robert Holton |
A Formal Treatment of the SACReD Protocol for Multidatabase Web Transactions. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Jens Lechtenbörger, Gottfried Vossen |
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Els Van Herreweghen |
Secure Anonymous Signature-Based Transactions. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Runge, Bernd Schopp, Katarina Stanoevska-Slabeva |
The Management of Business Transactions through Electronic Contracts. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam |
Adaptive Data Broadcast Strategy for Transactions with Multiple Data Requests in Mobile Computing Environments. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Xuezhou Xu, Jinglin Guo, Ping Chen |
A Model of Collaborative Systems Transactions. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
transaction, object-oriented database, collaborative system, change notification |
15 | Alfs T. Berztiss |
Transactional Computation: Overview and Discussion. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Edgar Nett, Michael Mock |
A Recovery Model for Extended Real-Time Transactions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Tomoyoshi Matsuda, Theodore H. Clark, Ho Geun Lee |
Electronic Commerce for Agricultural Transactions: Role of Intermediaries and Accurate Pricing. |
HICSS (4) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Qiming Chen, Umeshwar Dayal |
Commit Scope Control in Nested Transactions. |
EDBT |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Neel K. Jain |
Group Formation Mechanisms for Transactions in ISIS. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Calton Pu |
Relaxing the Limitations of Serializable Transactions in Distributed Systems. |
ACM SIGOPS Oper. Syst. Rev. |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Makoto Takizawa 0001, Satoshi Hamada, S. Misbah Deen |
Vehicle Transactions. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder |
Processing Transactions on GRIP, a Parallel Graph Reducer. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
15 | John Kubiatowicz, David Chaiken, Anant Agarwal |
Closing the Window of Vulnerability in Multiphase Memory Transactions. |
ASPLOS |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Gilbert Babin, François Lustman, Peretz Shoval |
Specification and Design of Transactions in Information Systems: A Formal Approach. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach |
15 | Andrew P. Black |
Understanding Transactions in the Operating System Context. |
ACM SIGOPS Oper. Syst. Rev. |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Umeshwar Dayal, Meichun Hsu, Rivka Ladin |
Organizing Long-Running Activities with Triggers and Transactions. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
A Serialization Graph Construction for Nested Transactions. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ada Wai-Chee Fu, Tiko Kameda |
Concurrency Control of Nested Transactions Accessing B-Trees. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Donald D. Chamberlin, Morton M. Astrahan, W. Frank King III, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Mario Schkolnick, Patricia G. Selinger, Donald R. Slutz, Bradford W. Wade, Robert A. Yost |
Support for Repetitive Transactions and Ad Hoc Queries in System R. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
System R, compilation, query languages, performance measurements, transaction processing, relational database systems |
15 | David K. Hsiao |
ACM Transactions on Database Systems - Aim and Scope. |
ACM Trans. Database Syst. |
1976 |
DBLP DOI BibTeX RDF |
|
14 | João Pedro Barreto 0002, Aleksandar Dragojevic, Paulo Ferreira 0001, Rachid Guerraoui, Michal Kapalka |
Leveraging parallel nesting in transactional memory. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
nested parallel programs, transactional memory, work-stealing, fork-join |
14 | Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero |
Debugging programs that use atomic blocks and transactional memory. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
debugging, transactional memory |
14 | Chun-Hao Chen, Tzung-Pei Hong, Vincent S. Tseng, Chang-Shing Lee |
A genetic-fuzzy mining approach for items with multiple minimum supports. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Genetic-fuzzy algorithm, Multiple minimum supports, Requirement satisfaction, Data mining, Clustering, k-means |
14 | Walter J. Scheirer, Terrance E. Boult |
Bipartite Biotokens: Definition, Implementation, and Analysis. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Qiang He 0001, Jun Yan 0005, Hai Jin 0001, Yun Yang 0001 |
ServiceTrust: Supporting Reputation-Oriented Service Selection. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
service reputation, Web services, trust, Service-oriented computing, service selection |
14 | Mohammad Alomari, Alan D. Fekete, Uwe Röhm |
A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Rachid Guerraoui, Michal Kapalka |
The semantics of progress in lock-based transactional memory. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number |
14 | Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Feedback-directed barrier optimization in a strongly isolated STM. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap |
14 | Francesc D. Muñoz-Escoí, Josep M. Bernabé-Gisbert, Rubén de Juan-Marín, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil |
Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation. |
OTM Conferences (1) |
2009 |
DBLP DOI BibTeX RDF |
|
|
|