Stem transact$ (all stems)

632 papers:

SIGMOD-2015-0002KBDHKFG #coordination #program analysis #protocol #transaction

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis (SR, LK, GB, BD, HH, CK, NF, JG), pp. 1311–1326.

SIGMOD-2015-NawabAAA #commit #latency #transaction

Minimizing Commit Latency of Transactions in Geo-Replicated Data Stores (FN, VA, DA, AEA), pp. 1279–1294.

VLDB-2015-MakreshanskiLS #hardware #memory management #transaction

To Lock, Swap, or Elide: On the Interplay of Hardware Transactional Memory and Lock-Free Indexing (DM, JJL, RS), pp. 1298–1309.

VLDB-2015-MeehanTZACDKMMP #named #streaming #transaction

S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, UÇ, JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.

PLDI-2015-KoskinenP #transaction

The Push/Pull model of transactions (EK, MJP), pp. 186–195.

FM-2015-DerrickDSTW #transaction #verification

Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.

ICFP-2015-LeF #continuation #transaction

Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.

ICEIS-v2-2015-EttaziHNE #adaptation #approach #towards #transaction

Towards a Context-Aware Adaptation Approach for Transactional Services (WE, HH, MN, SE), pp. 553–562.

MoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction

Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.

PADL-2015-BassedaK #logic #transaction #using

State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.

SAC-2015-DuarteBPC #composition #memory management #transaction

Composable memory transactions with eager version management (RMD, ARDB, MLP, GGHC), pp. 2093–2098.

ASPLOS-2015-MatveevS #hardware #hybrid #memory management #scalability #transaction

Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.

HPDC-2015-BestaH #hardware #memory management #transaction

Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.

PPoPP-2015-BaldassinBA #memory management #performance #transaction

Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.

PPoPP-2015-XiangS #clustering #hardware #transaction

Software partitioning of hardware transactions (LX, MLS), pp. 76–86.

PPoPP-2015-ZhangHCB #memory management #semantics #transaction

Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.

SOSP-2015-DragojevicNNRSB #consistency #distributed #performance #transaction

No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.

SOSP-2015-WeiSCCC #in memory #performance #transaction #using

Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.

SOSP-2015-ZhangSSKP #consistency #replication #transaction

Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.

DAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #transaction #verification

Verification of Transactional Memory in POWER8 (AA, DG, DH, OH, BGH, KH, WK, AK, JML, CM, AN, RRP, MS, BSO, BWT, ET, AZ), p. 6.

SIGMOD-2014-BailisFHGS #scalability #transaction

Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.

SIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation #transaction

Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.

SIGMOD-2014-Herlihy #hardware #memory management #transaction

Fun with hardware transactional memory (MH), p. 575.

VLDB-2014-CatastaTDDAC #named

TransactiveDB: Tapping into Collective Human Memories (MC, AT, DED, GD, KA, PCM), pp. 1977–1980.

VLDB-2014-MahmoudANAA #coordination #distributed #effectiveness #in the cloud #named #scalability #transaction

MaaT: Effective and scalable coordination of distributed transactions in the cloud (HAM, VA, FN, DA, AEA), pp. 329–340.

VLDB-2014-SerafiniMASRM #database #distributed #named #scalability #transaction

Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions (MS, EM, AA, KS, TR, UFM), pp. 1035–1046.

VLDB-2014-TozunAAM #named #transaction

ADDICT: Advanced Instruction Chasing for Transactions (PT, IA, AA, AM), pp. 1893–1904.

VLDB-2015-HuangSQ14 #transaction

NVRAM-aware Logging in Transaction Systems (JH, KS, MKQ), pp. 389–400.

VLDB-2015-TaftMSDEAPS14 #clustering #distributed #fine-grained #named #transaction

E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing (RT, EM, MS, JD, AJE, AA, AP, MS), pp. 245–256.

ESOP-2014-HerlihyK #composition #transaction

Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.

FoSSaCS-2014-KoutavasSH #bisimulation #communication #transaction

Bisimulations for Communicating Transactions — (Extended Abstract) (VK, CS, MH), pp. 320–334.

FM-2014-MaricS #hardware #memory management #transaction #verification

Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.

ICEIS-v1-2014-KaddesASBAB #behaviour #transaction

Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.

ICEIS-v3-2014-Guerreiro #framework #multi #towards #transaction

Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.

CIKM-2014-WangGL #modelling #personalisation #recommendation #transaction

Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.

ICML-c1-2014-LethamSS #transaction

Latent Variable Copula Inference for Bundle Pricing from Retail Transaction Data (BL, WS, AS), pp. 217–225.

KMIS-2014-PascalT #clustering #experience #framework #information management #memory management

Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.

KMIS-2014-Wagner #concept #memory management

The Concept of Team Transactive Memory Systems — Developing an Extended Model for Organizational Contexts (VW), pp. 319–325.

SAC-2014-RighiCGFAG #transaction

Redesigning transaction load balancing on electronic funds transfer scenarios (RdRR, CAdC, LGJ, KF, ALA, LG), pp. 775–777.

ASPLOS-2014-LitzCFAS #memory management #named #transaction

SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.

CGO-2014-XuWGLGQ #architecture #gpu #memory management #transaction

Software Transactional Memory for GPU Architectures (YX, RW, NG, TL, LG, DQ), p. 1.

HPCA-2014-KarnagelDRLLSL #database #in memory #performance #transaction

Improving in-memory database index performance with Intel® Transactional Synchronization Extensions (TK, RD, RR, KL, TL, BS, WL), pp. 476–487.

HPCA-2014-LiuXGZC #concurrent #consistency #hardware #memory management #transaction #virtual machine

Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.

ISMM-2014-RitsonUJ #garbage collection #hardware #memory management #transaction

Exploring garbage collection with haswell hardware transactional memory (CGR, TU, REJ), pp. 105–115.

OSDI-2014-MuCZLL #concurrent #distributed #transaction

Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.

OSDI-2014-NarulaCKM #in memory #transaction

Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.

PPoPP-2014-DieguesR #lightweight #memory management #named #transaction

Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.

PPoPP-2014-HassanPR #transaction

Optimistic transactional boosting (AH, RP, BR), pp. 387–388.

PPoPP-2014-OdairaCT #hardware #interpreter #memory management #ruby #transaction

Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.

DATE-2013-AbdullaDRSZ #hybrid #liveness #memory management #safety #transaction #verification

Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.

DATE-2013-YalcinUC #detection #fault #hardware #memory management #named #transaction #using

FaulTM: error detection and recovery using hardware transactional memory (GY, OSÜ, AC), pp. 220–225.

SIGMOD-2013-KangLMOM #database #named #transaction

X-FTL: transactional FTL for SQLite databases (WHK, SWL, BM, GHO, CM), pp. 97–108.

VLDB-2013-AilamakiJPT #scalability #towards #transaction

Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.

VLDB-2013-Dey #scalability #transaction

Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores (AD), pp. 1434–1439.

VLDB-2014-BailisDFGHS13 #transaction

Highly Available Transactions: Virtues and Limitations (PB, AD, AF, AG, JMH, IS), pp. 181–192.

SEFM-2013-TranST #composition #static analysis #transaction

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.

SAC-2013-CastorSS #assessment #haskell #memory management #transaction

A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.

SAC-2013-NunesP #scheduling #throughput #transaction

Improving transaction abort rates without compromising throughput through judicious scheduling (AN, JP), pp. 493–494.

ESEC-FSE-2013-HossainGBW #database #named #transaction

REDACT: preventing database deadlocks from application-based transactions (BMMH, MG, UB, HW), pp. 591–594.

HPCA-2013-ZhaoCCD #memory management #transaction

In-network traffic regulation for Transactional Memory (LZ, WC, LC, JTD), pp. 520–531.

PPoPP-2013-CarvalhoC #memory management #runtime #transaction

Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.

PPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using

Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.

PPoPP-2013-WamhoffFFRM #concurrent #memory management #named #performance #thread #transaction

FastLane: improving performance of software transactional memory for low thread counts (JTW, CF, PF, ER, GM), pp. 113–122.

SOSP-2013-CoburnBSGS #transaction

From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.

SOSP-2013-TuZKLM #database #in memory #manycore #transaction

Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.

SOSP-2013-ZhangPZSAL #latency #transaction

Transaction chains: achieving serializability with low latency in geo-distributed storage systems (YZ, RP, SZ, YS, MKA, JL), pp. 276–291.

ISSTA-2013-Ghaith #analysis #performance #testing #transaction

Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.

DATE-2012-LuMS #abstraction #modelling #prototype #transaction

Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.

DATE-2012-TodorovMRS #approximate #automation #memory management #transaction

Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.

SIGMOD-2012-MeachamS #named #privacy #sql #transaction

JustMyFriends: full SQL, full transactional amenities, and access privacy (AM, DS), pp. 633–636.

SIGMOD-2012-SikkaFLCPB #database #performance #transaction

Efficient transaction processing in SAP HANA database: the end of a column store myth (VS, FF, WL, SKC, TP, CB), pp. 731–742.

SIGMOD-2012-ThomsonDWRSA #database #distributed #named #performance #transaction

Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.

VLDB-2012-FunkeKN #database #hybrid #transaction

Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.

VLDB-2012-TaliusDDK #fault #query #transaction

Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.

ESOP-2012-BurckhardtLFS #consistency #transaction

Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.

ICALP-v1-2012-RabinMMY #performance #strict #transaction #validation

Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.

EDOC-2012-KutvonenNR #ecosystem #transaction

Inter-enterprise Business Transaction Management in Open Service Ecosystems (LK, AN, SR), pp. 31–40.

CIKM-2012-ZhangSZZ #ranking #transaction

Credibility-based product ranking for C2C transactions (RZ, CS, MZ, AZ), pp. 2149–2153.

ECIR-2012-BortnikovDKL #modelling #query #transaction

Modeling Transactional Queries via Templates (EB, PD, AK, RL), pp. 13–24.

ECOOP-2012-DhawanSG #javascript #transaction

Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.

ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification

Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.

OOPSLA-2012-SreeramP #compilation #transaction

Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.

SAC-2012-CasadoTY #reliability #testing #transaction #web #web service

Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.

ASPLOS-2012-VolosTSL #concurrent #debugging #memory management #transaction

Applying transactional memory to concurrency bugs (HV, AJT, MMS, SL), pp. 211–222.

CGO-2012-MannarswamyG #compilation #transaction

Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.

