|
|
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 |
19 | Rudolf Bayer |
Non-deterministic computing, transactions, and recursive atomicity |
Forschungsberichte, TU Munich |
1991 |
RDF |
|
19 | K. Vidyasankar |
Atomicity of Global Transactions in Distributed Heterogeneous Database Systems. |
DEXA |
1991 |
DBLP BibTeX RDF |
|
19 | Eliezer Levy, Henry F. Korth, Abraham Silberschatz |
A Theory of Relaxed Atomicity (Extended Abstract). |
PODC |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Leslie Lamport |
A Theorem on Atomicity in Distributed Algorithms. |
Distributed Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Prasad Jayanti, Sam Toueg |
Wakeup under Read/Write Atomicity. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. |
PODC |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Gérard Boudol, Ilaria Castellani |
Concurrency and Atomicity. |
Theor. Comput. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
19 | H. Zedan |
Achieving atomicity in occam. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
19 | K. V. S. Ramarao |
Transaction Atomicity in the Presence of Network Partitions. |
ICDE |
1988 |
DBLP DOI BibTeX RDF |
|
19 | J. W. de Bakker, Joost N. Kok |
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
19 | Maurice Herlihy |
Comparing How Atomicity Mechanisms Support Replication. |
ACM SIGOPS Oper. Syst. Rev. |
1986 |
DBLP DOI BibTeX RDF |
|
19 | Maurice Herlihy |
Comparing How Atomicity Mechanisms Support Replication. |
PODC |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Abraham Silberschatz |
A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity. |
IEEE Trans. Software Eng. |
1983 |
DBLP DOI BibTeX RDF |
|
19 | Nancy A. Lynch |
Multilevel Atomicity. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Eike Best, Brian Randell |
A Formal Model of Atomicity in Asynchronous Systems. |
Acta Informatica |
1981 |
DBLP DOI BibTeX RDF |
|
19 | J. David Wald |
Geach on atomicity and singular propositions. |
Notre Dame J. Formal Log. |
1979 |
DBLP DOI BibTeX RDF |
|
19 | Eike Best |
Atomicity of Activities. |
Advanced Course: Net Theory and Applications |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Pascal Felber, Christof Fetzer, Patrick Marlier, Torvald Riegel |
Time-Based Software Transactional Memory. |
IEEE Trans. Parallel Distributed Syst. |
2010 |
DBLP DOI BibTeX RDF |
concurrency, transactions, Transactional memory, atomicity |
16 | Christoph Reinke, Nils Hoeller, Jana Neumann, Sven Groppe, Simon Werner, Volker Linnemann |
Analysis and Comparison of Atomic Commit Protocols for Adaptive Usage in Wireless Sensor Networks. |
SUTC/UMC |
2010 |
DBLP DOI BibTeX RDF |
wireless sensor networks, transactions, atomicity, commit protocols |
16 | Brahim Ayari, Abdelmajid Khelil, Neeraj Suri |
ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs. |
Mobile Data Management |
2010 |
DBLP DOI BibTeX RDF |
MANET, distributed databases, transaction processing, atomicity, network partitioning |
16 | Brahim Ayari, Abdelmajid Khelil, Kamel Saffar, Neeraj Suri |
Data-Based Agreement for Inter-vehicle Coordination. |
Mobile Data Management |
2010 |
DBLP DOI BibTeX RDF |
MANET, distributed databases, transaction processing, atomicity, network partitioning |
16 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
16 | Tayfun Elmas |
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
16 | Sangmin Park, Richard W. Vuduc, Mary Jean Harrold |
Falcon: fault localization in concurrent programs. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
order violation, concurrency, debugging, fault localization, atomicity violation |
16 | Michael F. Spear |
Lightweight, robust adaptivity for software transactional memory. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
adaptivity, synchronization, atomicity, serializability |
16 | Christoph Reinke, Nils Hoeller, Jana Neumann, Sven Groppe, Volker Linnemann, Martin Lipphardt |
Integrating standardized transaction protocols in service-oriented wireless sensor networks. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, service oriented architectures, adaptivity, transactions, atomicity |
16 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system |
16 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
A Reservation-Based Extended Transaction Protocol. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Isolation, Business Activity, Reservation Protocol |
16 | Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001 |
Avoiding Program Failures Through Safe Execution Perturbations. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
avoiding failures, environmental faults, logging/replay tools, bad user requests, heap overflow, atomicity violation |
16 | Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
16 | Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon 0002, Bratin Saha, Tatiana Shpeisman |
Concurrent GC leveraging transactional memory. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
transactional integrity, virtual machines, transactional memory, compiler optimizations, concurrent garbage collection, strong atomicity |
16 | Michael F. Spear, Maged M. Michael, Christoph von Praun |
RingSTM: scalable transactions with a single atomic instruction. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
synchronization, atomicity, software transactional memory |
16 | Sibsankar Haldar, K. Vidyasankar |
On specification of Read/Write shared variables. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension |
16 | Virendra J. Marathe, Tim Harris 0001, James R. Larus |
Featherweight transactions: decoupling threads and atomic blocks. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
work groups, transactional memory, atomicity, data parallel programming |
16 | Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha |
Transactional programming in a multi-core environment. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
parallel programming, transactional memory, atomicity, hardware architecture |
16 | Rong Zheng 0001, Jatindera Singh Walia, Lui Sha |
Local Group Communication-aware MAC Protocol in Wireless Sensor Networks. |
Int. J. Wirel. Inf. Networks |
2006 |
DBLP DOI BibTeX RDF |
fate-sharing, MAC, Group communication, atomicity, WSNs |
16 | Pradeep Kumar Mishra |
Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems (Extended Version). |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
EC-operations, comb methods, Jacobian coordinates, sidechannel attacks, sidechannel atomicity, pipelining, ECC, Elliptic Curve Cryptosystems, scalar multiplication, binary methods |
16 | Maurice Herlihy, Victor Luchangco, Mark Moir |
A flexible framework for implementing software transactional memory. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
Java library, obstruction-free factory, shadow factory, software transactional memory (STM), concurrency, transactions, atomicity |
16 | Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman |
Fault-tolerant semifast implementations of atomic read/write registers. |
SPAA |
2006 |
DBLP DOI BibTeX RDF |
communication rounds, read/write registers, fault-tolerance, distributed algorithms, atomicity |
16 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
A Reservation-Based Coordination Protocol for Web Services. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Business Activity |
16 | Patricia Serrano-Alvarado, Claudia Roncancio, Michel E. Adiba |
A Survey of Mobile Transactions. |
Distributed Parallel Databases |
2004 |
DBLP DOI BibTeX RDF |
transaction execution, mobility, databases, consistency, atomicity, isolation, mobile transactions, durability |
16 | Wim H. Hesselink |
An assertional proof for a construction of an atomic variable. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Invariant, Atomicity, Wait-free, Safeness |
16 | Mona Marathe, Hemalatha Diwakar |
A Protocol for "Combination-Web-Shopping". |
CEC |
2004 |
DBLP DOI BibTeX RDF |
Multiple Businesses to Single Customer, Web-Shopping, Message-Based Centralized Workflow System, Atomicity in E-Commerce, E-Commerce |
16 | Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen |
Selecting long atomic traces for high coverage. |
ICS |
2003 |
DBLP DOI BibTeX RDF |
trace atomicity, trace processors, trace selection, trace cache |
16 | Paul Greenfield, Alan D. Fekete, Julian Jang, Dean Kuo |
Compensation is Not Enough. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
middleware, workflow, transactions, business process modelling, atomicity, compensation |
16 | James H. Anderson, Yong-Jik Kim |
An improved lower bound for the time complexity of mutual exclusion. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Lower bounds, Shared memory, Time complexity, Mutual exclusion, Atomicity, Local spinning |
16 | John Tromp, Paul M. B. Vitányi |
Randomized two-process wait-free test-and-set. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Test-and-set objects, Asynchronous distributed protocols, Wait-free read/write registers, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary |
16 | Gopi K. Attaluri, Kenneth Salem |
The Presumed-Either Two-Phase Commit Protocol. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
Two-phase commit protocol, presumed-abort, presumed-commit, atomicity, distributed transaction |
16 | Bertrand Ducourthial, Sébastien Tixeuil |
Self-stabilization with r-operators. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
r -operators, Read-write atomicity, Distributed systems, Self-stabilization, Unfair scheduling |
16 | Jan Jakubik |
Basic elements in a pseudo MV-algebra. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Basic element, B-atomicity, Direct product decomposition, Strong subdirect product, Pseudo MV-algebra |
16 | Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi |
Randomized Naming Using Wait-Free Shared Variables. |
Distributed Comput. |
1998 |
DBLP DOI BibTeX RDF |
Naming problem, Unique process ID, Asynchronous distributed protocols, Wait-free read/write registers, Test-and-set objects, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary |
16 | Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr. |
Isotach Networks. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time |
16 | Ajay D. Kshemkalyani |
Causality between Nonatomic Poset Events in Distributed Computations. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
Distributed system, Synchronization, Time, Atomicity, Causality |
16 | Ming Li 0001, John Tromp, Paul M. B. Vitányi |
How to Share Concurrent Wait-Free Variables. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
concurrent reading and writing, multi-writer, shared variable (register), atomicity |
16 | Kenneth P. Smith, Barbara T. Blaustein, Sushil Jajodia, LouAnna Notargiacomo |
Correctness Criteria for Multilevel Secure Transactions. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
multilevel secure transactions, transaction execution correctness criteria, distributed databases, concurrency control, Atomicity, database security, locking protocols |
16 | Marcus Costa Sampaio, Stéphane Turc |
Cooperative Transactions: A Data-Driven Approach. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria |
16 | Kenneth Salem, Hector Garcia-Molina, Jeannie Shands |
Altruistic Locking. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
scheduling, atomicity, locking, serializability |
16 | Job Zwiers, Wil Janssen |
Partial Order Based Design of Concurrent Systems. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
partial order models, communication closed layers, program transformation, program verification, atomicity, hierarchical graphs |
16 | Jaap-Henk Hoepman, John Tromp |
Binary Snapshots. |
WDAG |
1993 |
DBLP DOI BibTeX RDF |
waitfree implementations, shared memory, atomicity, snapshot, linearisability |
16 | Yonatan Aumann, Michael O. Rabin |
Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation (Extended Abstract) |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
clock construction, fully asynchronous parallel systems, PRAM simulation, probability, atomicity, dynamic scheduler |
16 | Gerhard Weikum |
Principles and Realization Strategies of Multilevel Transaction Management. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
atomicity persistence concurrency control, multilevel transactions, persistence, serializability |
16 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
16 | Maurice Herlihy |
Extending Multiversion Time-Stamping Protocols to Exploit Type Information. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
fault tolerance, concurrency control, atomicity, Abstract data types, serializability, multiple versions |
16 | Michael Hammer, David W. Shipman |
Reliability Mechanisms for SDD-1: A System for Distributed Databases. |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
reliability, distributed databases, recovery, atomicity |
10 | Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001 |
Hybrid binary rewriting for memory access instrumentation. |
VEE |
2011 |
DBLP DOI BibTeX RDF |
|
10 | Cyprien Noël |
Extensible software transactional memory. |
C3S2E |
2010 |
DBLP DOI BibTeX RDF |
software architecture, synchronization, transactional memory, concurrent programming, composability, object replication |
10 | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
PACER: proportional detection of data races. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
concurrency, sampling, data races, bugs |
10 | Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan |
Analyzing concurrency bugs using dual slicing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dual slicing, concurrency bugs, execution indexing |
10 | Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh |
Transactions in the jungle. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, correctness, memory models |
10 | Wei Zhang 0022, Chong Sun, Shan Lu 0001 |
ConMem: detecting severe concurrency bugs through an effect-oriented approach. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
software testing, concurrency bugs |
10 | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
A randomized scheduler with probabilistic guarantees of finding bugs. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
testing, concurrency, randomized algorithms, race conditions |
10 | Alex A. Aravind, Wim H. Hesselink |
A queue based mutual exclusion algorithm. |
Acta Informatica |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau |
AspectOptima: A Case Study on Aspect Dependencies and Interactions. |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference |
10 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
10 | Martin Weser, Jianwei Zhang 0001 |
Autonomous planning for mobile manipulation services based on multi-level robot skills. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Brandon Lucia, Luis Ceze |
Finding concurrency bugs with context-aware communication graphs. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen 0002, Haihua Shen, Pengyu Wang, Hong Pan |
Fast complete memory consistency verification. |
HPCA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | 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 |
10 | Martín Abadi, Andrew Birrell, Tim Harris 0001, Johnson Hsieh, Michael Isard |
Implementation and Use of Transactional Memory with Dynamic Separation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe |
DECOR: DEClaritive network management and OpeRation. |
PRESTO |
2009 |
DBLP DOI BibTeX RDF |
network management, declarative language |
10 | Aravind Yalamanchi, Dieter Gawlick |
Compensation-aware data types in RDBMS. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
and constraints, concurrency control, compensation, business transactions |
10 | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar |
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Khushboo Kanjani, Hyunyoung Lee, Jennifer L. Welch |
Byzantine fault-tolerant implementation of a multi-writer regular register. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke |
Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
automatic parallelization, software transactional memory, thread-level speculation, profile-guided optimization, loop level parallelism |
10 | Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001 |
PRES: probabilistic replay with execution sketching on multiprocessors. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
replay, concurrency bug |
10 | Jeremy Condit, Edmund B. Nightingale, Christopher Frost 0001, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee |
Better I/O through byte-addressable, persistent memory. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
performance, file systems, phase change memory |
10 | Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel |
Operating systems transactions. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
txos, operating systems, transactions, transactional memory, race conditions |
10 | Wooseok Ryu, Bonghee Hong |
A Reprocessing Model Based on Continuous Queries for Writing Data to RFID Tag Memory. |
DASFAA |
2009 |
DBLP DOI BibTeX RDF |
Write Transaction, Tag Memory, RFID, Continuous Query |
10 | Michael J. Butler |
Decomposition Structures for Event-B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Satish Devane, Deepak B. Phatak |
Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment. |
EC-Web |
2009 |
DBLP DOI BibTeX RDF |
E-commerce, Electronic Payment system, Payment Protocol |
10 | Matthew Lang, Paolo A. G. Sivilotti |
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Burkhard Englert, Chryssis Georgiou, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman |
On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Hagit Attiya, Alessia Milani |
Transactional Scheduling for Read-Dominated Workloads. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Tomer Heber, Danny Hendler, Adi Suissa |
On the Impact of Serializing Contention Management on STM Performance. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Haris Volos 0001, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc |
xCalls: safe I/O in memory transactions. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
xCalls, transactional memory, concurrent programming, I/O, system calls |
10 | Jie Yu 0016, Satish Narayanasamy |
A case for an interleaving constrained shared-memory multi-processor. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, multiprocessors, software reliability, concurrency bugs |
10 | Patrick Longa, Ali Miri |
Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Parallel, Public key cryptosystems, High-Speed Arithmetic |
10 | Frederic Montagut, Refik Molva, Silvan Tecumseh Golega |
The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions. |
IEEE Trans. Syst. Man Cybern. Part C |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 709 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|