|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 865 occurrences of 426 keywords
|
|
|
Results
Found 709 publication records. Showing 709 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Debmalya Biswas, Thomas Gazagnaire, Blaise Genest |
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Murat Demirbas, Onur Soysal, Muzammil Hussain |
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks. |
IPSN |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Lásaro J. Camargos, Marcin Wieloch, Fernando Pedone, Edmundo Roberto Mauro Madeira |
A Highly Available Log Service for Transaction Termination. |
ISPDC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Therese J. Albert, Kai Qian, Xiang Fu 0001 |
Race condition in Ajax-based web application. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
dynamic web application, concurrency, Ajax, lock, race condition |
10 | Barbara Gallina, Nicolas Guelfi |
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Advanced Transactional Frameworks, Software Product Lines, Reusability, Requirements Elicitation, ACID properties |
10 | Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee |
State space abstraction for parameterized self-stabilizing embedded systems. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
verification, abstraction, parameterized systems, self-stabilizing systems, network invariants |
10 | Daniel Reichart, Peter Forbrig |
Transactions in Task Models. |
TAMODIA/HCSE |
2008 |
DBLP DOI BibTeX RDF |
Transaction, Task Model, Tool Support |
10 | Eitan Farchi |
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
Ordering-Based Semantics for Software Transactional Memory. |
OPODIS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Miseon Choi, Wonik Park, Young-Kuk Kim |
A split synchronizing mobile transaction model. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Kunal Agrawal, Jeremy T. Fineman, Jim Sukha |
Nested parallelism in transactional memory. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
nested parallel computations, series-parallel computations, transaction conflict detection, data structure, multithreading, transactional memory, work stealing, cilk, fork-join |
10 | Juha Puustjärvi |
Exploiting a database system in scheduling internet-based workflows. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
internet-based workflows, databases, workflows, SQL, isolation |
10 | Nawab Ali, Ananth Devulapalli, Dennis Dalessandro, Pete Wyckoff, P. Sadayappan |
An OSD-based approach to managing directory operations in parallel file systems. |
CLUSTER |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Michal Kapalka |
On obstruction-free transactions. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, obstruction-freedom, impossibility, consensus number |
10 | Todd J. Foster, Dennis L. Lastor, Padmaraj Singh |
First Silicon Functional Validation and Debug of Multicore Microprocessors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Shi Zhang, Linpeng Huang |
Research on dynamic update transaction for Java classes. |
Frontiers Comput. Sci. China |
2007 |
DBLP DOI BibTeX RDF |
Java language, program design, dynamic software update, update transaction |
10 | Kishori M. Konwar, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman |
Implementing Atomic Data through Indirect Learning in Dynamic Networks. |
NCA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Niemann, Christian Haubelt |
Towards a Unified Execution Model for Transactions in TLM. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Parameterized Verification of Infinite-State Processes with Global Conditions. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Satish Devane, Madhumita Chatterjee, Deepak B. Phatak |
Secure E-Commerce Protocol for Purchase of e-Goods - Using Smart Card. |
IAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki |
Self* Minimum Connected Covers of Query Regions in Sensor Networks. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Obermeier 0001, Stefan Böttcher |
Avoiding Infinite Blocking of Mobile Transactions. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young |
Transactions with isolation and cooperation. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
TIC, open-nesting, transactional memory, nested transactions, punctuation |
10 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
Algebraic Semantics for Compensable Transactions. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Pierre Sutra, João Pedro Barreto 0002, Marc Shapiro 0001 |
Decentralised Commitment for Optimistic Semantic Replication. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | K. Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem |
A Multi-level Model for Activity Commitments in E-contracts. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Heine Kolltveit, Svein-Olaf Hvasshovd |
The Circular Two-Phase Commit Protocol. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Plantikow, Alexander Reinefeld, Florian Schintke |
Transactions for Distributed Wikis on Structured Overlays. |
DSOM |
2007 |
DBLP DOI BibTeX RDF |
concurrency control, consistency, content management systems, Distributed transactions, structured overlay networks |
10 | Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini |
ROSE: A transactional services coordination engine. |
ENC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Dejan Kostic, Ron R. Levy, Vivien Quéma |
A High Throughput Atomic Storage Algorithm. |
ICDCS |
2007 |
DBLP DOI BibTeX RDF |
orig-research |
10 | Niels Drost, Elth Ogston, Rob van Nieuwpoort, Henri E. Bal |
ARRG: real-world gossiping. |
HPDC |
2007 |
DBLP DOI BibTeX RDF |
peer-to-peer, robust, gossiping, real-World |
10 | Michael Emmi, Rupak Majumdar |
Verifying Compensating Transactions. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Lindsay Groves |
Reasoning about Nonblocking Concurrency using Reduction. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Alexander Thomasian |
Multi-level RAID for very large disk arrays. |
SIGMETRICS Perform. Evaluation Rev. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kyosun Kim, Ramesh Karri, Miodrag Potkonjak |
Micropreemption synthesis: an enabling mechanism for multitask VLSI systems. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Qingguang Ji, Sihan Qing, Yeping He |
A formal model for integrity protection based on DTE technique. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
integrity policy, information flow, formal model, type, domain |
10 | Eddy Truyen, Wouter Joosen |
Run-Time and Atomic Weaving of Distributed Aspects. |
T. Aspect-Oriented Software Development |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented middleware, run-time weaving |
10 | Brijesh Dongol |
Derivation of Java Monitors. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun |
Testing implementations of transactional memory. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
verification, testing, specification, transactional memory |
10 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
p_RBT-calculus Compensation and Exception Handling Protocol. |
PDP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Adnene Guabtni, François Charoy, Claude Godart |
Concurrency Management in Transactional Web Services Coordination. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | João Costa Seco, Luís Caires |
Types for Dynamic Reconfiguration. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zaihan Yang, Chengfei Liu |
On the Development of a Multiple-Compensation Mechanism for Business Transactions. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Frederic Montagut, Refik Molva |
Augmenting Web Services Composition with Transactional Requirements. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Volker Turau, Christoph Weyer |
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks. |
IWSOS/EuroNGI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dan Grossman, Jeremy Manson, William W. Pugh |
What do high-level memory models mean for transactions? |
Memory System Performance and Correctness |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
Decentralized runtime analysis of multithreaded applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
Transparently Reconciling Transactions with Locking for Java Synchronization. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun |
The Atomos transactional programming language. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
conditional synchronization, java, transactional memory, multiprocessor architecture |
10 | Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos |
Lightweight lock-free synchronization methods for multithreading. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Mohammad Alrifai, Peter Dolog, Wolfgang Nejdl |
Transactions Concurrency Control in Web Service Environment. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Böttcher, Le Gruenwald, Sebastian Obermeier 0001 |
Reducing Sub-transaction Aborts and Blocking Time Within Atomic Commit Protocols. |
BNCOD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir |
Transactional contention management as a non-clairvoyant scheduling problem. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
scheduling, concurrency control, transactions, contention management, software transactional memory |
10 | Jörg Kienzle, Samuel Gélineau |
AO challenge - implementing the ACID properties for transactional objects. |
AOSD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Michel Raynal |
From static distributed systems to dynamic systems: an approach for a first step. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Xiangyong Ouyang, Tomohiro Yoshihara, Haruo Yokota |
An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Gérard Boudol |
Shared-Variable Concurrency: A Proposal. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Frederic Montagut, Refik Molva |
Towards Transactional PervasiveWorkflows. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Julian Jang, Alan D. Fekete, Paul Greenfield, Surya Nepal |
An Event-Driven Workflow Engine for Service-based Business Systems. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami |
A Locality-Driven Atomic Group Checkpoint Protocol. |
PDCAT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues |
The atomic manifesto: a story in four quarks. |
SIGMOD Rec. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues |
The atomic manifesto: a story in four quarks. |
ACM SIGOPS Oper. Syst. Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Marie-Christine Fauvet, Helga Duarte, Marlon Dumas, Boualem Benatallah |
Handling Transactional Properties in Web Service Composition. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Klaus Haller, Heiko Schuldt, Can Türker |
Decentralized coordination of transactional processes in peer-to-peer environments. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
DSGT, global correctness, partial rollback, transactional processes, peer-to-peer communication, decentralized coordination |
10 | Rajeev Thakur, Robert B. Ross, Robert Latham |
Implementing Byte-Range Locks Using MPI One-Sided Communication. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Joos-Hendrik Böse, Stefan Böttcher, Le Gruenwald, Sebastian Obermeier 0001, Heinz Schweppe, Thorsten Steenweg |
An Integrated Commit Protocol for Mobile Network Databases. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Tomoaki Kaneda, Youhei Tanaka, Tomoya Enokido, Makoto Takizawa 0001 |
Transactional agent model for fault-tolerant object systems. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerant, mobile agent, transaction |
10 | Kunle Olukotun |
A New Approach to Programming and Prototyping Parallel Systems. |
HiPC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee |
Toward Knowledge Preconditions for Composition of SemanticWeb Services. |
DEEC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi |
On the Availability of Non-strict Quorum Systems. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Maurice Herlihy, Bastian Pochon |
Polymorphic Contention Management. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Vassil S. Dimitrov, Laurent Imbert, Pradeep Kumar Mishra |
Efficient and Secure Elliptic Curve Point Multiplication Using Double-Base Chains. |
ASIACRYPT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Kazuhiro Kitagawa, Nobuo Saito, Noritada Shimizu, Fumihiro Kato |
A Framework for Descriptions and Reasoning for Adaptive Composite Service Structure and Behavior. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Lars Frank |
Architecture for Distributed ERP Systems. |
TEAA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu |
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, JaeWoong Chung, Lance Hammond, Christos Kozyrakis, Kunle Olukotun |
TAPE: a transactional application profiling environment. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl |
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Wenwei Xue, Qiong Luo 0001, Lionel M. Ni |
Systems Support for Pervasive Query Processing. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Tanja Lange 0001, Pradeep Kumar Mishra |
SCA Resistant Parallel Explicit Formula for Addition and Doubling of Divisors in the Jacobian of Hyperelliptic Curves of Genus 2. |
INDOCRYPT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-Free Parallel Garbage Collection. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Anton Michlmayr, Pascal Fenkam |
Integrating Distributed Object Transactions with Wide-Area Content-Based Publish/Subscribe Systems. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Emmanuelle Anceaume, Maria Gradinariu, Vincent Gramoli, Antonino Virgillito |
P2P Architecture for Self-Atomic Memory. |
ISPAN |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rodrigo Schmidt, Fernando Pedone |
Consistent Main-Memory Database Federations under Deferred Disk Writes. |
SRDS |
2005 |
DBLP DOI BibTeX RDF |
dependency tracking, rollbackrecovery, consistency, distributed transactions, MMDBs |
10 | Christof Fetzer, Pascal Felber, Karin Högstedt |
Automatic Detection and Masking of Nonatomic Exception Handling. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Pleisch, André Schiper |
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view. |
ACM Comput. Surv. |
2004 |
DBLP DOI BibTeX RDF |
ACID, malicious places, security, fault tolerance, mobile agents, replication, transaction, commit, asynchronous system, crash failures, Byzantine failures, agreement problem |
10 | Sandeep S. Kulkarni, Ali Ebnenasir |
Automated Synthesis of Multitolerance. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
10 | Debmalya Biswas |
Compensation in the World of Web Services Composition. |
SWSWPC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jörg Kienzle |
Fault Tolerance - Concepts and Implementation Issues. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sangjin Kim, Heekuck Oh |
Fair Offline Payment Using Verifiable Encryption. |
WISA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Ron R. Levy |
Robust Emulations of Shared Memory in a Crash-Recovery Model. |
ICDCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna |
A Constraint-Based Formalism for Consistency in Replicated Systems. |
OPODIS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman |
Long-Lived Rambo: Trading Knowledge for Communication. |
SIROCCO |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Nuno Santos 0001, Luís Veiga, Paulo Ferreira 0001 |
Transaction Policies for Mobile Networks. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
10 | John C. Reynolds |
Toward a Grainless Semantics for Shared-Variable Concurrency. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan |
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. |
ISCA |
2004 |
DBLP DOI BibTeX RDF |
Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models |
10 | Daniel L. Rosenband, Arvind |
Modular scheduling of guarded atomic actions. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
Design, Algorithms, Verification, Languages |
10 | Georg Struth |
Automated Element-Wise Reasoning with Sets. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Charles P. Fry, Michael K. Reiter |
Nested Objects in a Byzantine Quorum-Replicated System. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Replication, Byzantine failures, Quorum systems |
10 | Sami Bhiri, Claude Godart, Olivier Perrin 0001 |
A Transaction-Oriented Framework for Composing Transactional Web Services. |
IEEE SCC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Ravi Rajwar, James R. Goodman |
Transactional Execution: Toward Reliable, High-Performance Multithreading. |
IEEE Micro |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 709 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|