HPCA-2012-NegiGAGS #hardware #lazy evaluation #memory management #named #scalability #transaction

π-TM: Pessimistic invalidation for scalable lazy hardware transactional memory (AN, JRTG, MEA, JMG, PS), pp. 141–152.

ECSA-2011-HamelGKBG #behaviour #transaction #verification

Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.

DAC-2011-CoptyKN #analysis #architecture #performance #statistics #transaction

Transaction level statistical analysis for efficient micro-architectural power and performance studies (EC, GK, SN), pp. 351–356.

DAC-2011-SingermanAB #transaction #validation

Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.

DATE-2011-FunchalM #framework #modelling #named #simulation #transaction

jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip (GF, MM), pp. 1184–1187.

DATE-2011-IndrusiakS #performance #transaction

Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration (LSI, OMdS), pp. 1089–1094.

DATE-2011-KunzGW #hardware #memory management #performance #transaction

Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC (LK, GG, FRW), pp. 1168–1171.

SIGMOD-2011-PandisTBKPJA #execution #tool support #transaction

A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.

VLDB-2011-FunkeKN #query #transaction

HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.

VLDB-2011-GuptaNRBKGK #transaction

Entangled Transactions (NG, MN, SR, GB, LK, JG, CK), pp. 887–898.

VLDB-2011-HeY #transaction

High-throughput transaction executions on graphics processors (BH, JXY), pp. 314–325.

VLDB-2012-PavloJZ11 #execution #modelling #on the #optimisation #parallel #predict #transaction

On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.

ESOP-2011-BieniusaT #memory management #proving #transaction

Proving Isolation Properties for Software Transactional Memory (AB, PT), pp. 38–56.

IFL-2011-AmsdenF #transaction

Fairness for Transactional Events (EA, MF), pp. 17–34.

ICEIS-v2-2011-YangLT #communication #development #how #memory management #question

How Communication Impacts on the Development of Transactive Memory System in Task-teams? (YY, YL, FT), pp. 451–454.

CIKM-2011-GaoXHCH #named #transaction

PCMLogging: reducing transaction logging overhead with PCM (SG, JX, BH, BC, HH), pp. 2401–2404.

CIKM-2011-LiuNSC #classification #comprehension #query #transaction

Unsupervised transactional query classification based on webpage form understanding (YL, XN, JTS, ZC), pp. 57–66.

KDIR-2011-CostaRO #approach #classification #transaction #xml

A Transactional Approach to Associative XML Classification by Content and Structure (GC, RO, ER), pp. 104–113.

KDIR-2011-RenC #markov #modelling #predict #transaction

Users Interest Prediction Model — Based on 2nd Markov Model and Inter-transaction Association Rules (YR, ALC), pp. 244–249.

KEOD-2011-GuerreiroVT #data access #ontology #transaction

Dynamic Business Transactions Control — An Ontological Example: Organizational Access Control with DEMO (SG, AV, JMT), pp. 549–554.

MLDM-2011-Bouguessa #approach #clustering #transaction

A Practical Approach for Clustering Transaction Data (MB), pp. 265–279.

ECOOP-2011-HarmanciGF #coordination #exception #memory management #transaction

Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.

ASPLOS-2011-CasperOHBKO #hardware #memory management #transaction

Hardware acceleration of transactional memory on commodity systems (JC, TO, SH, NGB, CK, KO), pp. 27–38.

ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #memory management #transaction

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.

CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #runtime #transaction

The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.

HPCA-2011-BlakeDM #scheduling #transaction

Bloom Filter Guided Transaction Scheduling (GB, RGD, TNM), pp. 75–86.

HPDC-2011-SaadR #distributed #framework #memory management #named #performance #transaction

HyFlow: a high performance distributed software transactional memory framework (MMS, BR), pp. 265–266.

PPoPP-2011-FernandesC #memory management #multi #scalability #transaction

Lock-free and scalable multi-version software transactional memory (SMF, JPC), pp. 179–188.

PPoPP-2011-LesaniP #communication #memory management #transaction

Communicating memory transactions (ML, JP), pp. 157–168.

PPoPP-2011-LuchangcoM #concurrent #transaction

Transaction communicators: enabling cooperation among concurrent transactions (VL, VJM), pp. 169–178.

SOSP-2011-SovranPAL #transaction

Transactional storage for geo-replicated systems (YS, RP, MKA, JL), pp. 385–400.

ICLP-2011-FodorK #logic #transaction

Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.

ICST-2011-CasadoTY #framework #transaction #web #web service

A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.

DAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #thread #transaction

Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.

DATE-2010-DammMHG #modelling #network #simulation #transaction #using

Using Transaction Level Modeling techniques for wireless sensor network simulation (MD, JM, JH, CG), pp. 1047–1052.

DATE-2010-FerroP #modelling #semantics #transaction #verification

Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.

DATE-2010-HwangSAG #modelling #transaction

Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.

DATE-2010-NurvitadhiHKL #automation #pipes and filters #specification #transaction

Automatic pipelining from transactional datapath specifications (EN, JCH, TK, SLL), pp. 1001–1004.

DATE-2010-SchulzBUES #modelling #transaction

Transmitting TLM transactions over analogue wire models (SS, JB, TU, KE, SS), pp. 1608–1613.

SIGMOD-2010-KossmannKL #architecture #evaluation #in the cloud #transaction

An evaluation of alternative architectures for transaction processing in the cloud (DK, TK, SL), pp. 579–590.

VLDB-2010-CaoKRT #named #transaction

rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.

VLDB-2010-PandisJHA #execution #transaction

Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.

VLDB-2010-VoCO #query #towards #transaction

Towards Elastic Transactional Cloud Storage with Range Query Support (HTV, CC, BCO), pp. 506–517.

ICSM-2010-PerinGN #analysis #enterprise #java #transaction

Recovery and analysis of transaction scope from scattered information in Java Enterprise Applications (FP, TG, ON), pp. 1–10.

PASTE-2010-ReissK #thread #transaction #visualisation

Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.

PLDI-2010-EmmiMM #transaction #verification

Parameterized verification of transactional memories (ME, RM, RM), pp. 134–145.

IFM-2010-TranS #commit #java #transaction

Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.

AdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime #transaction

Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.

ICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network #transaction

Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.

SEKE-2010-YinZZ #reliability #transaction #web #web service

Reliable Web Service Selection based on Transactional Risk (YY, XZ, BZ), pp. 231–234.

PPDP-2010-FodorK #logic #transaction

Tabling for transaction logic (PF, MK), pp. 199–208.

POPL-2010-KoskinenPH #transaction

Coarse-grained transactions (EK, MJP, MH), pp. 19–30.

SAC-2010-KrajcaV #functional #memory management #parallel #transaction

Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.

SAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web

TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.

SAC-2010-SchoeberlBV #memory management #named #realtime #transaction

RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.

SAC-2010-ZhangHJ #java #locality #transaction

Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.

ASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using

Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.

CGO-2010-GottschlichVS #memory management #performance #transaction #using

An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.

HPCA-2010-JafriTV #named #transaction

LiteTM: Reducing transactional state overhead (SARJ, MT, TNV), pp. 1–12.

OSDI-2010-PengD #distributed #incremental #scalability #transaction #using

Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.

OSDI-2010-PortsCZML #automation #consistency #transaction

Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.

PPoPP-2010-BarretoDFGK #memory management #parallel #transaction

Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.

PPoPP-2010-DashD #distributed #memory management #transaction

Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.

PPoPP-2010-LupeiSPMBKA #game studies #memory management #parallel #scalability #towards #transaction #using

Towards scalable and transparent parallelization of multiplayer games using transactional memory support (DL, BS, DP, MM, MB, WK, CA), pp. 325–326.

PPoPP-2010-MaldonadoMFSHFLM #memory management #scheduling #transaction

Scheduling support for transactional memory contention management (WM, PM, PF, AS, DH, AF, JLL, GM), pp. 79–90.

PPoPP-2010-MannarswamyCRS #compilation #memory management #performance #transaction

Compiler aided selective lock assignment for improving the performance of software transactional memory (SM, DRC, KR, SS), pp. 37–46.

PPoPP-2010-PorterW #memory management #modelling #performance #transaction

Modeling transactional memory workload performance (DEP, EW), pp. 349–350.

PPoPP-2010-RossbachHW #programming #question #transaction

Is transactional programming actually easier? (CJR, OSH, EW), pp. 47–56.

PPoPP-2010-ZyulkyarovHUCV #debugging #memory management #source code #transaction

Debugging programs that use atomic blocks and transactional memory (FZ, TH, OSÜ, AC, MV), pp. 57–66.

DAC-2009-KamhiNTW #analysis #architecture #named #statistics #transaction

MAGENTA: transaction-based statistical micro-architectural root-cause analysis (GK, AN, AT, AW), pp. 639–643.

DATE-2009-FahmyRJ #bound #distributed #memory management #multi #on the #realtime #transaction

On bounding response times under software transactional memory in distributed multiprocessor real-time systems (SFF, BR, EDJ), pp. 688–693.

DATE-2009-KochteZIKRWCP #modelling #transaction #using #validation

Test exploration and validation using transaction level models (MAK, CGZ, MEI, RSK, MR, HJW, SDC, PP), pp. 1250–1253.

SIGMOD-2009-SharafCLA #interactive #optimisation #transaction

Optimizing i/o-intensive transactions in highly interactive applications (MAS, PKC, AL, CA), pp. 785–798.

VLDB-2009-LometM #transaction

Locking Key Ranges with Unbundled Transaction Services (DBL, MFM), pp. 265–276.

PLDI-2009-DragojevicGK #memory management #transaction

Stretching transactional memory (AD, RG, MK), pp. 155–165.

PLDI-2009-MehraraHHM #hardware #low cost #memory management #transaction #using

Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory (MM, JH, PCH, SAM), pp. 166–176.

ICFP-2009-GazagnaireH #database #functional #named #performance #programming #transaction #using

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.

KMIS-2009-Bolisani #analysis #modelling #transaction

Modelling Cognitive Transactions for Economic and Accounting Analysis (EB), pp. 242–247.

SEKE-2009-YuanHZL #automation #modelling #multi #transaction #verification

Modeling and Verification of Automatic Multi-business Transactions (MY, ZH, JZ, XL), pp. 274–279.

ECOOP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.

GPCE-2009-Sadat-MohtashamH #transaction

Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.

POPL-2009-GuerraouiK #memory management #semantics #transaction

The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.

POPL-2009-Harris #memory management #transaction

Language constructs for transactional memory (TH), p. 1.

SAC-2009-FahmyRJ #analysis #distributed #realtime #transaction

Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.

SAC-2009-KokashA #coordination #transaction

Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.

SAC-2009-MacielH #architecture #rest #transaction #using

An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.

SAC-2009-RajgurePBH #clustering #network #self #transaction

Geographical data collection in sensor networks with self-organizing transaction cluster-heads (NR, EP, CB, SH), pp. 1214–1218.

SAC-2009-ReinkeHNGLL #network #protocol #standard #transaction

Integrating standardized transaction protocols in service-oriented wireless sensor networks (CR, NH, JN, SG, VL, ML), pp. 2202–2203.

ASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management #transaction

Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.

CC-2009-AbadiBHHI #implementation #memory management #transaction

Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.

CGO-2009-SpearMSW #memory management #transaction

Reducing Memory Ordering Overheads in Software Transactional Memory (MFS, MMM, MLS, PW), pp. 13–24.

HPDC-2009-WangLL #memory management #performance #transaction

Investigating transactional memory performance on ccNUMA machines (RW, KL, XL), pp. 67–68.

LCTES-2009-MankinKA #embedded #manycore #memory management #transaction

Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.

LCTES-2009-McKechnieBV #debugging #monitoring #transaction

Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.

PPoPP-2009-AbadiHM #hardware #memory management #off the shelf #transaction #using

Transactional memory with strong atomicity using off-the-shelf memory protection hardware (MA, TH, MM), pp. 185–196.

PPoPP-2009-AgrawalLS #transaction

Safe open-nested transactions through ownership (KA, ITAL, JS), pp. 151–162.

PPoPP-2009-DashD #distributed #memory management #transaction

Software transactional distributed shared memory (AD, BD), pp. 297–298.

PPoPP-2009-KangB #algorithm #graph #memory management #performance #transaction

An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs (SK, DAB), pp. 15–24.

PPoPP-2009-KulkarniUCAV #how #transaction

Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions (CEK, OSÜ, AC, EA, MV), pp. 307–308.

PPoPP-2009-RamadanRHW #commit #transaction

Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.

PPoPP-2009-SpearDMS #memory management #transaction

A comprehensive strategy for contention management in software transactional memory (MFS, LD, VJM, MLS), pp. 141–150.

PPoPP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction

NePalTM: design and implementation of nested parallelism for transactional memory systems (HV, AW, ARAT, TS, XT, RN), pp. 291–292.

PPoPP-2009-ZyulkyarovGUCAHV #game studies #interactive #memory management #multi #transaction #using

Atomic quake: using transactional memory in an interactive multiplayer game server (FZ, VG, OSÜ, AC, EA, TH, MV), pp. 25–34.

SOSP-2009-PorterHRBW #operating system #transaction

Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.

CAV-2009-GuerraouiHS #memory management #modelling #transaction

Software Transactional Memory on Relaxed Memory Models (RG, TAH, VS), pp. 321–336.

CAV-2009-GuerraouiK #memory management #transaction

Transactional Memory: Glimmer of a Theory (RG, MK), pp. 1–15.

ICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction

Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.

VMCAI-2009-EtessamiG #programming #transaction

An Abort-Aware Model of Transactional Programming (KE, PG), pp. 59–73.

DATE-2008-CornetMM #development #modelling #performance #transaction

A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip (JC, FM, LMC), pp. 9–14.

DATE-2008-HwangAG #approximate #estimation #performance #transaction

Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.

DATE-2008-RadetzkiK #adaptation #modelling #simulation #transaction

Accuracy-Adaptive Simulation of Transaction Level Models (MR, RSK), pp. 788–791.

DATE-2008-TangX #debugging #transaction

In-band Cross-Trigger Event Transmission for Transaction-Based Debug (ST, QX), pp. 414–419.

VLDB-2008-Hill #memory management #question #transaction

Is transactional memory an oxymoron? (MDH), p. 1.

VLDB-2008-KallmanKNPRZJMSZHA #distributed #in memory #memory management #named #transaction

H-store: a high-performance, distributed main memory transaction processing system (RK, HK, JN, AP, AR, SBZ, EPCJ, SM, MS, YZ, JH, DJA), pp. 1496–1499.

VLDB-2008-LometHNZ #transaction

Transaction time indexing with version compression (DBL, MH, RVN, RZ), pp. 870–881.

VLDB-2008-MoonCDHZ #database #evolution #query #transaction

Managing and querying transaction-time databases under schema evolution (HJM, CC, AD, CYH, CZ), pp. 882–895.

PLDI-2008-GuerraouiHJS #model checking #transaction

Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.

ICFP-2008-Effinger-DeanKG #ml #transaction

Transactional events for ML (LED, MK, DG), pp. 103–114.

GT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction

Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.

CSCW-2008-SarcevicMLB #memory management

Transactive memory in trauma resuscitation (AS, IM, MEL, RSB), pp. 215–224.

CAiSE-2008-WangGV #reliability #transaction

Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.

ICEIS-DISI-2008-HarderBM #database #transaction #xml

Transactional Support in Native XML Databases (TH, SB, CM), pp. 368–373.

CIKM-2008-LuoNEW #order #transaction

Transaction reordering with application to synchronized scans (GL, JFN, CJE, MW), pp. 1335–1336.

KDD-2008-XiangJFD #database #summary #transaction

Succinct summarization of transactional databases: an overlapped hyperrectangle scheme (YX, RJ, DF, FFD), pp. 758–766.

KDD-2008-XuWFY #database #transaction

Anonymizing transaction databases for publication (YX, KW, AWCF, PSY), pp. 767–775.

SEKE-2008-BiswasG #transaction

Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.

ECOOP-2008-Guerraoui #transaction

The Return of Transactions (RG), p. 1.

ECOOP-2008-ZiarekWAMSJ #execution #java #transaction

A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.

OOPSLA-2008-NiWABBCGKNOPSTT #c #c++ #design #implementation #transaction

Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.

POPL-2008-AbadiBHI #automation #memory management #semantics #transaction

Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.

POPL-2008-MooreG #semantics #transaction

High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.

SAC-2008-ChalinST #case study #modelling #requirements #transaction

Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.

SAC-2008-HolandaBF #adaptation #self #transaction

Introducing self-adaptability into transaction processing (MH, AB, SF), pp. 992–997.

SAC-2008-ReverbelN #multi #transaction

Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.

CC-2008-WangYW #compilation #legacy #optimisation #transaction

Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.

HPCA-2008-ChungDKK #memory management #thread #transaction #using

Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.

HPDC-2008-RichT #named #transaction

DataLab: transactional data-parallel computing on an active storage cloud (BR, DT), pp. 233–234.

OSDI-2008-PrabhakaranRZ #transaction

Transactional Flash (VP, TLR, LZ), pp. 147–160.

PPoPP-2008-AgrawalFS #memory management #parallel #transaction

Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.

PPoPP-2008-AgrawalLS #transaction

Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.

PPoPP-2008-AnsariKJLKW #adaptation #algorithm #case study #concurrent #experience #memory management #transaction #using

Experiences using adaptive concurrency in transactional memory with Lee’s routing algorithm (MA, CK, KJ, ML, CCK, IW), pp. 261–262.

PPoPP-2008-BocchinoAC #clustering #memory management #scalability #transaction

Software transactional memory for large scale clusters (RLBJ, VSA, BLC), pp. 247–258.

PPoPP-2008-BrevnovDKYSCMS #case study #experience #java #memory management #transaction

Practical experiences with Java software transactional memory (EB, YD, BK, DY, VS, DyC, VM, SS), pp. 287–288.

PPoPP-2008-FelberFR #memory management #performance #transaction

Dynamic performance tuning of word-based software transactional memory (PF, CF, TR), pp. 237–246.

PPoPP-2008-GuerraouiK #correctness #memory management #on the #transaction

On the correctness of transactional memory (RG, MK), pp. 175–184.

PPoPP-2008-HerlihyK #transaction

Transactional boosting: a methodology for highly-concurrent transactional objects (MH, EK), pp. 207–216.

PPoPP-2008-LevM #hardware #memory management #transaction #using

Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory (YL, JWM), pp. 197–206.

PPoPP-2008-MaratheM #memory management #performance #towards #transaction

Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.

PPoPP-2008-McGacheyAHMSS #concurrent #garbage collection #memory management #transaction

Concurrent GC leveraging transactional memory (PM, ARAT, RLH, VM, BS, TS), pp. 217–226.

CAV-2008-CohenPZ #memory management #transaction #verification

Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.

ICLP-2008-SchrijversS #constraints #transaction

Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.

ASE-2007-FischerM #consistency #transaction

Ensuring consistency in long running transactions (JF, RM), pp. 54–63.

DATE-2007-EckerESVH #framework #implementation #interactive #transaction

Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.

DATE-2007-GailliardNSV #modelling #transaction

Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM (GG, EN, MS, FV), pp. 966–971.

DATE-2007-KimHG #multi #named #simulation #transaction

CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.

DATE-2007-NjorogeCWTGKO #memory management #multi #named #transaction

ATLAS: a chip-multiprocessor with transactional memory support (NN, JC, SW, YT, DG, CK, KO), pp. 3–8.

SIGMOD-2007-NicolaKS #benchmark #metric #transaction #xml

An XML transaction processing benchmark (MN, IK, BS), pp. 937–948.

VLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service

Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.

ESOP-2007-AcciaiBD #calculus #concurrent #transaction

A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.

PLDI-2007-ElmasQT #java #named #runtime #transaction

Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.

SEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction

Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.

HIMI-IIE-2007-DoyoSA #case study #transaction #using

A Study of Production / Transaction-Related Model Using Control Theory (DD, KS, KA), pp. 855–862.

CAiSE-2007-MaamarNBS #policy #transaction #web #web service

Policies for Context-Driven Transactional Web Services (ZM, NCN, DB, SS), pp. 249–263.

EDOC-2007-WangVG #approach #named #transaction

TxQoS: A Contractual Approach for Transaction Management (TW, JV, PWPJG), pp. 327–338.

ICEIS-DISI-2007-ArntsenK #case study #composition #transaction

Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.

ICEIS-SAIC-2007-GarcesQCHC #e-commerce #modelling #multi #transaction #using

E-Commerce Transaction Modeling Using Moderately Open Multi-Agent Systems (AG, RQ, MC, JH, EC), pp. 167–172.

OOPSLA-2007-Grossman #garbage collection #memory management #transaction

The transactional memory / garbage collection analogy (DG), pp. 695–706.

OOPSLA-2007-SmaragdakisKBY #transaction

Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.

SAC-2007-LinL #mining #privacy #transaction

Privacy preserving itemset mining through fake transactions (JLL, JYCL), pp. 375–379.

CGO-2007-DiceS #comprehension #memory management #trade-off #transaction

Understanding Tradeoffs in Software Transactional Memory (DD, NS), pp. 21–33.

CGO-2007-WangCWSA #code generation #memory management #optimisation #transaction

Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language (CW, WYC, YW, BS, ARAT), pp. 34–48.

HPCA-2007-ChafiCCMMBKO #approach #memory management #scalability #transaction

A Scalable, Non-blocking Approach to Transactional Memory (HC, JC, BDC, AM, CCM, WB, CK, KO), pp. 97–108.

HPCA-2007-YenBMMVHSW #hardware #memory management #named #transaction

LogTM-SE: Decoupling Hardware Transactional Memory from Caches (LY, JB, MRM, KEM, HV, MDH, MMS, DAW), pp. 261–272.

LCTES-2007-ChoAG #interface #manycore #modelling #synthesis #transaction

Interface synthesis for heterogeneous multi-core systems from transaction level models (HC, SA, DG), pp. 140–142.

PPoPP-2007-Adl-TabatabaiDHSKPS #transaction

Potential show-stoppers for transactional synchronization (ARAT, DD, MH, NS, CK, CvP, MLS), p. 55.

PPoPP-2007-Adl-TabatabaiKS #manycore #programming #transaction

Transactional programming in a multi-core environment (ARAT, CK, BS), p. 272.

PPoPP-2007-CarlstromMCKO #transaction

Transactional collection classes (BDC, AM, MC, CK, KO), pp. 56–67.

PPoPP-2007-MaratheHL #thread #transaction

Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.

PPoPP-2007-MaratheM #memory management #performance #transaction

Efficient nonblocking software transactional memory (VJM, MM), pp. 136–137.

PPoPP-2007-NiMAHHMSS #memory management #transaction

Open nesting in software transactional memory (YN, VM, ARAT, ALH, RLH, JEBM, BS, TS), pp. 68–78.

PPoPP-2007-PraunCC #order #parallel #transaction

Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.

SOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #transaction #using

TxLinux: using and managing hardware transactional memory in an operating system (CJR, OSH, DEP, HER, BA, EW), pp. 87–102.

SOSP-2007-VandiverBLM #commit #fault #scheduling #transaction #using

Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (BV, HB, BL, SM), pp. 59–72.

VMCAI-2007-EmmiM #transaction #verification

Verifying Compensating Transactions (ME, RM), pp. 29–43.

DAC-2006-KlingaufGBPB #modelling #named #transaction

GreenBus: a generic interconnect fabric for transaction level modelling (WK, RG, OB, PP, MB), pp. 905–910.

DAC-2006-Swan #modelling #transaction #verification

SystemC transaction level models and RTL verification (SS), pp. 90–92.

DATE-2006-KlingaufGG #architecture #named #transaction

TRAIN: a virtual transaction layer architecture for TLM-based HW/SW codesign of synthesizable MPSoC (WK, HG, RG), pp. 1318–1323.

DATE-2006-SchirnerD #analysis #modelling #transaction

Quantitative analysis of transaction level models for the AMBA bus (GS, RD), pp. 230–235.

DATE-2006-WildHO #architecture #evaluation #performance #simulation #transaction #using

Performance evaluation for system-on-chip architectures using trace-based transaction level simulation (TW, AH, RO), pp. 248–253.

SIGMOD-2006-LometVB #transaction

Recovery from “bad” user transactions (DBL, ZV, RSB), pp. 337–346.

PLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #runtime #transaction

Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.

PLDI-2006-CarlstromMCCMKO #programming language #transaction

The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.

PLDI-2006-HarrisPST #memory management #optimisation #transaction

Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.

SEFM-2006-MarcheR #behaviour #java #transaction #verification

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.

ICFP-2006-DonnellyF #transaction

Transactional events (KD, MF), pp. 124–135.

ICGT-2006-BaldanCFG #graph #process #transaction

Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.

AdaEurope-2006-SharifiS #how #transaction

Replication-Aware Transactions: How to Roll a Transaction over Failures (MS, HS), pp. 203–214.

EDOC-2006-MontagutM #towards #transaction #workflow

Towards Transactional PervasiveWorkflows (FM, RM), pp. 141–152.

EDOC-2006-PatelG #adaptation #transaction

An Adaptive Negotiation Strategy for Electronic Transactions (DP, AG), pp. 243–252.

EDOC-2006-ZuoLW #fault tolerance #transaction

A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.

ICEIS-DISI-2006-DingGJH #approach #modelling #transaction

A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.

ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction

EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.

ICEIS-ISAS-2006-KnackstedtJR #approach #configuration management #modelling #transaction

Configuring Reference Models — An Integrated Approach for Transaction Processing and Decision Support (RK, CJ, TR), pp. 135–143.

ICEIS-SAIC-2006-LazanasKP #framework #recommendation #transaction

Providing Recommendations in an Agent-Based Transportation Transactions Management Platform (AL, NIK, YP), pp. 87–92.

CIKM-2006-YanCL #clustering #transaction

Efficiently clustering transactional data with weighted coverage density (HY, KC, LL), pp. 367–376.

SIGIR-2006-LiKVJ #query #transaction #web

Getting work done on the web: supporting transactional queries (YL, RK, SV, HVJ), pp. 557–564.

ECOOP-2006-WelcHJ #java #transaction

Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.

OOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management #transaction

A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.

QAPL-2005-BartheRW06 #branch #transaction

Preventing Timing Leaks Through Transactional Branching Instructions (GB, TR, MW), pp. 33–55.

SAC-2006-FabryD #aspect-oriented #kernel #named #transaction

KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.

SAC-2006-SemghouniSAB #probability #realtime #transaction

Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.

ASPLOS-2006-ChuangNVSBPCC #bound #memory management #transaction

Unbounded page-based transactional memory (WC, SN, GV, JS, MVB, GP, BC, OC), pp. 347–358.

ASPLOS-2006-ChungMMSCCKO #memory management #trade-off #transaction

Tradeoffs in transactional memory virtualization (JC, CCM, AM, TS, HC, BDC, CK, KO), pp. 371–381.

ASPLOS-2006-DamronFLLMN #hybrid #memory management #transaction

Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.

ASPLOS-2006-MoravanBMYHLSW #memory management #transaction

Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.

HPCA-2006-ChungCMMCKO #behaviour #parallel #source code #thread #transaction

The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.

HPCA-2006-MooreBMHW #memory management #named #transaction

LogTM: log-based transactional memory (KEM, JB, MJM, MDH, DAW), pp. 254–265.

ISMM-2006-HudsonSAH #memory management #named #scalability #transaction

McRT-Malloc: a scalable transactional memory allocator (RLH, BS, ARAT, BH), pp. 74–83.

LCTES-2006-SpivakT #memory management #persistent #transaction

Storing a persistent transactional object heap on flash memory (MS, ST), pp. 22–33.

OSDI-2006-SearsB #flexibility #named #transaction

Stasis: Flexible Transactional Storage (RS, EAB), pp. 29–44.

PPoPP-2006-KumarCHKN #hybrid #memory management #transaction

Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.

PPoPP-2006-ManassievMA #clustering #concurrent #distributed #memory management #transaction

Exploiting distributed version concurrency in a transactional memory cluster (KM, MM, CA), pp. 198–208.

PPoPP-2006-SahaAHMH #manycore #memory management #named #performance #runtime #transaction

McRT-STM: a high performance software transactional memory system for a multi-core runtime (BS, ARAT, RLH, CCM, BH), pp. 187–197.

CAV-2006-KahlonGS #concurrent #model checking #on the fly #partial order #source code #transaction #using

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.

DATE-2005-HabibiT #design #modelling #transaction #verification

Design for Verification of SystemC Transaction Level Models (AH, ST), pp. 560–565.

DATE-2005-KimKKSCCKE #architecture #modelling #performance #transaction

Fast and Accurate Transaction Level Modeling of an Extended AMBA2.0 Bus Architecture (YTK, TK, YK, CS, EYC, KMC, JTK, SKE), pp. 138–139.

DATE-2005-Klingauf #embedded #modelling #transaction

Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.

DATE-2005-LeeCALK #hardware #predict #transaction

A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation (JGL, MKC, KYA, SHL, CMK), pp. 384–389.

DATE-2005-Martin #component #design #transaction

Design of a Virtual Component Neutral Network-on-Chip Transaction Layer (PM), pp. 336–337.

PODS-2005-Fekete #transaction

Allocating isolation levels to transactions (AF), pp. 206–215.

SIGMOD-2005-GallagherJL #transaction

A high-performance, transactional filestore for application servers (BG, DJ, AL), pp. 868–872.

SIGMOD-2005-LometBMSWZ #sql #transaction

Immortal DB: transaction time support for SQL server (DBL, RSB, MFM, GS, RW, YZ), pp. 939–941.

VLDB-2005-ColohanASM #parallel #transaction

Optimistic Intra-Transaction Parallelism on Chip Multiprocessors (CBC, AA, JGS, TCM), pp. 73–84.

ITiCSE-2005-Fekete #education #sql #transaction

Teaching transaction management with SQL examples (AF), pp. 163–167.

FoSSaCS-2005-LaneveZ #transaction #web

Foundations of Web Transactions (CL, GZ), pp. 282–298.

PLDI-2005-Herlihy #re-engineering #transaction

The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.

SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.

IFL-2005-HuchK #composition #concurrent #haskell #implementation #memory management #transaction

A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.

CAiSE-2005-MammarRGSG #named #performance #tool support #transaction

Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.

EDOC-2005-WitthawaskulJ #modelling #transaction #using

Transaction Support Using Unit of Work Modeling in the Context of MDA (WW, REJ), pp. 131–141.

ICEIS-v3-2005-IngvaldsenGHP #enterprise #transaction

Revealing the Real Business Flows from Enterprise Systems Transactions (JEI, JAG, OAH, AP), pp. 254–259.

ICEIS-v4-2005-DaniGP #transaction

Auction Based System for Electronic Commerce Transaction (ARD, VPG, AKP), pp. 16–23.

CIKM-2005-HallerST #coordination #distributed #peer-to-peer #process #transaction

Decentralized coordination of transactional processes in peer-to-peer environments (KH, HS, CT), pp. 28–35.

MLDM-2005-TaniguchiHO #correlation #database #difference #transaction

Discovery of Hidden Correlations in a Local Transaction Database Based on Differences of Correlations (TT, MH, YO), pp. 537–548.

SEKE-2005-SongPCZ #specification #transaction #uml #verification

Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.

PPDP-2005-Wojciechowski #transaction #type system #version control

Isolation-only transactions by typing and versioning (PTW), pp. 70–81.

SAC-2005-KanedaTET #fault tolerance #object-oriented #transaction

Transactional agent model for fault-tolerant object systems (TK, YT, TE, MT), pp. 1133–1138.

SAC-2005-LiWLC #mobile #realtime #transaction

Mobile real-time read-only transaction processing in data broadcast environments (GL, HW, YL, JC), pp. 1176–1177.

SAC-2005-SongR #transaction

Finding frequent itemsets by transaction mapping (MS, SR), pp. 488–492.

ICSE-2005-DengFC #database #testing #transaction

Testing database transactions with AGENDA (YD, PGF, DC), pp. 78–87.

HPCA-2005-AnanianAKLL #bound #memory management #transaction

Unbounded Transactional Memory (CSA, KA, BCK, CEL, SL), pp. 316–327.

PPoPP-2005-HarrisMPH #composition #memory management #transaction

Composable memory transactions (TH, SM, SLPJ, MH), pp. 48–60.

ICLP-2005-Santos #concurrent #logic #semantics #transaction #using

Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.

CBSE-2004-Loecher #component #development #modelling #transaction

Model-Based Transaction Service Configuration for Component-Based Development (SL), pp. 302–309.

DAC-2004-DebJO #design #modelling #paradigm #transaction

System design for DSP applications in transaction level modeling paradigm (AKD, AJ, JÖ), pp. 466–471.

DAC-2004-PasrichaDB #approach #architecture #communication #modelling #performance #transaction

Extending the transaction level modeling approach for fast communication architecture exploration (SP, NDD, MBR), pp. 113–118.

SIGMOD-2004-GraefeZ #transaction

Transaction support for indexed views (GG, MJZ).

SIGMOD-2004-Gudgin #architecture #reliability #web #web service

Secure, Reliable, Transacted; Innovation in Web Services Architecture (MG), pp. 879–880.

SIGMOD-2004-Little #modelling #transaction #web #web service

Models for Web Services Transactions (MCL), p. 872.

VLDB-2004-HarizopoulosA #towards #transaction

STEPS towards Cache-resident Transaction Processing (SH, AA), pp. 660–671.

VLDB-2004-YuCLZ #data type #mining #transaction

False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams (JXY, ZC, HL, AZ), pp. 204–215.

ESOP-2004-VitekJWH #design #framework #semantics #transaction

A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.

FASE-2004-Bocchi #composition #transaction

Compositional Nested Long Running Transactions (LB), pp. 194–208.

FASE-2004-HubbersP #java #reasoning #transaction

Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.

IWPC-2004-DistantePT #perspective #reverse engineering #towards #transaction #web

Towards a Technique for Reverse Engineering Web Transactions from a User’s Perspective (DD, TP, SRT), pp. 142–150.

SEFM-2004-HeJ #transaction #verification

Verification of the WAP Transaction Layer (YTH, RJ), pp. 366–375.

ICEIS-v1-2004-AbdouliSAB #distributed #realtime #transaction

Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.

ICEIS-v1-2004-BebelKMW #concept #transaction

Transaction Concepts for Supporting Changes in Data Warehouses (BB, ZK, TM, RW), pp. 290–297.

ICEIS-v1-2004-ChenY #database #fuzzy #multi #transaction

Fuzzy Multiple-Level Sequential Patterns Discovery from Customer Transaction Databases (AC, HY), pp. 434–440.

ICEIS-v1-2004-Frank #database #design #performance #transaction

Transaction Design for Databases with High Performance and Availability (LF), pp. 222–226.

ICEIS-v1-2004-Saad-BouzefraneB #distributed #multi #transaction

A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.

ICEIS-v1-2004-WangJL #process #transaction

A Transaction Model for Long Running Business Processes (JW, BJ, JL), pp. 267–274.

ICEIS-v2-2004-BarkerD #database #transaction

An Intelligent Tutoring System for Database Transaction Processing (SB, PD), pp. 197–203.

ICEIS-v4-2004-Debenham #multi #process #transaction

Managing E-Market Transaction Processes: Exploring the Limits of Process Management with a Multiagent System (JKD), pp. 322–330.

ICEIS-v4-2004-RoqueOL #framework #transaction

Solving Transactional Control in Current Management Frameworks (VR, JLO, RPL), pp. 523–526.

CIKM-2004-JingYKT #locality #performance #similarity #transaction

Localized signature table: fast similarity search on transaction data (QJ, RY, PK, AKHT), pp. 314–323.

SEKE-2004-CorreaW #approach #specification #transaction #validation

Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios (ALC, CMLW), pp. 294–299.

ECOOP-2004-WelcJH #concurrent #monitoring #transaction

Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.

RE-2004-CorreaW #precise #specification #transaction #validation

Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.

SAC-2004-CarswellGN #dataset #multi #semantics #transaction

Wireless spatio-semantic transactions on multimedia datasets (JDC, KG, MN), pp. 1201–1205.

SAC-2004-PalmeriniOP #database #statistics #transaction

Statistical properties of transactional databases (PP, SO, RP), pp. 515–519.

ASPLOS-2004-HammondCWHCKO #consistency #programming #transaction

Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.

ASE-2003-DengFC #concurrent #database #testing #transaction

Testing Database Transaction Concurrency (YD, PGF, ZC), pp. 184–195.

DAC-2003-AgostaBS #modelling #static analysis #transaction

Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.

DATE-2003-AraS #component #transaction #verification

A Proposal for Transaction-Level Verification with Component Wrapper Language (KA, KS), pp. 20082–20087.

DATE-2003-CaldariCCCPT #architecture #modelling #transaction #using

Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0 (MC, MC, MC, SC, LP, CT), pp. 20026–20031.

DATE-2003-MoussaGN #modelling #performance #transaction #using

Exploring SW Performance Using SoC Transaction-Level Modeling (IM, TG, GN), pp. 20120–20125.

DATE-2003-OgawaNCSWNST #approach #architecture #optimisation #transaction

A Practical Approach for Bus Architecture Optimization at Transaction Level (OO, SBdN, PC, KS, YW, HN, TS, YT), pp. 20176–20181.

DATE-2003-SchlebuschSSGMLGSK #design #problem #question #transaction

Transaction Based Design: Another Buzzword or the Solution to a Design Problem? (HJS, GS, DS, DG, CM, CKL, FG, SS, JK), pp. 10876–10879.

SIGMOD-2003-Zeller #data type #sql #transaction

NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.

VLDB-2003-LiuLBHTS #database #multi #transaction

Capturing Global Transactions from Multiple Recovery Log Files in a Partitioned Database System (CL, BGL, SB, EH, TCT, JS), pp. 987–996.

FASE-2003-BeckertM #java #logic #transaction

A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.

CSMR-2003-JinCD #adaptation #concept #integration #reverse engineering #tool support #transaction #using

Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter (DJ, JRC, TRD), pp. 399–408.

FME-2003-BouquetL #case study #execution #generative #java #testing #transaction

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.

AdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction

Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.

CAiSE-2003-HeuvelW #contract #coordination #transaction

Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.

ICEIS-v2-2003-SrikumarB #algorithm #mining #set #transaction

An Algorithm for Mining Maximal Frequent Sets Based on Dominancy of Transactions (KS, BB), pp. 422–425.

ICEIS-v4-2003-KaracapilidisLM #transaction

An Agent-Mediated Marketplace for Transportation Transactions (NIK, AL, PM), pp. 238–243.

OOPSLA-2003-HarrisF #lightweight #transaction

Language support for lightweight transactions (TLH, KF), pp. 388–402.

SAC-2003-LopezNRR #multi #transaction

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs (NL, MN, IR, FR), pp. 587–594.

SAC-2003-MancoOS #clustering #similarity #transaction #web

Similarity-Based Clustering of Web Transactions (GM, RO, DS), pp. 1212–1216.

VLDB-2002-BlottK #database #execution #in memory #protocol #transaction

An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems (SB, HFK), pp. 706–717.

WRLA-2002-BruniMM #logic #transaction

Tiling Transactions in Rewriting Logic (RB, JM, UM), pp. 90–109.

WCRE-2002-TanT #fault #program analysis #transaction #verification

Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.

AdaEurope-2002-Patino-MartinezJKA #concurrent #transaction

Concurrency Control in Transactional Drago (MPM, RJP, JK, SA), pp. 309–320.

ICEIS-2002-LowLT #database #detection #named #transaction

DIDAFIT: Detecting Intrusions in Databases Through Fingerprinting Transactions (WLL, JL, PT), pp. 121–128.

ICEIS-2002-SadegSA #distributed #named #protocol #realtime #transaction

D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions (BS, SSB, LA), pp. 171–178.

ICEIS-2002-ShinkawaM #database #design #transaction

State-Sensitive Design of Database Transactions (YS, MJM), pp. 282–289.

CIKM-2002-GrabsBS #documentation #named #performance #transaction #xml

XMLTM: efficient transaction management for XML documents (TG, KB, HJS), pp. 142–152.

KDD-2002-LinLCY #data mining #database #distributed #mining #transaction

Distributed data mining in a chain store database of short transactions (CRL, CHL, MSC, PSY), pp. 576–581.

KDD-2002-YangGY #algorithm #clustering #effectiveness #named #performance #transaction

CLOPE: a fast and effective clustering algorithm for transactional data (YY, XG, JY), pp. 682–687.

SAC-2002-BusiZ #on the #transaction

On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.

SAC-2002-HuyS #transaction

Agent-based mobility add-in feature for Object Transaction Service (OTS) (HPH, SS), pp. 68–75.

SAC-2002-JiangYWS #named #transaction

CovaTM: a transaction model for cooperative applications (JJ, GY, YW, MS), pp. 329–335.

ASPLOS-2002-RajwarG #execution #source code #transaction

Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.

DAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification

A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.

PODS-2001-Schuldt #execution #order #process #protocol #transaction

Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).

VLDB-2001-JensenL #database #transaction

Transaction Timestamping in (Temporal) Databases (CSJ, DBL), pp. 441–450.

WCRE-2001-EmburyS #comprehension #legacy #transaction

Assisting the Comprehension of Legacy Transactions (SME, JS), p. 345–?.

FME-2001-HartelBJL #memory management #smarttech

Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.

AdaEurope-2001-KienzleJRM #ada #transaction

Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.

EDOC-2001-TaiMRS #distributed #named #transaction

Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.

ICEIS-v2-2001-PerkinsD #architecture #collaboration #transaction

Collaborative Systems Architecture to Reduce Transaction Costs in E-Business (JP, SD), pp. 1155–1161.

CIKM-2001-KimLJH #algorithm #hybrid #named #transaction

O-PreH: Optimistic Transaction Processing Algorithm based on Pre-Reordering in Hybrid Broadcast Environments (SK, SL, SYJ, CSH), pp. 553–555.

KDD-2001-CadezSM #modelling #predict #probability #profiling #transaction #visualisation

Probabilistic modeling of transaction data with applications to profiling, visualization, and prediction (IVC, PS, HM), pp. 37–46.

KDD-2001-LambertP #mining #transaction

Mining a stream of transactions for customer patterns (DL, JCP), pp. 305–310.

KDD-2001-PavlovS #modelling #probability #query #transaction

Probabilistic query models for transaction data (DP, PS), pp. 164–173.

SEKE-2001-TanTL #design #fault #transaction

Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.

TOOLS-EUROPE-2001-TranG #corba #scalability #transaction

Analyzing the Scalability of Transactional CORBA Applications (PT, IG), pp. 102–110.

TOOLS-USA-2001-AlagarP #formal method #named #specification #transaction

BTOZ: A Formal Specification Language for Formalizing Business Transactions (VSA, KP), pp. 240–252.

SAC-2001-Ben-MiledSBNLAOGKNCMS #object-oriented #transaction #using

Global change master directory: object-oriented active asynchronous transaction management in a federated environment using data agents (ZBM, SS, OAB, KN, EL, MA, LO, CG, DK, TN, RC, GM, JS), pp. 207–214.

SAC-2001-LuZP #multi #transaction #version control

A dual copy method for transaction separation with multiversion control for read-only transactions (BL, QZ, WP), pp. 290–294.

SAC-2001-PandaY #information management #transaction

Transaction fusion in the wake of information warfare (BP, RY), pp. 242–247.

PODS-2000-LechtenborgerV #on the #semantics #transaction

On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.

SIGMOD-2000-HsiaoN #named #transaction

DLFM: A Transactional Resource Manager (HIH, IN), pp. 518–528.

VLDB-2000-PardonA #data transformation #internet #lightweight #named #transaction

CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management (GP, GA), pp. 210–219.

CAiSE-2000-ObermairS #execution #transaction

Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.

TOOLS-ASIA-2000-YongLJJ #corba #transaction

OTMS-A CORBA-Compliant Object Transaction Management System (QY, ML, ZJ, SJ), pp. 126–133.

SAC-2000-AmirbekyanZ #corba #performance #transaction

The Role of Transaction Management in CORBA/ODB Integrated Systems’ Performance (VA, KZ), pp. 733–740.

SAC-2000-Jimenez-PerisPA #concurrent #transaction

Concurrent Transactional Replicated Servers (RJP, MPM, SA), pp. 655–660.

SAC-2000-KrishnamoorthyS #transaction #workflow

Virtual Transaction Model to Support Workflow Applications (VK, MCS), pp. 876–881.

SAC-2000-SrinivasaS #behaviour #transaction

Discerning Behavioral Properties by Analyzing Transaction Logs (SS, MS), pp. 281–282.

LCTES-2000-ChildersN #memory management #order #power management #transaction

Reordering Memory Bus Transactions for Reduced Power Consumption (BRC, TN), pp. 146–161.

PODS-1999-AlonsoFPS #component #correctness #transaction

Correctness in General Configurations of Transactional Components (GA, AF, GP, HJS), pp. 285–293.

PODS-1999-Bonner #datalog #transaction #workflow

Workflow, Transactions, and Datalog (AJB), pp. 294–305.

PODS-1999-SchuldtAS #concurrent #process #transaction

Concurrency Control and Recovery in Transactional Process Management (HS, GA, HJS), pp. 316–326.

SIGMOD-1999-DoRD #distributed #transaction

The Need for Distributed Asynchronous Transactions (LD, PR, PD), pp. 534–535.

SIGMOD-1999-Team #approach #data transformation #in memory #transaction

In-Memory Data Management for Consumer Transactions The Times-Ten Approach (TTT), pp. 528–529.

SIGMOD-1999-ZhouLP #named #process #transaction

TAM: A System for Dynamic Transactional Activity Management (TZ, LL, CP), pp. 571–573.

FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.

ICFP-1999-ShiversCM #transaction

Atomic Heap Transactions and Fine-grain Interrupts (OS, JWC, RM), pp. 48–59.

HCI-EI-1999-MarcusAFG99a #design #interface #online #transaction

User-Interface Design for Online Transactions: Planet SABRE Air-Travel Booking (AM, JA, VF, EG), pp. 656–660.

CAiSE-1999-Oh #architecture #design #transaction #using

The Design of Cooperative Transaction Model by Using Client-Server Architecture (Abstract) (AsO), p. 269.

EDOC-1999-ArshadAS #corba #e-commerce #framework #transaction

A CORBA based framework for trusted E-commerce transactions (KMA, YA, MYS), pp. 18–25.

CIKM-1999-FengLYH #mining #transaction

Mining Inter-Transaction Associations with Templates (LF, HL, JXY, JH), pp. 225–233.

CIKM-1999-WangXL #clustering #scalability #transaction #using

Clustering Transactions Using Large Items (KW, CX, BL), pp. 483–490.

KDD-1999-TungLHF #mining #transaction

Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.

TOOLS-ASIA-1999-XuGC #collaboration #transaction

A Model of Collaborative Systems Transactions (XX, JG, PC), pp. 406–413.

SAC-1999-WalbornC #transaction

Transaction Processing in PRO-MOTION (GDW, PKC), pp. 389–398.

HT-1998-YangK #named #transaction #web

JPernLite: An Extensible Transaction Server for the World Wide Web (JJY, GEK), pp. 256–266.

SIGMOD-1998-Chan #database #multi #transaction

Transactional Publish / Subscribe: The Proactive Multicast of Database Changes (AC), p. 521.

SIGMOD-1998-Kennamer #data transformation #transaction

Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.

VLDB-1998-Tygar #distributed #transaction

Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce (JDT), pp. 1–12.

AdaEurope-1998-Patino-MartinezJA #ada #fault tolerance #transaction

Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.

EDOC-1998-LittleS #transaction #web

Integrating the Object Transaction Service with the Web (MCL, SKS), pp. 194–205.

CIKM-1998-DirckzeG #mobile #multi #transaction

A Toggle Transaction Management Technique for Mobile Multidatabases (RAD, LG), pp. 371–377.

CIKM-1998-ZhouPL #implementation #process #transaction #workflow

Dynamic Restructuring of Transactional Workflow Activities: A Practical Implementation Method (TZ, CP, LL), pp. 378–385.

KR-1998-InoueS #abduction #specification #transaction

Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.

TOOLS-ASIA-1998-ZhongZ #database #design #distributed #mobile #transaction

A Web-Based Design for the Mobile Transaction Management of a Distributed Database System (JZ, WZ), pp. 372–386.

SAC-1998-Murthy #mobile #paradigm #transaction #workflow

Transactional workflow paradigm: its application to mobile computing (VKM), pp. 424–432.

SAC-1998-Patino-MartinezJA #ada #distributed #transaction

Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.

HPDC-1998-KanitkarD #transaction

Two-Stage Transaction Processing in Client-Server DBMSs (VK, AD), pp. 98–105.

SIGMOD-1997-GeorgeH #database #realtime #transaction

Secure Transaction Processing in Firm Real-Time Database Systems (BG, JRH), pp. 462–473.

VLDB-1997-AshwinRSSS #database #garbage collection #object-oriented #transaction #using

Garbage Collection in Object Oriented Databases Using Transactional Cyclic Reference Counting (SA, PR, SS, AS, SS), pp. 366–375.

VLDB-1997-KumarKA #framework #named #network #process #transaction

Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks (SK, EKK, DA), pp. 585–589.

VLDB-1997-LlirbatST #transaction #using

Using Versions in Update Transactions: Application to Integrity Checking (FL, ES, DT), pp. 96–105.

VLDB-1997-WildfogelY #performance #testing #transaction

Efficient Testing of High Performance Transaction Processing Systems (DW, RY), pp. 595–598.

CAiSE-1997-BarrosHP #modelling #towards #transaction #workflow

Towards Real-Scale Business Transaction Workflow Modelling (APB, AHMtH, HAP), pp. 437–450.

CAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction

Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.

CAiSE-1997-Puustjarvi #approach #automation #transaction #workflow

Negotiation Transactions: An Approach to Increase the Automation of Workflows (JP), pp. 89–102.

EDOC-1997-Grasso #corba #implementation #transaction

Implementing interposition in CORBA Object Transaction Service (EG), pp. 184–189.

EDOC-1997-Hull #transaction

Global Predicate-Based Locks in Long-Running Transactions (RH), p. 197–?.

CIKM-1997-DogduO #execution #realtime #transaction

Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.

CIKM-1997-LeeM #scheduling #transaction #validation

Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.

CIKM-1997-TeschW #multi #transaction

Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.

SAC-1997-ChundiRR #database #distributed #multi #transaction

Multi-site distributed database transactions utilizing deferred update (PC, DJR, SSR), pp. 118–122.

SAC-1997-Panda #approach #multi #transaction

An alternative approach to serialization of multilevel secure Transactions (BP), pp. 134–135.

SAC-1997-WalbornC #mobile #transaction

PRO-MOTION : Management of Mobile Transactions (GDW, PKC), pp. 101–108.

SOSP-1997-LowellC #transaction

Free Transactions With Rio Vista (DEL, PMC), pp. 92–101.

ILPS-1997-Kifer #logic #transaction

Transaction Logic: An Introduction (Abstract) (MK), pp. 47–48.

PODS-1996-BenediktGL #database #transaction

Verifiable Properties of Database Transactions (MB, TG, LL), pp. 117–127.

PODS-1996-Wong #database #transaction

Recovery for Transaction Failures in Object-Based Databases (MHW), pp. 139–149.

VLDB-1996-RysNS #parallel #relational #transaction

Intra-Transaction Parallelism in the Mapping of an Object Model to a Relational Multi-Processor System (MR, MCN, HJS), pp. 460–471.

CAiSE-1996-PuustjarviTV #transaction #workflow

Managing Overlapping Transactional Workflows (JP, HT, JV), pp. 345–361.

CAiSE-1996-WeigandVD #approach #modelling #transaction

Interoperable Transactions in Business Models: A Structured Approach (HW, EV, FD), pp. 193–209.

SIGIR-1996-KamathR #information management #information retrieval #performance #transaction

Efficient Transaction Support for Dynamic Information Retrieval Systems (MK, KR), pp. 147–155.

SAC-1996-NascimentoD #database #transaction

Indexing a transaction-decision time database (MAN, MHD), pp. 166–172.

CAV-1996-ParkD #distributed #protocol #transaction #verification

Protocol Verification by Aggregation of Distributed Transactions (SP, DLD), pp. 300–310.

JICSLP-1996-BonnerK #communication #concurrent #logic #transaction

Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.

SIGMOD-1995-Gettys #challenge #transaction

DIRECTV and Oracle Rdb: The Challenges of VLDB Transaction Processing (WLG), pp. 429–430.

SIGMOD-1995-Hope #enterprise #transaction

Enterprise Transaction Processing on Windows NT (GH), pp. 431–432.

VLDB-1995-AmmannJR #formal method #semantics #transaction #using

Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.

VLDB-1995-BargaP #composition #implementation #modelling #transaction

A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.

VLDB-1995-Korth #abstraction #concept #evolution #transaction

The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.

VLDB-1995-RusinkiewiczKTWM #process #towards #transaction

Towards a Cooperative Transaction Model — The Cooperative Activity Model (MR, WK, TT, JW, PM), pp. 194–205.

AdaEurope-1995-CornwellW #object-oriented #realtime #specification #transaction

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (PC, AJW), pp. 365–378.

CAiSE-1995-Pastor-ColladoO #concept #design #information management #modelling #transaction

Supporting Transaction Design in Conceptual Modelling of Information Systems (JAP, AO), pp. 40–53.

CIKM-1995-ElmagarmidJB #algorithm #mobile #performance #reliability #transaction

An Efficient and Reliable Reservation Algorithm for Mobile Transactions (AKE, JJ, OAB), pp. 90–95.

CIKM-1995-KourmajianDFB #collaboration #framework #named #transaction

Consortium: A Framework for Transaction Collaborative Environments (VK, RD, JF, DGB), pp. 260–265.

CIKM-1995-TangV #concept #transaction

Transaction-oriented Work-flow Concepts in Inter-Organizational Environments (JT, JV), pp. 250–259.

CIKM-1995-Wieczerzycki #database #design #transaction

Long-Duration Transaction Support in Design Databases (WW), pp. 362–369.

ICLP-1995-IsozakiK #estimation #execution #logic programming #source code #transaction

Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.

PODS-1994-AgrawalBAK #approach #transaction

Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions (DA, JLB, AEA, VK), pp. 139–149.

SIGMOD-1994-BilirisDGJR #named #transaction

ASSET: A System for Supporting Extended Transactions (AB, SD, NHG, HVJ, KR), pp. 44–54.

SIGMOD-1994-Mohan #bibliography #modelling #transaction

A Survey and Critique of Advanced Transaction Models (CM), p. 521.

SIGMOD-1994-SinghTW #transaction

Relaxed Transaction Processing (MPS, CT, DW), p. 505.

SIGMOD-1994-ZhangNBB #flexibility #multi #transaction

Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems (AZ, MHN, BKB, OAB), pp. 67–78.

VLDB-1994-FuC #database #replication #transaction

A Transaction Replication Scheme for a Replicated Database with Node Autonomy (AWCF, DWLC), pp. 214–225.

CAiSE-1994-ConradiHL #transaction

Planning Support for Cooperating Transactions in EPOS (RC, MH, CL), pp. 2–13.

CAiSE-1994-SanchoO #concept #deduction #information management #modelling #specification #transaction

Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems (MRS, AO), pp. 311–324.

CIKM-1994-ChaudhriHMS #evaluation #knowledge base #transaction

Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System (VKC, VH, JM, KCS), pp. 122–131.

CIKM-1994-Jain #transaction

Group Formation Mechanisms for Transactions in ISIS (NKJ), pp. 203–210.

CIKM-1994-PalL #database #object-oriented #transaction

Isolation of Transaction Aborts in Object-Oriented Database Management Systems (SP, SL), pp. 179–186.

CIKM-1994-SoparkarLKS #adaptation #distributed #realtime #transaction

Adaptive Commitment for Distributed Real-Time Transactions (NS, EL, HFK, AS), pp. 187–194.

SAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net #transaction

A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.

SAC-1994-PandaPH #database #multi #query #transaction

Secure transaction management and query processing in multilevel secure database systems (BP, WP, RAH), pp. 363–368.

PODS-1993-Raz #order #transaction

Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.

SIGMOD-1993-HongJC #approach #realtime #scheduling #transaction

Real-Time Transaction Scheduling: A Cost Conscious Approach (DH, TJ, SC), pp. 197–206.

SIGMOD-1993-KleinU #constraints #transaction

Open DECdtm: Constraint Based Transaction Management (JK, FUI), pp. 430–433.

SIGMOD-1993-MuthR #database #transaction #visualisation

VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.

SIGMOD-1993-Sherman #architecture #distributed #product line #transaction

Architecture of the Encina Distributed Transaction Processing Family (MS), pp. 460–463.

VLDB-1993-BernsteinGW #named #transaction

STDL — A Portable Language for Transaction Processing (PAB, POG, TW), pp. 218–229.

VLDB-1993-Grefen #approach #declarative #specification #theory and practice #transaction

Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem (PWPJG), pp. 581–591.

CIKM-1993-HelalKEM #adaptation #scheduling #transaction

Adaptive Transaction Scheduling (AH, THK, RE, SM), pp. 704–713.

CIKM-1993-Lee #algorithm #precise #transaction

Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.

CIKM-1993-MontesiB #constraints #query #transaction

Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.

ESEC-1993-Godart #coordination #developer #named #transaction

COO: A Transaction Model to Support COOperating Software Developers COOrdination (CG), pp. 361–379.

ICSE-1993-TarrS #development #programming #transaction

Programming Heterogeneous Transactions for Software Development Environments (PLT, SMSJ), pp. 358–369.

ICLP-1993-BonnerK #logic programming #transaction

Transaction Logic Programming (AJB, MK), pp. 257–279.

PODS-1992-AgrawalAJ #approach #protocol #transaction

An Approach to Eliminate Transaction Blocking in Locking Protocols (DA, AEA, RJ), pp. 223–235.

PODS-1992-MehrotraRBKS #multi #transaction

Ensuring Transaction Atomicity in Multidatabase Systems (SM, RR, YB, HFK, AS), pp. 164–175.

SIGMOD-1992-Chou #database #design #implementation #persistent #transaction

The Design and Implementation of Persistent Transactions in an Object Database System (HTC), p. 319.

SIGMOD-1992-Descollonges #concurrent #transaction

A Concurrency Model for Transaction Management (MD), p. 164.

SIGMOD-1992-Gray #benchmark #database #metric #transaction

Database and Transaction Processing Benchmarks (JG), p. 6.

SIGMOD-1992-MohanPL #flexibility #performance #transaction #version control

Efficient and Flexible Methods for Transient Versioning of Records to Avoid Locking by Read-Only Transactions (CM, HP, RAL), pp. 124–133.

SIGMOD-1992-PolyzoisG #algorithm #evaluation #transaction

Evaluation of Remote Backup Algorithms for Transaction Processing Systems (CAP, HGM), pp. 246–255.

SIGMOD-1992-Rahm #architecture #evaluation #performance #transaction

Performance Evaluation of Extended Storage Architectures for Transaction Processing (ER), pp. 308–317.

SIGMOD-1992-ShashaSV #transaction

Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.

VLDB-1992-AnsariNRS #flexibility #multi #transaction #using

Using Flexible Transactions to Support Multi-System Telecommunication Applications (MA, LN, MR, APS), pp. 65–76.

VLDB-1992-JagadishS #transaction

Proclamation-Based Model for Cooperating Transactions (HVJ, OS), pp. 265–276.

VLDB-1992-SalzbergD #online #transaction

Principles of Transaction-Based On-Line Reorganization (BS, AD), pp. 511–520.

WSA-1992-AmatoGM #analysis #concurrent #database #functional #programming language #transaction

Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.

SEKE-1992-WangG #algorithm #concurrent #transaction

An Optomized Concurrency Control Algorithm for Transaction Brocessing (SW, UOG), pp. 9–16.

ECOOP-1992-McCue #object-oriented #transaction

Developing a Class Hierarchy for Object-Oriented Transaction Processing (DLM), pp. 413–426.

SOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction

Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.

ASPLOS-1992-KubiatowiczCA #memory management #multi #transaction

Closing the Window of Vulnerability in Multiphase Memory Transactions (JK, DC, AA), pp. 274–284.

SIGMOD-1991-AgrawalK #execution #multi #transaction #using

Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.

SIGMOD-1991-LevyKS #commit #distributed #protocol #transaction

An Optimistic Commit Protocol for Distributed Transaction Management (EL, HFK, AS), pp. 88–97.

VLDB-1991-ChrysanthisR #transaction

A Formalism for Extended Transaction Model (PKC, KR), pp. 103–112.

VLDB-1991-DayalHL #process #transaction

A Transactional Model for Long-Running Activities (UD, MH, RL), pp. 113–122.

VLDB-1991-HasseW #evaluation #multi #performance #transaction

A Performance Evaluation of Multi-Level Transaction Management (CH, GW), pp. 55–66.

VLDB-1991-HeissW #adaptation #transaction

Adaptive Load Control in Transaction Processing Systems (HUH, RW), pp. 47–54.

VLDB-1991-MohanN #performance #protocol #transaction

Recovery and Coherency-Control Protocols for Fast Intersystem Page Transfer and Fine-Granularity Locking in a Shared Disks Transaction Environment (CM, IN), pp. 193–207.

VDME-1991-1-SmithK #development #transaction

The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.

AdaEurope-1991-SouposG #ada #distributed #object-oriented #transaction #using

Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.

CAiSE-1991-ConradiM #design #implementation #transaction

Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation (RC, CCM), pp. 375–392.

OOPSLA-1991-SimmelG #data access #semantics #transaction

The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations (SSS, IG), pp. 230–246.

SOSP-1991-SchmuckW #experience #transaction

Experience with Transactions in QuickSilver (FBS, JCW), pp. 239–253.

ICLP-1991-Bottcher #logic programming #on the #programming language #transaction

On Transactions in Logic Programming Languages (SB), p. 889.

PODS-1990-FeketeLW #graph #transaction

A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.

PODS-1990-TamH #fine-grained #migration #transaction

Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.

SIGMOD-1990-BreitbartST #multi #reliability #transaction

Reliable Transaction Management in a Multidatabase System (YB, AS, GRT), pp. 215–224.

SIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification #transaction

ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.

SIGMOD-1990-DayalHL #process #transaction

Organizing Long-Running Activities with Triggers and Transactions (UD, MH, RL), pp. 204–214.

VLDB-1990-ElmagarmidLLR #multi #transaction

A Multidatabase Transaction Model for InterBase (AKE, YL, WL, MR), pp. 507–518.

VLDB-1990-KorthLS #approach #formal method #transaction

A Formal Approach to Recovery by Compensating Transactions (HFK, EL, AS), pp. 95–106.

VLDB-1990-Mohan #concurrent #multi #named #transaction

ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes (CM), pp. 392–405.

VLDB-1990-Mohan90a #commit #named #novel #transaction

Commit_LSN: A Novel and Simple Method for Reducing Locking and Latching in Transaction Processing Systems (CM), pp. 406–418.

VLDB-1990-NodineZ #design #transaction

Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications (MHN, SBZ), pp. 83–94.

VLDB-1990-Qian #database #transaction

Synthesizing Database Transactions (XQ), pp. 552–565.

VLDB-1990-SeltzerS #file system #transaction

Transaction Support in Read Optimizied and Write Optimized File Systems (MIS, MS), pp. 174–185.

PODS-1989-FuK #concurrent #transaction

Concurrency Control of Nested Transactions Accessing B-Trees (AWCF, TK), pp. 270–285.

VLDB-1989-AbbottG #realtime #scheduling #transaction

Scheduling Real-Time Transactions with Disk Resident Data (RKA, HGM), pp. 385–396.

VLDB-1989-RothermelM #named #transaction

ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.

SOSP-1989-Duchamp #analysis #performance #transaction

Analysis of Transaction Management Performance (DD), pp. 177–190.

NACLP-1989-KrishnamurthyNZ #database #transaction

Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.

PODS-1988-HadzilacosH #transaction

Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.

SIGMOD-1988-GarzaK #database #object-oriented #transaction

Transaction Management in an Object-Oriented Database System (Invited Paper) (JFG, WK), pp. 37–45.

SIGMOD-1988-Group #benchmark #metric #sql #transaction

A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.

SIGMOD-1988-KumarS #semantics #transaction

Semantics Based Transaction Management Techniques for Replicated Data (AK, MS), pp. 117–125.

SIGMOD-1988-QianW #database #logic #specification #transaction

A Transaction Logic for Database Specification (XQ, RJW), pp. 243–250.

VLDB-1988-AbbottG #evaluation #performance #realtime #scheduling #transaction

Scheduling Real-time Transactions: a Performance Evaluation (RKA, HGM), pp. 1–12.

VLDB-1988-AspnesFLMW #concurrent #formal method #transaction

A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.

VLDB-1988-Bhide #analysis #architecture #transaction

An Analysis of Three Transaction Processing Architectures (AB), pp. 339–350.

VLDB-1988-PuKH #process #transaction

Split-Transactions for Open-Ended Activities (CP, GEK, NCH), pp. 26–37.

CSCW-1988-CiborraO #perspective #transaction

Encountering Electronic Work Groups: A Transaction Costs Perspective (CC, MHO), pp. 94–101.

PODS-1987-FeketeLMW #transaction

Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.

PODS-1987-KarabegKPV #axiom #relational #transaction

Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.

PODS-1987-SegallW #communication #transaction

Transaction Commitment at Minimal Communication Cost (AS, OW), pp. 112–118.

SIGMOD-1987-DanielsST #distributed #transaction

Distributed Logging for Transaction Processing (DSD, AZS, DST), pp. 82–96.

SIGMOD-1987-HarderR #concept #transaction

Concepts for Transaction Recovery in Nested Transactions (TH, KR), pp. 239–248.

SIGMOD-1987-McKenzieS #algebra #relational #transaction

Extending the Relational Algebra to Support Transaction Time (LEM, RTS), pp. 467–478.

SIGMOD-1987-Mohan #architecture #transaction

Directions in System Architectures for High Transaction Rates (CM), p. 6.

SIGMOD-1987-StempleMS #design #feedback #on the #transaction

On the Modes and Meaning of Feedback to Transaction Designers (DWS, SM, TS), pp. 374–386.

VLDB-1987-KumarS #evaluation #operating system #performance #transaction

Performance Evaluation of an Operating System Transaction Manager (AK, MS), pp. 473–481.

VLDB-1987-Moss #transaction

Log-Based Recovery for Nested Transactions (JEBM), pp. 427–432.

PODS-1986-AbiteboulV #transaction

Deciding Properties of Transactional Schemas (SA, VV), pp. 235–239.

PODS-1986-Hadzilacos #transaction

Deleting Completed Transactions (TH, MY), pp. 43–46.

PODS-1985-AbiteboulV #constraints #transaction

Transactions and Integrity Constraints (SA, VV), pp. 193–204.

PODS-1985-TuzhilinS #approach #concurrent #correctness #semantics #transaction

A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.

PODS-1985-WolfsonY #database #distributed #safety #transaction

Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.

SIGMOD-1985-AcharyaB #database #prolog #transaction

Transaction Restarts in Prolog Database Systems (SA, GNB), pp. 364–373.

SIGMOD-1985-KlaholdSUW #information management #transaction

A Transaction Model Supporting Complex Applications in Integrated Information Systems (PK, GS, RU, WW), pp. 388–401.

SIGMOD-1985-SinhaNM #certification #database #distributed #transaction

Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.

VLDB-1985-BancilhonKK #transaction

A Model of CAD Transactions (FB, WK, HFK), pp. 25–33.

SOSP-1985-SpectorDDEP #distributed #reliability #transaction

Distributed Transactions for Reliable Systems (AZS, DSD, DD, JLE, RFP), pp. 127–146.

SOSP-1985-WeinsteinPLP #distributed #operating system #transaction

Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.

DAC-1984-KatzW #design #transaction

Design transaction management (RHK, SW), pp. 692–693.

PODS-1984-GrahamGS #database #reliability #scheduling #transaction

Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.

VLDB-1984-AbiteboulV #database #relational #transaction

Transactions in Relational Databases (Preliminary Report) (SA, VV), pp. 46–56.

VLDB-1984-KimLMP #database #design #transaction

A Transaction Mechanism for Engineering Design Databases (WK, RAL, DM, WP), pp. 355–362.

VLDB-1984-LaiW #distributed #transaction

Distributed Transaction Management in Jasmin (MYL, WKW), pp. 466–470.

VLDB-1984-Walter #approach #commit #database #multi #transaction

Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.

VLDB-1984-WeikumS #architecture #multi #transaction

Architectural Issues of Transaction Management in Multi-Layered Systems (GW, HJS), pp. 454–465.

SIGIR-1984-Schek #architecture #transaction

Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.

SIGIR-1984-Tolle #analysis #evaluation #information management #monitoring #transaction

Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.

PODS-1983-Lynch #concurrent #transaction

Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.

SIGIR-1983-Tolle #analysis #online #transaction

Transactional Log Analysis: Online Catalogs (JT), pp. 147–160.

SOSP-1983-MuellerMP #transaction

A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.

PODS-1982-KrishnamurthyD #parallel #transaction

Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.

PODS-1982-Soisalon-SoininenW #algorithm #detection #safety #testing #transaction

An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems (ESS, DW), pp. 108–116.

SIGMOD-1982-RollandR #modelling #transaction

Transaction Modeling (CR, CR), pp. 265–275.

VLDB-1982-NeumannH #consistency #database #transaction

Consistency and Transactions in CAD Database (TN, CH), pp. 181–188.

VLDB-1982-Xu #concurrent #formal method #transaction

A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets (JX), pp. 77–90.

VLDB-1981-Borr #distributed #monitoring #reliability #transaction

Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.

VLDB-1981-Gray #concept #transaction

The Transaction Concept: Virtues and Limitations (Invited Paper) (JG), pp. 144–154.

VLDB-1981-LeonardL #approach #design #information management #transaction

Information Systems Design Approach Integrating Data and Transactions (ML, BTL), pp. 235–246.

VLDB-1981-Sakai #concept #design #transaction

A Method for Defining Information Structures and Transactions in Conceptual Schema Design (HS), pp. 225–234.

VLDB-1980-Walter #database #distributed #transaction

Strategies for Handling Transactions in Distributed Data Base Systems During Recovery (BW), pp. 384–389.

ICALP-1980-Gray #transaction

A Transaction Model (JG), pp. 282–298.

SIGMOD-1979-IraniL #concurrent #database #modelling #network #transaction

Queuing Network Models for Concurrent Transaction Processing in a Database System (KBI, HLL), pp. 134–142.

VLDB-1979-BreitwieserK #distributed #transaction

Transaction and Catalog Management of the Distributed File Management System DISCO (HB, UK), pp. 340–350.

VLDB-1979-GardarinM #consistency #database #proving #transaction

Proving Consistency of Database Transactions (GG, MAM), pp. 291–298.

SOSP-1979-Paxton #maintenance #transaction

A Client-Based Transaction System to Maintain Data Integrity (WHP), pp. 18–23.

VLDB-J-1975-Hsiao76 #database #transaction

ACM Transactions on Database Systems — Aim and Scope (DKH), pp. 1–2.

VLDB-1975-Hackathorn #database #empirical #process #scalability #transaction

Analyzing Transaction Activity to a Large Data Base: An Empirical Study (RDH), pp. 502–504.

SIGFIDET-1974-Sayani #information management #transaction

Restart and Recovery in a Transaction-Oriented Information Processing System (HHS), pp. 351–366.