BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
memori (125)
system (98)
model (82)
databas (62)
base (58)

Stem transact$ (all stems)

632 papers:

SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-NawabAAA #commit #latency #transaction
Minimizing Commit Latency of Transactions in Geo-Replicated Data Stores (FN, VA, DA, AEA), pp. 1279–1294.
VLDBVLDB-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.
VLDBVLDB-2015-MeehanTZACDKMMP #named #streaming #transaction
S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, , JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.
PLDIPLDI-2015-KoskinenP #transaction
The Push/Pull model of transactions (EK, MJP), pp. 186–195.
FMFM-2015-DerrickDSTW #transaction #verification
Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
ICFPICFP-2015-LeF #continuation #transaction
Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
ICEISICEIS-v2-2015-EttaziHNE #adaptation #approach #towards #transaction
Towards a Context-Aware Adaptation Approach for Transactional Services (WE, HH, MN, SE), pp. 553–562.
MoDELSMoDELS-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.
PADLPADL-2015-BassedaK #logic #transaction #using
State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
SACSAC-2015-DuarteBPC #composition #memory management #transaction
Composable memory transactions with eager version management (RMD, ARDB, MLP, GGHC), pp. 2093–2098.
ASPLOSASPLOS-2015-MatveevS #hardware #hybrid #memory management #scalability #transaction
Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
HPDCHPDC-2015-BestaH #hardware #memory management #transaction
Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
PPoPPPPoPP-2015-BaldassinBA #memory management #performance #transaction
Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPPPPoPP-2015-XiangS #clustering #hardware #transaction
Software partitioning of hardware transactions (LX, MLS), pp. 76–86.
PPoPPPPoPP-2015-ZhangHCB #memory management #semantics #transaction
Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
SOSPSOSP-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.
SOSPSOSP-2015-WeiSCCC #in memory #performance #transaction #using
Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
SOSPSOSP-2015-ZhangSSKP #consistency #replication #transaction
Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.
DACDAC-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.
SIGMODSIGMOD-2014-BailisFHGS #scalability #transaction
Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.
SIGMODSIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation #transaction
Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.
SIGMODSIGMOD-2014-Herlihy #hardware #memory management #transaction
Fun with hardware transactional memory (MH), p. 575.
VLDBVLDB-2014-CatastaTDDAC #named
TransactiveDB: Tapping into Collective Human Memories (MC, AT, DED, GD, KA, PCM), pp. 1977–1980.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2014-TozunAAM #named #transaction
ADDICT: Advanced Instruction Chasing for Transactions (PT, IA, AA, AM), pp. 1893–1904.
VLDBVLDB-2015-HuangSQ14 #transaction
NVRAM-aware Logging in Transaction Systems (JH, KS, MKQ), pp. 389–400.
VLDBVLDB-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.
ESOPESOP-2014-HerlihyK #composition #transaction
Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.
FoSSaCSFoSSaCS-2014-KoutavasSH #bisimulation #communication #transaction
Bisimulations for Communicating Transactions — (Extended Abstract) (VK, CS, MH), pp. 320–334.
FMFM-2014-MaricS #hardware #memory management #transaction #verification
Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
ICEISICEIS-v1-2014-KaddesASBAB #behaviour #transaction
Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.
ICEISICEIS-v3-2014-Guerreiro #framework #multi #towards #transaction
Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.
CIKMCIKM-2014-WangGL #modelling #personalisation #recommendation #transaction
Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.
ICMLICML-c1-2014-LethamSS #transaction
Latent Variable Copula Inference for Bundle Pricing from Retail Transaction Data (BL, WS, AS), pp. 217–225.
KMISKMIS-2014-PascalT #clustering #experience #framework #information management #memory management
Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.
KMISKMIS-2014-Wagner #concept #memory management
The Concept of Team Transactive Memory Systems — Developing an Extended Model for Organizational Contexts (VW), pp. 319–325.
SACSAC-2014-RighiCGFAG #transaction
Redesigning transaction load balancing on electronic funds transfer scenarios (RdRR, CAdC, LGJ, KF, ALA, LG), pp. 775–777.
ASPLOSASPLOS-2014-LitzCFAS #memory management #named #transaction
SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.
CGOCGO-2014-XuWGLGQ #architecture #gpu #memory management #transaction
Software Transactional Memory for GPU Architectures (YX, RW, NG, TL, LG, DQ), p. 1.
HPCAHPCA-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.
HPCAHPCA-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.
ISMMISMM-2014-RitsonUJ #garbage collection #hardware #memory management #transaction
Exploring garbage collection with haswell hardware transactional memory (CGR, TU, REJ), pp. 105–115.
OSDIOSDI-2014-MuCZLL #concurrent #distributed #transaction
Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.
OSDIOSDI-2014-NarulaCKM #in memory #transaction
Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.
PPoPPPPoPP-2014-DieguesR #lightweight #memory management #named #transaction
Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
PPoPPPPoPP-2014-HassanPR #transaction
Optimistic transactional boosting (AH, RP, BR), pp. 387–388.
PPoPPPPoPP-2014-OdairaCT #hardware #interpreter #memory management #ruby #transaction
Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2013-KangLMOM #database #named #transaction
X-FTL: transactional FTL for SQLite databases (WHK, SWL, BM, GHO, CM), pp. 97–108.
VLDBVLDB-2013-AilamakiJPT #scalability #towards #transaction
Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.
VLDBVLDB-2013-Dey #scalability #transaction
Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores (AD), pp. 1434–1439.
VLDBVLDB-2014-BailisDFGHS13 #transaction
Highly Available Transactions: Virtues and Limitations (PB, AD, AF, AG, JMH, IS), pp. 181–192.
SEFMSEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
SACSAC-2013-CastorSS #assessment #haskell #memory management #transaction
A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
SACSAC-2013-NunesP #scheduling #throughput #transaction
Improving transaction abort rates without compromising throughput through judicious scheduling (AN, JP), pp. 493–494.
ESEC-FSEESEC-FSE-2013-HossainGBW #database #named #transaction
REDACT: preventing database deadlocks from application-based transactions (BMMH, MG, UB, HW), pp. 591–594.
HPCAHPCA-2013-ZhaoCCD #memory management #transaction
In-network traffic regulation for Transactional Memory (LZ, WC, LC, JTD), pp. 520–531.
PPoPPPPoPP-2013-CarvalhoC #memory management #runtime #transaction
Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
SOSPSOSP-2013-CoburnBSGS #transaction
From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.
SOSPSOSP-2013-TuZKLM #database #in memory #manycore #transaction
Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
SOSPSOSP-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.
ISSTAISSTA-2013-Ghaith #analysis #performance #testing #transaction
Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.
DATEDATE-2012-LuMS #abstraction #modelling #prototype #transaction
Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.
DATEDATE-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.
SIGMODSIGMOD-2012-MeachamS #named #privacy #sql #transaction
JustMyFriends: full SQL, full transactional amenities, and access privacy (AM, DS), pp. 633–636.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-ThomsonDWRSA #database #distributed #named #performance #transaction
Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.
VLDBVLDB-2012-FunkeKN #database #hybrid #transaction
Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.
VLDBVLDB-2012-TaliusDDK #fault #query #transaction
Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
ESOPESOP-2012-BurckhardtLFS #consistency #transaction
Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.
ICALPICALP-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.
EDOCEDOC-2012-KutvonenNR #ecosystem #transaction
Inter-enterprise Business Transaction Management in Open Service Ecosystems (LK, AN, SR), pp. 31–40.
CIKMCIKM-2012-ZhangSZZ #ranking #transaction
Credibility-based product ranking for C2C transactions (RZ, CS, MZ, AZ), pp. 2149–2153.
ECIRECIR-2012-BortnikovDKL #modelling #query #transaction
Modeling Transactional Queries via Templates (EB, PD, AK, RL), pp. 13–24.
ECOOPECOOP-2012-DhawanSG #javascript #transaction
Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.
ECOOPECOOP-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.
OOPSLAOOPSLA-2012-SreeramP #compilation #transaction
Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.
SACSAC-2012-CasadoTY #reliability #testing #transaction #web #web service
Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
ASPLOSASPLOS-2012-VolosTSL #concurrent #debugging #memory management #transaction
Applying transactional memory to concurrency bugs (HV, AJT, MMS, SL), pp. 211–222.
CGOCGO-2012-MannarswamyG #compilation #transaction
Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.
HPCAHPCA-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.
ECSAECSA-2011-HamelGKBG #behaviour #transaction #verification
Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
DACDAC-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.
DACDAC-2011-SingermanAB #transaction #validation
Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-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.
VLDBVLDB-2011-FunkeKN #query #transaction
HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.
VLDBVLDB-2011-GuptaNRBKGK #transaction
Entangled Transactions (NG, MN, SR, GB, LK, JG, CK), pp. 887–898.
VLDBVLDB-2011-HeY #transaction
High-throughput transaction executions on graphics processors (BH, JXY), pp. 314–325.
VLDBVLDB-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.
ESOPESOP-2011-BieniusaT #memory management #proving #transaction
Proving Isolation Properties for Software Transactional Memory (AB, PT), pp. 38–56.
IFLIFL-2011-AmsdenF #transaction
Fairness for Transactional Events (EA, MF), pp. 17–34.
ICEISICEIS-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.
CIKMCIKM-2011-GaoXHCH #named #transaction
PCMLogging: reducing transaction logging overhead with PCM (SG, JX, BH, BC, HH), pp. 2401–2404.
CIKMCIKM-2011-LiuNSC #classification #comprehension #query #transaction
Unsupervised transactional query classification based on webpage form understanding (YL, XN, JTS, ZC), pp. 57–66.
KDIRKDIR-2011-CostaRO #approach #classification #transaction #xml
A Transactional Approach to Associative XML Classification by Content and Structure (GC, RO, ER), pp. 104–113.
KDIRKDIR-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.
KEODKEOD-2011-GuerreiroVT #data access #ontology #transaction
Dynamic Business Transactions Control — An Ontological Example: Organizational Access Control with DEMO (SG, AV, JMT), pp. 549–554.
MLDMMLDM-2011-Bouguessa #approach #clustering #transaction
A Practical Approach for Clustering Transaction Data (MB), pp. 265–279.
ECOOPECOOP-2011-HarmanciGF #coordination #exception #memory management #transaction
Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.
ASPLOSASPLOS-2011-CasperOHBKO #hardware #memory management #transaction
Hardware acceleration of transactional memory on commodity systems (JC, TO, SH, NGB, CK, KO), pp. 27–38.
ASPLOSASPLOS-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.
CGOCGO-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.
HPCAHPCA-2011-BlakeDM #scheduling #transaction
Bloom Filter Guided Transaction Scheduling (GB, RGD, TNM), pp. 75–86.
HPDCHPDC-2011-SaadR #distributed #framework #memory management #named #performance #transaction
HyFlow: a high performance distributed software transactional memory framework (MMS, BR), pp. 265–266.
PPoPPPPoPP-2011-FernandesC #memory management #multi #scalability #transaction
Lock-free and scalable multi-version software transactional memory (SMF, JPC), pp. 179–188.
PPoPPPPoPP-2011-LesaniP #communication #memory management #transaction
Communicating memory transactions (ML, JP), pp. 157–168.
PPoPPPPoPP-2011-LuchangcoM #concurrent #transaction
Transaction communicators: enabling cooperation among concurrent transactions (VL, VJM), pp. 169–178.
SOSPSOSP-2011-SovranPAL #transaction
Transactional storage for geo-replicated systems (YS, RP, MKA, JL), pp. 385–400.
ICLPICLP-2011-FodorK #logic #transaction
Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.
ICSTICST-2011-CasadoTY #framework #transaction #web #web service
A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.
DACDAC-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.
DATEDATE-2010-DammMHG #modelling #network #simulation #transaction #using
Using Transaction Level Modeling techniques for wireless sensor network simulation (MD, JM, JH, CG), pp. 1047–1052.
DATEDATE-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.
DATEDATE-2010-HwangSAG #modelling #transaction
Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.
DATEDATE-2010-NurvitadhiHKL #automation #pipes and filters #specification #transaction
Automatic pipelining from transactional datapath specifications (EN, JCH, TK, SLL), pp. 1001–1004.
DATEDATE-2010-SchulzBUES #modelling #transaction
Transmitting TLM transactions over analogue wire models (SS, JB, TU, KE, SS), pp. 1608–1613.
SIGMODSIGMOD-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.
VLDBVLDB-2010-CaoKRT #named #transaction
rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.
VLDBVLDB-2010-PandisJHA #execution #transaction
Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.
VLDBVLDB-2010-VoCO #query #towards #transaction
Towards Elastic Transactional Cloud Storage with Range Query Support (HTV, CC, BCO), pp. 506–517.
ICSMEICSM-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.
PASTEPASTE-2010-ReissK #thread #transaction #visualisation
Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.
PLDIPLDI-2010-EmmiMM #transaction #verification
Parameterized verification of transactional memories (ME, RM, RM), pp. 134–145.
IFMIFM-2010-TranS #commit #java #transaction
Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.
AdaEuropeAdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime #transaction
Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
ICEISICEIS-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.
SEKESEKE-2010-YinZZ #reliability #transaction #web #web service
Reliable Web Service Selection based on Transactional Risk (YY, XZ, BZ), pp. 231–234.
PPDPPPDP-2010-FodorK #logic #transaction
Tabling for transaction logic (PF, MK), pp. 199–208.
POPLPOPL-2010-KoskinenPH #transaction
Coarse-grained transactions (EK, MJP, MH), pp. 19–30.
SACSAC-2010-KrajcaV #functional #memory management #parallel #transaction
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SACSAC-2010-SarrNG #adaptation #distributed #monitoring #named #transaction #web
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SACSAC-2010-SchoeberlBV #memory management #named #realtime #transaction
RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.
SACSAC-2010-ZhangHJ #java #locality #transaction
Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
ASPLOSASPLOS-2010-RamanKMJA #concurrent #parallel #thread #transaction #using
Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
CGOCGO-2010-GottschlichVS #memory management #performance #transaction #using
An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.
HPCAHPCA-2010-JafriTV #named #transaction
LiteTM: Reducing transactional state overhead (SARJ, MT, TNV), pp. 1–12.
OSDIOSDI-2010-PengD #distributed #incremental #scalability #transaction #using
Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
OSDIOSDI-2010-PortsCZML #automation #consistency #transaction
Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.
PPoPPPPoPP-2010-BarretoDFGK #memory management #parallel #transaction
Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.
PPoPPPPoPP-2010-DashD #distributed #memory management #transaction
Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
PPoPPPPoPP-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.
PPoPPPPoPP-2010-MaldonadoMFSHFLM #memory management #scheduling #transaction
Scheduling support for transactional memory contention management (WM, PM, PF, AS, DH, AF, JLL, GM), pp. 79–90.
PPoPPPPoPP-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.
PPoPPPPoPP-2010-PorterW #memory management #modelling #performance #transaction
Modeling transactional memory workload performance (DEP, EW), pp. 349–350.
PPoPPPPoPP-2010-RossbachHW #programming #question #transaction
Is transactional programming actually easier? (CJR, OSH, EW), pp. 47–56.
PPoPPPPoPP-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.
DACDAC-2009-KamhiNTW #analysis #architecture #named #statistics #transaction
MAGENTA: transaction-based statistical micro-architectural root-cause analysis (GK, AN, AT, AW), pp. 639–643.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2009-SharafCLA #interactive #optimisation #transaction
Optimizing i/o-intensive transactions in highly interactive applications (MAS, PKC, AL, CA), pp. 785–798.
VLDBVLDB-2009-LometM #transaction
Locking Key Ranges with Unbundled Transaction Services (DBL, MFM), pp. 265–276.
PLDIPLDI-2009-DragojevicGK #memory management #transaction
Stretching transactional memory (AD, RG, MK), pp. 155–165.
PLDIPLDI-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.
ICFPICFP-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.
KMISKMIS-2009-Bolisani #analysis #modelling #transaction
Modelling Cognitive Transactions for Economic and Accounting Analysis (EB), pp. 242–247.
SEKESEKE-2009-YuanHZL #automation #modelling #multi #transaction #verification
Modeling and Verification of Automatic Multi-business Transactions (MY, ZH, JZ, XL), pp. 274–279.
ECOOPECOOP-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.
GPCEGPCE-2009-Sadat-MohtashamH #transaction
Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
POPLPOPL-2009-GuerraouiK #memory management #semantics #transaction
The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.
POPLPOPL-2009-Harris #memory management #transaction
Language constructs for transactional memory (TH), p. 1.
SACSAC-2009-FahmyRJ #analysis #distributed #realtime #transaction
Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SACSAC-2009-KokashA #coordination #transaction
Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.
SACSAC-2009-MacielH #architecture #rest #transaction #using
An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.
SACSAC-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.
SACSAC-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.
ASPLOSASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management #transaction
Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.
CCCC-2009-AbadiBHHI #implementation #memory management #transaction
Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.
CGOCGO-2009-SpearMSW #memory management #transaction
Reducing Memory Ordering Overheads in Software Transactional Memory (MFS, MMM, MLS, PW), pp. 13–24.
HPDCHPDC-2009-WangLL #memory management #performance #transaction
Investigating transactional memory performance on ccNUMA machines (RW, KL, XL), pp. 67–68.
LCTESLCTES-2009-MankinKA #embedded #manycore #memory management #transaction
Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.
LCTESLCTES-2009-McKechnieBV #debugging #monitoring #transaction
Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.
PPoPPPPoPP-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.
PPoPPPPoPP-2009-AgrawalLS #transaction
Safe open-nested transactions through ownership (KA, ITAL, JS), pp. 151–162.
PPoPPPPoPP-2009-DashD #distributed #memory management #transaction
Software transactional distributed shared memory (AD, BD), pp. 297–298.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2009-RamadanRHW #commit #transaction
Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.
PPoPPPPoPP-2009-SpearDMS #memory management #transaction
A comprehensive strategy for contention management in software transactional memory (MFS, LD, VJM, MLS), pp. 141–150.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
SOSPSOSP-2009-PorterHRBW #operating system #transaction
Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
CAVCAV-2009-GuerraouiHS #memory management #modelling #transaction
Software Transactional Memory on Relaxed Memory Models (RG, TAH, VS), pp. 321–336.
CAVCAV-2009-GuerraouiK #memory management #transaction
Transactional Memory: Glimmer of a Theory (RG, MK), pp. 1–15.
ICLPICLP-2009-Fodor #evaluation #logic programming #research #source code #summary #transaction
Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.
VMCAIVMCAI-2009-EtessamiG #programming #transaction
An Abort-Aware Model of Transactional Programming (KE, PG), pp. 59–73.
DATEDATE-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.
DATEDATE-2008-HwangAG #approximate #estimation #performance #transaction
Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.
DATEDATE-2008-RadetzkiK #adaptation #modelling #simulation #transaction
Accuracy-Adaptive Simulation of Transaction Level Models (MR, RSK), pp. 788–791.
DATEDATE-2008-TangX #debugging #transaction
In-band Cross-Trigger Event Transmission for Transaction-Based Debug (ST, QX), pp. 414–419.
VLDBVLDB-2008-Hill #memory management #question #transaction
Is transactional memory an oxymoron? (MDH), p. 1.
VLDBVLDB-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.
VLDBVLDB-2008-LometHNZ #transaction
Transaction time indexing with version compression (DBL, MH, RVN, RZ), pp. 870–881.
VLDBVLDB-2008-MoonCDHZ #database #evolution #query #transaction
Managing and querying transaction-time databases under schema evolution (HJM, CC, AD, CYH, CZ), pp. 882–895.
PLDIPLDI-2008-GuerraouiHJS #model checking #transaction
Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.
ICFPICFP-2008-Effinger-DeanKG #ml #transaction
Transactional events for ML (LED, MK, DG), pp. 103–114.
GT-VMTGT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction
Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.
CSCWCSCW-2008-SarcevicMLB #memory management
Transactive memory in trauma resuscitation (AS, IM, MEL, RSB), pp. 215–224.
CAiSECAiSE-2008-WangGV #reliability #transaction
Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.
ICEISICEIS-DISI-2008-HarderBM #database #transaction #xml
Transactional Support in Native XML Databases (TH, SB, CM), pp. 368–373.
CIKMCIKM-2008-LuoNEW #order #transaction
Transaction reordering with application to synchronized scans (GL, JFN, CJE, MW), pp. 1335–1336.
KDDKDD-2008-XiangJFD #database #summary #transaction
Succinct summarization of transactional databases: an overlapped hyperrectangle scheme (YX, RJ, DF, FFD), pp. 758–766.
KDDKDD-2008-XuWFY #database #transaction
Anonymizing transaction databases for publication (YX, KW, AWCF, PSY), pp. 767–775.
SEKESEKE-2008-BiswasG #transaction
Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.
ECOOPECOOP-2008-Guerraoui #transaction
The Return of Transactions (RG), p. 1.
ECOOPECOOP-2008-ZiarekWAMSJ #execution #java #transaction
A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLAOOPSLA-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.
POPLPOPL-2008-AbadiBHI #automation #memory management #semantics #transaction
Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
POPLPOPL-2008-MooreG #semantics #transaction
High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
SACSAC-2008-ChalinST #case study #modelling #requirements #transaction
Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
SACSAC-2008-HolandaBF #adaptation #self #transaction
Introducing self-adaptability into transaction processing (MH, AB, SF), pp. 992–997.
SACSAC-2008-ReverbelN #multi #transaction
Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.
CCCC-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.
HPCAHPCA-2008-ChungDKK #memory management #thread #transaction #using
Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPDCHPDC-2008-RichT #named #transaction
DataLab: transactional data-parallel computing on an active storage cloud (BR, DT), pp. 233–234.
OSDIOSDI-2008-PrabhakaranRZ #transaction
Transactional Flash (VP, TLR, LZ), pp. 147–160.
PPoPPPPoPP-2008-AgrawalFS #memory management #parallel #transaction
Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.
PPoPPPPoPP-2008-AgrawalLS #transaction
Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.
PPoPPPPoPP-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.
PPoPPPPoPP-2008-BocchinoAC #clustering #memory management #scalability #transaction
Software transactional memory for large scale clusters (RLBJ, VSA, BLC), pp. 247–258.
PPoPPPPoPP-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.
PPoPPPPoPP-2008-FelberFR #memory management #performance #transaction
Dynamic performance tuning of word-based software transactional memory (PF, CF, TR), pp. 237–246.
PPoPPPPoPP-2008-GuerraouiK #correctness #memory management #on the #transaction
On the correctness of transactional memory (RG, MK), pp. 175–184.
PPoPPPPoPP-2008-HerlihyK #transaction
Transactional boosting: a methodology for highly-concurrent transactional objects (MH, EK), pp. 207–216.
PPoPPPPoPP-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.
PPoPPPPoPP-2008-MaratheM #memory management #performance #towards #transaction
Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.
PPoPPPPoPP-2008-McGacheyAHMSS #concurrent #garbage collection #memory management #transaction
Concurrent GC leveraging transactional memory (PM, ARAT, RLH, VM, BS, TS), pp. 217–226.
CAVCAV-2008-CohenPZ #memory management #transaction #verification
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
ICLPICLP-2008-SchrijversS #constraints #transaction
Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.
ASEASE-2007-FischerM #consistency #transaction
Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-KimHG #multi #named #simulation #transaction
CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.
DATEDATE-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.
SIGMODSIGMOD-2007-NicolaKS #benchmark #metric #transaction #xml
An XML transaction processing benchmark (MN, IK, BS), pp. 937–948.
VLDBVLDB-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.
ESOPESOP-2007-AcciaiBD #calculus #concurrent #transaction
A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.
PLDIPLDI-2007-ElmasQT #java #named #runtime #transaction
Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
SEFMSEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction
Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
HCIHIMI-IIE-2007-DoyoSA #case study #transaction #using
A Study of Production / Transaction-Related Model Using Control Theory (DD, KS, KA), pp. 855–862.
CAiSECAiSE-2007-MaamarNBS #policy #transaction #web #web service
Policies for Context-Driven Transactional Web Services (ZM, NCN, DB, SS), pp. 249–263.
EDOCEDOC-2007-WangVG #approach #named #transaction
TxQoS: A Contractual Approach for Transaction Management (TW, JV, PWPJG), pp. 327–338.
ICEISICEIS-DISI-2007-ArntsenK #case study #composition #transaction
Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.
ICEISICEIS-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.
OOPSLAOOPSLA-2007-Grossman #garbage collection #memory management #transaction
The transactional memory / garbage collection analogy (DG), pp. 695–706.
OOPSLAOOPSLA-2007-SmaragdakisKBY #transaction
Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.
SACSAC-2007-LinL #mining #privacy #transaction
Privacy preserving itemset mining through fake transactions (JLL, JYCL), pp. 375–379.
CGOCGO-2007-DiceS #comprehension #memory management #trade-off #transaction
Understanding Tradeoffs in Software Transactional Memory (DD, NS), pp. 21–33.
CGOCGO-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.
HPCAHPCA-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.
HPCAHPCA-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.
LCTESLCTES-2007-ChoAG #interface #manycore #modelling #synthesis #transaction
Interface synthesis for heterogeneous multi-core systems from transaction level models (HC, SA, DG), pp. 140–142.
PPoPPPPoPP-2007-Adl-TabatabaiDHSKPS #transaction
Potential show-stoppers for transactional synchronization (ARAT, DD, MH, NS, CK, CvP, MLS), p. 55.
PPoPPPPoPP-2007-Adl-TabatabaiKS #manycore #programming #transaction
Transactional programming in a multi-core environment (ARAT, CK, BS), p. 272.
PPoPPPPoPP-2007-CarlstromMCKO #transaction
Transactional collection classes (BDC, AM, MC, CK, KO), pp. 56–67.
PPoPPPPoPP-2007-MaratheHL #thread #transaction
Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
PPoPPPPoPP-2007-MaratheM #memory management #performance #transaction
Efficient nonblocking software transactional memory (VJM, MM), pp. 136–137.
PPoPPPPoPP-2007-NiMAHHMSS #memory management #transaction
Open nesting in software transactional memory (YN, VM, ARAT, ALH, RLH, JEBM, BS, TS), pp. 68–78.
PPoPPPPoPP-2007-PraunCC #order #parallel #transaction
Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.
SOSPSOSP-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.
SOSPSOSP-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.
VMCAIVMCAI-2007-EmmiM #transaction #verification
Verifying Compensating Transactions (ME, RM), pp. 29–43.
DACDAC-2006-KlingaufGBPB #modelling #named #transaction
GreenBus: a generic interconnect fabric for transaction level modelling (WK, RG, OB, PP, MB), pp. 905–910.
DACDAC-2006-Swan #modelling #transaction #verification
SystemC transaction level models and RTL verification (SS), pp. 90–92.
DATEDATE-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.
DATEDATE-2006-SchirnerD #analysis #modelling #transaction
Quantitative analysis of transaction level models for the AMBA bus (GS, RD), pp. 230–235.
DATEDATE-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.
SIGMODSIGMOD-2006-LometVB #transaction
Recovery from “bad” user transactions (DBL, ZV, RSB), pp. 337–346.
PLDIPLDI-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.
PLDIPLDI-2006-CarlstromMCCMKO #programming language #transaction
The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.
PLDIPLDI-2006-HarrisPST #memory management #optimisation #transaction
Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.
SEFMSEFM-2006-MarcheR #behaviour #java #transaction #verification
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
ICFPICFP-2006-DonnellyF #transaction
Transactional events (KD, MF), pp. 124–135.
ICGTICGT-2006-BaldanCFG #graph #process #transaction
Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.
AdaEuropeAdaEurope-2006-SharifiS #how #transaction
Replication-Aware Transactions: How to Roll a Transaction over Failures (MS, HS), pp. 203–214.
EDOCEDOC-2006-MontagutM #towards #transaction #workflow
Towards Transactional PervasiveWorkflows (FM, RM), pp. 141–152.
EDOCEDOC-2006-PatelG #adaptation #transaction
An Adaptive Negotiation Strategy for Electronic Transactions (DP, AG), pp. 243–252.
EDOCEDOC-2006-ZuoLW #fault tolerance #transaction
A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.
ICEISICEIS-DISI-2006-DingGJH #approach #modelling #transaction
A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-SAIC-2006-LazanasKP #framework #recommendation #transaction
Providing Recommendations in an Agent-Based Transportation Transactions Management Platform (AL, NIK, YP), pp. 87–92.
CIKMCIKM-2006-YanCL #clustering #transaction
Efficiently clustering transactional data with weighted coverage density (HY, KC, LL), pp. 367–376.
SIGIRSIGIR-2006-LiKVJ #query #transaction #web
Getting work done on the web: supporting transactional queries (YL, RK, SV, HVJ), pp. 557–564.
ECOOPECOOP-2006-WelcHJ #java #transaction
Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.
OOPSLAOOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management #transaction
A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.
QAPLQAPL-2005-BartheRW06 #branch #transaction
Preventing Timing Leaks Through Transactional Branching Instructions (GB, TR, MW), pp. 33–55.
SACSAC-2006-FabryD #aspect-oriented #kernel #named #transaction
KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.
SACSAC-2006-SemghouniSAB #probability #realtime #transaction
Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.
ASPLOSASPLOS-2006-ChuangNVSBPCC #bound #memory management #transaction
Unbounded page-based transactional memory (WC, SN, GV, JS, MVB, GP, BC, OC), pp. 347–358.
ASPLOSASPLOS-2006-ChungMMSCCKO #memory management #trade-off #transaction
Tradeoffs in transactional memory virtualization (JC, CCM, AM, TS, HC, BDC, CK, KO), pp. 371–381.
ASPLOSASPLOS-2006-DamronFLLMN #hybrid #memory management #transaction
Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
ASPLOSASPLOS-2006-MoravanBMYHLSW #memory management #transaction
Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.
HPCAHPCA-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.
HPCAHPCA-2006-MooreBMHW #memory management #named #transaction
LogTM: log-based transactional memory (KEM, JB, MJM, MDH, DAW), pp. 254–265.
ISMMISMM-2006-HudsonSAH #memory management #named #scalability #transaction
McRT-Malloc: a scalable transactional memory allocator (RLH, BS, ARAT, BH), pp. 74–83.
LCTESLCTES-2006-SpivakT #memory management #persistent #transaction
Storing a persistent transactional object heap on flash memory (MS, ST), pp. 22–33.
OSDIOSDI-2006-SearsB #flexibility #named #transaction
Stasis: Flexible Transactional Storage (RS, EAB), pp. 29–44.
PPoPPPPoPP-2006-KumarCHKN #hybrid #memory management #transaction
Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.
PPoPPPPoPP-2006-ManassievMA #clustering #concurrent #distributed #memory management #transaction
Exploiting distributed version concurrency in a transactional memory cluster (KM, MM, CA), pp. 198–208.
PPoPPPPoPP-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.
CAVCAV-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.
DATEDATE-2005-HabibiT #design #modelling #transaction #verification
Design for Verification of SystemC Transaction Level Models (AH, ST), pp. 560–565.
DATEDATE-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.
DATEDATE-2005-Klingauf #embedded #modelling #transaction
Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATEDATE-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.
DATEDATE-2005-Martin #component #design #transaction
Design of a Virtual Component Neutral Network-on-Chip Transaction Layer (PM), pp. 336–337.
PODSPODS-2005-Fekete #transaction
Allocating isolation levels to transactions (AF), pp. 206–215.
SIGMODSIGMOD-2005-GallagherJL #transaction
A high-performance, transactional filestore for application servers (BG, DJ, AL), pp. 868–872.
SIGMODSIGMOD-2005-LometBMSWZ #sql #transaction
Immortal DB: transaction time support for SQL server (DBL, RSB, MFM, GS, RW, YZ), pp. 939–941.
VLDBVLDB-2005-ColohanASM #parallel #transaction
Optimistic Intra-Transaction Parallelism on Chip Multiprocessors (CBC, AA, JGS, TCM), pp. 73–84.
ITiCSEITiCSE-2005-Fekete #education #sql #transaction
Teaching transaction management with SQL examples (AF), pp. 163–167.
FoSSaCSFoSSaCS-2005-LaneveZ #transaction #web
Foundations of Web Transactions (CL, GZ), pp. 282–298.
PLDIPLDI-2005-Herlihy #re-engineering #transaction
The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
SEFMSEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
IFLIFL-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.
CAiSECAiSE-2005-MammarRGSG #named #performance #tool support #transaction
Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
EDOCEDOC-2005-WitthawaskulJ #modelling #transaction #using
Transaction Support Using Unit of Work Modeling in the Context of MDA (WW, REJ), pp. 131–141.
ICEISICEIS-v3-2005-IngvaldsenGHP #enterprise #transaction
Revealing the Real Business Flows from Enterprise Systems Transactions (JEI, JAG, OAH, AP), pp. 254–259.
ICEISICEIS-v4-2005-DaniGP #transaction
Auction Based System for Electronic Commerce Transaction (ARD, VPG, AKP), pp. 16–23.
CIKMCIKM-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.
MLDMMLDM-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.
SEKESEKE-2005-SongPCZ #specification #transaction #uml #verification
Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
PPDPPPDP-2005-Wojciechowski #transaction #type system #version control
Isolation-only transactions by typing and versioning (PTW), pp. 70–81.
SACSAC-2005-KanedaTET #fault tolerance #object-oriented #transaction
Transactional agent model for fault-tolerant object systems (TK, YT, TE, MT), pp. 1133–1138.
SACSAC-2005-LiWLC #mobile #realtime #transaction
Mobile real-time read-only transaction processing in data broadcast environments (GL, HW, YL, JC), pp. 1176–1177.
SACSAC-2005-SongR #transaction
Finding frequent itemsets by transaction mapping (MS, SR), pp. 488–492.
ICSEICSE-2005-DengFC #database #testing #transaction
Testing database transactions with AGENDA (YD, PGF, DC), pp. 78–87.
HPCAHPCA-2005-AnanianAKLL #bound #memory management #transaction
Unbounded Transactional Memory (CSA, KA, BCK, CEL, SL), pp. 316–327.
PPoPPPPoPP-2005-HarrisMPH #composition #memory management #transaction
Composable memory transactions (TH, SM, SLPJ, MH), pp. 48–60.
ICLPICLP-2005-Santos #concurrent #logic #semantics #transaction #using
Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.
CBSECBSE-2004-Loecher #component #development #modelling #transaction
Model-Based Transaction Service Configuration for Component-Based Development (SL), pp. 302–309.
DACDAC-2004-DebJO #design #modelling #paradigm #transaction
System design for DSP applications in transaction level modeling paradigm (AKD, AJ, ), pp. 466–471.
DACDAC-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.
SIGMODSIGMOD-2004-GraefeZ #transaction
Transaction support for indexed views (GG, MJZ).
SIGMODSIGMOD-2004-Gudgin #architecture #reliability #web #web service
Secure, Reliable, Transacted; Innovation in Web Services Architecture (MG), pp. 879–880.
SIGMODSIGMOD-2004-Little #modelling #transaction #web #web service
Models for Web Services Transactions (MCL), p. 872.
VLDBVLDB-2004-HarizopoulosA #towards #transaction
STEPS towards Cache-resident Transaction Processing (SH, AA), pp. 660–671.
VLDBVLDB-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.
ESOPESOP-2004-VitekJWH #design #framework #semantics #transaction
A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.
FASEFASE-2004-Bocchi #composition #transaction
Compositional Nested Long Running Transactions (LB), pp. 194–208.
FASEFASE-2004-HubbersP #java #reasoning #transaction
Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
IWPCIWPC-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.
SEFMSEFM-2004-HeJ #transaction #verification
Verification of the WAP Transaction Layer (YTH, RJ), pp. 366–375.
ICEISICEIS-v1-2004-AbdouliSAB #distributed #realtime #transaction
Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEISICEIS-v1-2004-BebelKMW #concept #transaction
Transaction Concepts for Supporting Changes in Data Warehouses (BB, ZK, TM, RW), pp. 290–297.
ICEISICEIS-v1-2004-ChenY #database #fuzzy #multi #transaction
Fuzzy Multiple-Level Sequential Patterns Discovery from Customer Transaction Databases (AC, HY), pp. 434–440.
ICEISICEIS-v1-2004-Frank #database #design #performance #transaction
Transaction Design for Databases with High Performance and Availability (LF), pp. 222–226.
ICEISICEIS-v1-2004-Saad-BouzefraneB #distributed #multi #transaction
A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.
ICEISICEIS-v1-2004-WangJL #process #transaction
A Transaction Model for Long Running Business Processes (JW, BJ, JL), pp. 267–274.
ICEISICEIS-v2-2004-BarkerD #database #transaction
An Intelligent Tutoring System for Database Transaction Processing (SB, PD), pp. 197–203.
ICEISICEIS-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.
ICEISICEIS-v4-2004-RoqueOL #framework #transaction
Solving Transactional Control in Current Management Frameworks (VR, JLO, RPL), pp. 523–526.
CIKMCIKM-2004-JingYKT #locality #performance #similarity #transaction
Localized signature table: fast similarity search on transaction data (QJ, RY, PK, AKHT), pp. 314–323.
SEKESEKE-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.
ECOOPECOOP-2004-WelcJH #concurrent #monitoring #transaction
Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.
RERE-2004-CorreaW #precise #specification #transaction #validation
Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
SACSAC-2004-CarswellGN #dataset #multi #semantics #transaction
Wireless spatio-semantic transactions on multimedia datasets (JDC, KG, MN), pp. 1201–1205.
SACSAC-2004-PalmeriniOP #database #statistics #transaction
Statistical properties of transactional databases (PP, SO, RP), pp. 515–519.
ASPLOSASPLOS-2004-HammondCWHCKO #consistency #programming #transaction
Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.
ASEASE-2003-DengFC #concurrent #database #testing #transaction
Testing Database Transaction Concurrency (YD, PGF, ZC), pp. 184–195.
DACDAC-2003-AgostaBS #modelling #static analysis #transaction
Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.
DATEDATE-2003-AraS #component #transaction #verification
A Proposal for Transaction-Level Verification with Component Wrapper Language (KA, KS), pp. 20082–20087.
DATEDATE-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.
DATEDATE-2003-MoussaGN #modelling #performance #transaction #using
Exploring SW Performance Using SoC Transaction-Level Modeling (IM, TG, GN), pp. 20120–20125.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2003-Zeller #data type #sql #transaction
NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDBVLDB-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.
FASEFASE-2003-BeckertM #java #logic #transaction
A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
CSMRCSMR-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.
FMFME-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.
AdaEuropeAdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.
CAiSECAiSE-2003-HeuvelW #contract #coordination #transaction
Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.
ICEISICEIS-v2-2003-SrikumarB #algorithm #mining #set #transaction
An Algorithm for Mining Maximal Frequent Sets Based on Dominancy of Transactions (KS, BB), pp. 422–425.
ICEISICEIS-v4-2003-KaracapilidisLM #transaction
An Agent-Mediated Marketplace for Transportation Transactions (NIK, AL, PM), pp. 238–243.
OOPSLAOOPSLA-2003-HarrisF #lightweight #transaction
Language support for lightweight transactions (TLH, KF), pp. 388–402.
SACSAC-2003-LopezNRR #multi #transaction
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs (NL, MN, IR, FR), pp. 587–594.
SACSAC-2003-MancoOS #clustering #similarity #transaction #web
Similarity-Based Clustering of Web Transactions (GM, RO, DS), pp. 1212–1216.
VLDBVLDB-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.
WRLAWRLA-2002-BruniMM #logic #transaction
Tiling Transactions in Rewriting Logic (RB, JM, UM), pp. 90–109.
WCREWCRE-2002-TanT #fault #program analysis #transaction #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
AdaEuropeAdaEurope-2002-Patino-MartinezJKA #concurrent #transaction
Concurrency Control in Transactional Drago (MPM, RJP, JK, SA), pp. 309–320.
ICEISICEIS-2002-LowLT #database #detection #named #transaction
DIDAFIT: Detecting Intrusions in Databases Through Fingerprinting Transactions (WLL, JL, PT), pp. 121–128.
ICEISICEIS-2002-SadegSA #distributed #named #protocol #realtime #transaction
D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions (BS, SSB, LA), pp. 171–178.
ICEISICEIS-2002-ShinkawaM #database #design #transaction
State-Sensitive Design of Database Transactions (YS, MJM), pp. 282–289.
CIKMCIKM-2002-GrabsBS #documentation #named #performance #transaction #xml
XMLTM: efficient transaction management for XML documents (TG, KB, HJS), pp. 142–152.
KDDKDD-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.
KDDKDD-2002-YangGY #algorithm #clustering #effectiveness #named #performance #transaction
CLOPE: a fast and effective clustering algorithm for transactional data (YY, XG, JY), pp. 682–687.
SACSAC-2002-BusiZ #on the #transaction
On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
SACSAC-2002-HuyS #transaction
Agent-based mobility add-in feature for Object Transaction Service (OTS) (HPH, SS), pp. 68–75.
SACSAC-2002-JiangYWS #named #transaction
CovaTM: a transaction model for cooperative applications (JJ, GY, YW, MS), pp. 329–335.
ASPLOSASPLOS-2002-RajwarG #execution #source code #transaction
Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.
DACDAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification
A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
PODSPODS-2001-Schuldt #execution #order #process #protocol #transaction
Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).
VLDBVLDB-2001-JensenL #database #transaction
Transaction Timestamping in (Temporal) Databases (CSJ, DBL), pp. 441–450.
WCREWCRE-2001-EmburyS #comprehension #legacy #transaction
Assisting the Comprehension of Legacy Transactions (SME, JS), p. 345–?.
FMFME-2001-HartelBJL #memory management #smarttech
Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.
AdaEuropeAdaEurope-2001-KienzleJRM #ada #transaction
Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.
EDOCEDOC-2001-TaiMRS #distributed #named #transaction
Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.
ICEISICEIS-v2-2001-PerkinsD #architecture #collaboration #transaction
Collaborative Systems Architecture to Reduce Transaction Costs in E-Business (JP, SD), pp. 1155–1161.
CIKMCIKM-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.
KDDKDD-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.
KDDKDD-2001-LambertP #mining #transaction
Mining a stream of transactions for customer patterns (DL, JCP), pp. 305–310.
KDDKDD-2001-PavlovS #modelling #probability #query #transaction
Probabilistic query models for transaction data (DP, PS), pp. 164–173.
SEKESEKE-2001-TanTL #design #fault #transaction
Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.
TOOLSTOOLS-EUROPE-2001-TranG #corba #scalability #transaction
Analyzing the Scalability of Transactional CORBA Applications (PT, IG), pp. 102–110.
TOOLSTOOLS-USA-2001-AlagarP #formal method #named #specification #transaction
BTOZ: A Formal Specification Language for Formalizing Business Transactions (VSA, KP), pp. 240–252.
SACSAC-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.
SACSAC-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.
SACSAC-2001-PandaY #information management #transaction
Transaction fusion in the wake of information warfare (BP, RY), pp. 242–247.
PODSPODS-2000-LechtenborgerV #on the #semantics #transaction
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.
SIGMODSIGMOD-2000-HsiaoN #named #transaction
DLFM: A Transactional Resource Manager (HIH, IN), pp. 518–528.
VLDBVLDB-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.
CAiSECAiSE-2000-ObermairS #execution #transaction
Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.
TOOLSTOOLS-ASIA-2000-YongLJJ #corba #transaction
OTMS-A CORBA-Compliant Object Transaction Management System (QY, ML, ZJ, SJ), pp. 126–133.
SACSAC-2000-AmirbekyanZ #corba #performance #transaction
The Role of Transaction Management in CORBA/ODB Integrated Systems’ Performance (VA, KZ), pp. 733–740.
SACSAC-2000-Jimenez-PerisPA #concurrent #transaction
Concurrent Transactional Replicated Servers (RJP, MPM, SA), pp. 655–660.
SACSAC-2000-KrishnamoorthyS #transaction #workflow
Virtual Transaction Model to Support Workflow Applications (VK, MCS), pp. 876–881.
SACSAC-2000-SrinivasaS #behaviour #transaction
Discerning Behavioral Properties by Analyzing Transaction Logs (SS, MS), pp. 281–282.
LCTESLCTES-2000-ChildersN #memory management #order #power management #transaction
Reordering Memory Bus Transactions for Reduced Power Consumption (BRC, TN), pp. 146–161.
PODSPODS-1999-AlonsoFPS #component #correctness #transaction
Correctness in General Configurations of Transactional Components (GA, AF, GP, HJS), pp. 285–293.
PODSPODS-1999-Bonner #datalog #transaction #workflow
Workflow, Transactions, and Datalog (AJB), pp. 294–305.
PODSPODS-1999-SchuldtAS #concurrent #process #transaction
Concurrency Control and Recovery in Transactional Process Management (HS, GA, HJS), pp. 316–326.
SIGMODSIGMOD-1999-DoRD #distributed #transaction
The Need for Distributed Asynchronous Transactions (LD, PR, PD), pp. 534–535.
SIGMODSIGMOD-1999-Team #approach #data transformation #in memory #transaction
In-Memory Data Management for Consumer Transactions The Times-Ten Approach (TTT), pp. 528–529.
SIGMODSIGMOD-1999-ZhouLP #named #process #transaction
TAM: A System for Dynamic Transactional Activity Management (TZ, LL, CP), pp. 571–573.
FMFM-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.
ICFPICFP-1999-ShiversCM #transaction
Atomic Heap Transactions and Fine-grain Interrupts (OS, JWC, RM), pp. 48–59.
HCIHCI-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.
CAiSECAiSE-1999-Oh #architecture #design #transaction #using
The Design of Cooperative Transaction Model by Using Client-Server Architecture (Abstract) (AsO), p. 269.
EDOCEDOC-1999-ArshadAS #corba #e-commerce #framework #transaction
A CORBA based framework for trusted E-commerce transactions (KMA, YA, MYS), pp. 18–25.
CIKMCIKM-1999-FengLYH #mining #transaction
Mining Inter-Transaction Associations with Templates (LF, HL, JXY, JH), pp. 225–233.
CIKMCIKM-1999-WangXL #clustering #scalability #transaction #using
Clustering Transactions Using Large Items (KW, CX, BL), pp. 483–490.
KDDKDD-1999-TungLHF #mining #transaction
Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.
TOOLSTOOLS-ASIA-1999-XuGC #collaboration #transaction
A Model of Collaborative Systems Transactions (XX, JG, PC), pp. 406–413.
SACSAC-1999-WalbornC #transaction
Transaction Processing in PRO-MOTION (GDW, PKC), pp. 389–398.
HTHT-1998-YangK #named #transaction #web
JPernLite: An Extensible Transaction Server for the World Wide Web (JJY, GEK), pp. 256–266.
SIGMODSIGMOD-1998-Chan #database #multi #transaction
Transactional Publish / Subscribe: The Proactive Multicast of Database Changes (AC), p. 521.
SIGMODSIGMOD-1998-Kennamer #data transformation #transaction
Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.
VLDBVLDB-1998-Tygar #distributed #transaction
Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce (JDT), pp. 1–12.
AdaEuropeAdaEurope-1998-Patino-MartinezJA #ada #fault tolerance #transaction
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
EDOCEDOC-1998-LittleS #transaction #web
Integrating the Object Transaction Service with the Web (MCL, SKS), pp. 194–205.
CIKMCIKM-1998-DirckzeG #mobile #multi #transaction
A Toggle Transaction Management Technique for Mobile Multidatabases (RAD, LG), pp. 371–377.
CIKMCIKM-1998-ZhouPL #implementation #process #transaction #workflow
Dynamic Restructuring of Transactional Workflow Activities: A Practical Implementation Method (TZ, CP, LL), pp. 378–385.
KRKR-1998-InoueS #abduction #specification #transaction
Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.
TOOLSTOOLS-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.
SACSAC-1998-Murthy #mobile #paradigm #transaction #workflow
Transactional workflow paradigm: its application to mobile computing (VKM), pp. 424–432.
SACSAC-1998-Patino-MartinezJA #ada #distributed #transaction
Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.
HPDCHPDC-1998-KanitkarD #transaction
Two-Stage Transaction Processing in Client-Server DBMSs (VK, AD), pp. 98–105.
SIGMODSIGMOD-1997-GeorgeH #database #realtime #transaction
Secure Transaction Processing in Firm Real-Time Database Systems (BG, JRH), pp. 462–473.
VLDBVLDB-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.
VLDBVLDB-1997-KumarKA #framework #named #network #process #transaction
Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks (SK, EKK, DA), pp. 585–589.
VLDBVLDB-1997-LlirbatST #transaction #using
Using Versions in Update Transactions: Application to Integrity Checking (FL, ES, DT), pp. 96–105.
VLDBVLDB-1997-WildfogelY #performance #testing #transaction
Efficient Testing of High Performance Transaction Processing Systems (DW, RY), pp. 595–598.
CAiSECAiSE-1997-BarrosHP #modelling #towards #transaction #workflow
Towards Real-Scale Business Transaction Workflow Modelling (APB, AHMtH, HAP), pp. 437–450.
CAiSECAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction
Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.
CAiSECAiSE-1997-Puustjarvi #approach #automation #transaction #workflow
Negotiation Transactions: An Approach to Increase the Automation of Workflows (JP), pp. 89–102.
EDOCEDOC-1997-Grasso #corba #implementation #transaction
Implementing interposition in CORBA Object Transaction Service (EG), pp. 184–189.
EDOCEDOC-1997-Hull #transaction
Global Predicate-Based Locks in Long-Running Transactions (RH), p. 197–?.
CIKMCIKM-1997-DogduO #execution #realtime #transaction
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, ), pp. 301–308.
CIKMCIKM-1997-LeeM #scheduling #transaction #validation
Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
CIKMCIKM-1997-TeschW #multi #transaction
Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.
SACSAC-1997-ChundiRR #database #distributed #multi #transaction
Multi-site distributed database transactions utilizing deferred update (PC, DJR, SSR), pp. 118–122.
SACSAC-1997-Panda #approach #multi #transaction
An alternative approach to serialization of multilevel secure Transactions (BP), pp. 134–135.
SACSAC-1997-WalbornC #mobile #transaction
PRO-MOTION : Management of Mobile Transactions (GDW, PKC), pp. 101–108.
SOSPSOSP-1997-LowellC #transaction
Free Transactions With Rio Vista (DEL, PMC), pp. 92–101.
ICLPILPS-1997-Kifer #logic #transaction
Transaction Logic: An Introduction (Abstract) (MK), pp. 47–48.
PODSPODS-1996-BenediktGL #database #transaction
Verifiable Properties of Database Transactions (MB, TG, LL), pp. 117–127.
PODSPODS-1996-Wong #database #transaction
Recovery for Transaction Failures in Object-Based Databases (MHW), pp. 139–149.
VLDBVLDB-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.
CAiSECAiSE-1996-PuustjarviTV #transaction #workflow
Managing Overlapping Transactional Workflows (JP, HT, JV), pp. 345–361.
CAiSECAiSE-1996-WeigandVD #approach #modelling #transaction
Interoperable Transactions in Business Models: A Structured Approach (HW, EV, FD), pp. 193–209.
SIGIRSIGIR-1996-KamathR #information management #information retrieval #performance #transaction
Efficient Transaction Support for Dynamic Information Retrieval Systems (MK, KR), pp. 147–155.
SACSAC-1996-NascimentoD #database #transaction
Indexing a transaction-decision time database (MAN, MHD), pp. 166–172.
CAVCAV-1996-ParkD #distributed #protocol #transaction #verification
Protocol Verification by Aggregation of Distributed Transactions (SP, DLD), pp. 300–310.
ICLPJICSLP-1996-BonnerK #communication #concurrent #logic #transaction
Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.
SIGMODSIGMOD-1995-Gettys #challenge #transaction
DIRECTV and Oracle Rdb: The Challenges of VLDB Transaction Processing (WLG), pp. 429–430.
SIGMODSIGMOD-1995-Hope #enterprise #transaction
Enterprise Transaction Processing on Windows NT (GH), pp. 431–432.
VLDBVLDB-1995-AmmannJR #formal method #semantics #transaction #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
VLDBVLDB-1995-BargaP #composition #implementation #modelling #transaction
A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.
VLDBVLDB-1995-Korth #abstraction #concept #evolution #transaction
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.
VLDBVLDB-1995-RusinkiewiczKTWM #process #towards #transaction
Towards a Cooperative Transaction Model — The Cooperative Activity Model (MR, WK, TT, JW, PM), pp. 194–205.
AdaEuropeAdaEurope-1995-CornwellW #object-oriented #realtime #specification #transaction
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (PC, AJW), pp. 365–378.
CAiSECAiSE-1995-Pastor-ColladoO #concept #design #information management #modelling #transaction
Supporting Transaction Design in Conceptual Modelling of Information Systems (JAP, AO), pp. 40–53.
CIKMCIKM-1995-ElmagarmidJB #algorithm #mobile #performance #reliability #transaction
An Efficient and Reliable Reservation Algorithm for Mobile Transactions (AKE, JJ, OAB), pp. 90–95.
CIKMCIKM-1995-KourmajianDFB #collaboration #framework #named #transaction
Consortium: A Framework for Transaction Collaborative Environments (VK, RD, JF, DGB), pp. 260–265.
CIKMCIKM-1995-TangV #concept #transaction
Transaction-oriented Work-flow Concepts in Inter-Organizational Environments (JT, JV), pp. 250–259.
CIKMCIKM-1995-Wieczerzycki #database #design #transaction
Long-Duration Transaction Support in Design Databases (WW), pp. 362–369.
ICLPICLP-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.
PODSPODS-1994-AgrawalBAK #approach #transaction
Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions (DA, JLB, AEA, VK), pp. 139–149.
SIGMODSIGMOD-1994-BilirisDGJR #named #transaction
ASSET: A System for Supporting Extended Transactions (AB, SD, NHG, HVJ, KR), pp. 44–54.
SIGMODSIGMOD-1994-Mohan #bibliography #modelling #transaction
A Survey and Critique of Advanced Transaction Models (CM), p. 521.
SIGMODSIGMOD-1994-SinghTW #transaction
Relaxed Transaction Processing (MPS, CT, DW), p. 505.
SIGMODSIGMOD-1994-ZhangNBB #flexibility #multi #transaction
Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems (AZ, MHN, BKB, OAB), pp. 67–78.
VLDBVLDB-1994-FuC #database #replication #transaction
A Transaction Replication Scheme for a Replicated Database with Node Autonomy (AWCF, DWLC), pp. 214–225.
CAiSECAiSE-1994-ConradiHL #transaction
Planning Support for Cooperating Transactions in EPOS (RC, MH, CL), pp. 2–13.
CAiSECAiSE-1994-SanchoO #concept #deduction #information management #modelling #specification #transaction
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems (MRS, AO), pp. 311–324.
CIKMCIKM-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.
CIKMCIKM-1994-Jain #transaction
Group Formation Mechanisms for Transactions in ISIS (NKJ), pp. 203–210.
CIKMCIKM-1994-PalL #database #object-oriented #transaction
Isolation of Transaction Aborts in Object-Oriented Database Management Systems (SP, SL), pp. 179–186.
CIKMCIKM-1994-SoparkarLKS #adaptation #distributed #realtime #transaction
Adaptive Commitment for Distributed Real-Time Transactions (NS, EL, HFK, AS), pp. 187–194.
SACSAC-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.
SACSAC-1994-PandaPH #database #multi #query #transaction
Secure transaction management and query processing in multilevel secure database systems (BP, WP, RAH), pp. 363–368.
PODSPODS-1993-Raz #order #transaction
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.
SIGMODSIGMOD-1993-HongJC #approach #realtime #scheduling #transaction
Real-Time Transaction Scheduling: A Cost Conscious Approach (DH, TJ, SC), pp. 197–206.
SIGMODSIGMOD-1993-KleinU #constraints #transaction
Open DECdtm: Constraint Based Transaction Management (JK, FUI), pp. 430–433.
SIGMODSIGMOD-1993-MuthR #database #transaction #visualisation
VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.
SIGMODSIGMOD-1993-Sherman #architecture #distributed #product line #transaction
Architecture of the Encina Distributed Transaction Processing Family (MS), pp. 460–463.
VLDBVLDB-1993-BernsteinGW #named #transaction
STDL — A Portable Language for Transaction Processing (PAB, POG, TW), pp. 218–229.
VLDBVLDB-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.
CIKMCIKM-1993-HelalKEM #adaptation #scheduling #transaction
Adaptive Transaction Scheduling (AH, THK, RE, SM), pp. 704–713.
CIKMCIKM-1993-Lee #algorithm #precise #transaction
Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.
CIKMCIKM-1993-MontesiB #constraints #query #transaction
Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.
ESECESEC-1993-Godart #coordination #developer #named #transaction
COO: A Transaction Model to Support COOperating Software Developers COOrdination (CG), pp. 361–379.
ICSEICSE-1993-TarrS #development #programming #transaction
Programming Heterogeneous Transactions for Software Development Environments (PLT, SMSJ), pp. 358–369.
ICLPICLP-1993-BonnerK #logic programming #transaction
Transaction Logic Programming (AJB, MK), pp. 257–279.
PODSPODS-1992-AgrawalAJ #approach #protocol #transaction
An Approach to Eliminate Transaction Blocking in Locking Protocols (DA, AEA, RJ), pp. 223–235.
PODSPODS-1992-MehrotraRBKS #multi #transaction
Ensuring Transaction Atomicity in Multidatabase Systems (SM, RR, YB, HFK, AS), pp. 164–175.
SIGMODSIGMOD-1992-Chou #database #design #implementation #persistent #transaction
The Design and Implementation of Persistent Transactions in an Object Database System (HTC), p. 319.
SIGMODSIGMOD-1992-Descollonges #concurrent #transaction
A Concurrency Model for Transaction Management (MD), p. 164.
SIGMODSIGMOD-1992-Gray #benchmark #database #metric #transaction
Database and Transaction Processing Benchmarks (JG), p. 6.
SIGMODSIGMOD-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.
SIGMODSIGMOD-1992-PolyzoisG #algorithm #evaluation #transaction
Evaluation of Remote Backup Algorithms for Transaction Processing Systems (CAP, HGM), pp. 246–255.
SIGMODSIGMOD-1992-Rahm #architecture #evaluation #performance #transaction
Performance Evaluation of Extended Storage Architectures for Transaction Processing (ER), pp. 308–317.
SIGMODSIGMOD-1992-ShashaSV #transaction
Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.
VLDBVLDB-1992-AnsariNRS #flexibility #multi #transaction #using
Using Flexible Transactions to Support Multi-System Telecommunication Applications (MA, LN, MR, APS), pp. 65–76.
VLDBVLDB-1992-JagadishS #transaction
Proclamation-Based Model for Cooperating Transactions (HVJ, OS), pp. 265–276.
VLDBVLDB-1992-SalzbergD #online #transaction
Principles of Transaction-Based On-Line Reorganization (BS, AD), pp. 511–520.
SASWSA-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.
SEKESEKE-1992-WangG #algorithm #concurrent #transaction
An Optomized Concurrency Control Algorithm for Transaction Brocessing (SW, UOG), pp. 9–16.
ECOOPECOOP-1992-McCue #object-oriented #transaction
Developing a Class Hierarchy for Object-Oriented Transaction Processing (DLM), pp. 413–426.
SOSPSOSP-WIP-1991-Young92 #lazy evaluation #metadata #named #transaction
Episode: Lazy Transactions for Filesystem Meta-Data Updates (Abstract) (MWY), p. 20.
ASPLOSASPLOS-1992-KubiatowiczCA #memory management #multi #transaction
Closing the Window of Vulnerability in Multiphase Memory Transactions (JK, DC, AA), pp. 274–284.
SIGMODSIGMOD-1991-AgrawalK #execution #multi #transaction #using
Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
SIGMODSIGMOD-1991-LevyKS #commit #distributed #protocol #transaction
An Optimistic Commit Protocol for Distributed Transaction Management (EL, HFK, AS), pp. 88–97.
VLDBVLDB-1991-ChrysanthisR #transaction
A Formalism for Extended Transaction Model (PKC, KR), pp. 103–112.
VLDBVLDB-1991-DayalHL #process #transaction
A Transactional Model for Long-Running Activities (UD, MH, RL), pp. 113–122.
VLDBVLDB-1991-HasseW #evaluation #multi #performance #transaction
A Performance Evaluation of Multi-Level Transaction Management (CH, GW), pp. 55–66.
VLDBVLDB-1991-HeissW #adaptation #transaction
Adaptive Load Control in Transaction Processing Systems (HUH, RW), pp. 47–54.
VLDBVLDB-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.
FMVDME-1991-1-SmithK #development #transaction
The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.
AdaEuropeAdaEurope-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.
CAiSECAiSE-1991-ConradiM #design #implementation #transaction
Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation (RC, CCM), pp. 375–392.
OOPSLAOOPSLA-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.
SOSPSOSP-1991-SchmuckW #experience #transaction
Experience with Transactions in QuickSilver (FBS, JCW), pp. 239–253.
ICLPICLP-1991-Bottcher #logic programming #on the #programming language #transaction
On Transactions in Logic Programming Languages (SB), p. 889.
PODSPODS-1990-FeketeLW #graph #transaction
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
PODSPODS-1990-TamH #fine-grained #migration #transaction
Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.
SIGMODSIGMOD-1990-BreitbartST #multi #reliability #transaction
Reliable Transaction Management in a Multidatabase System (YB, AS, GRT), pp. 215–224.
SIGMODSIGMOD-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.
SIGMODSIGMOD-1990-DayalHL #process #transaction
Organizing Long-Running Activities with Triggers and Transactions (UD, MH, RL), pp. 204–214.
VLDBVLDB-1990-ElmagarmidLLR #multi #transaction
A Multidatabase Transaction Model for InterBase (AKE, YL, WL, MR), pp. 507–518.
VLDBVLDB-1990-KorthLS #approach #formal method #transaction
A Formal Approach to Recovery by Compensating Transactions (HFK, EL, AS), pp. 95–106.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-1990-NodineZ #design #transaction
Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications (MHN, SBZ), pp. 83–94.
VLDBVLDB-1990-Qian #database #transaction
Synthesizing Database Transactions (XQ), pp. 552–565.
VLDBVLDB-1990-SeltzerS #file system #transaction
Transaction Support in Read Optimizied and Write Optimized File Systems (MIS, MS), pp. 174–185.
PODSPODS-1989-FuK #concurrent #transaction
Concurrency Control of Nested Transactions Accessing B-Trees (AWCF, TK), pp. 270–285.
VLDBVLDB-1989-AbbottG #realtime #scheduling #transaction
Scheduling Real-Time Transactions with Disk Resident Data (RKA, HGM), pp. 385–396.
VLDBVLDB-1989-RothermelM #named #transaction
ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.
SOSPSOSP-1989-Duchamp #analysis #performance #transaction
Analysis of Transaction Management Performance (DD), pp. 177–190.
ICLPNACLP-1989-KrishnamurthyNZ #database #transaction
Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.
PODSPODS-1988-HadzilacosH #transaction
Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.
SIGMODSIGMOD-1988-GarzaK #database #object-oriented #transaction
Transaction Management in an Object-Oriented Database System (Invited Paper) (JFG, WK), pp. 37–45.
SIGMODSIGMOD-1988-Group #benchmark #metric #sql #transaction
A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.
SIGMODSIGMOD-1988-KumarS #semantics #transaction
Semantics Based Transaction Management Techniques for Replicated Data (AK, MS), pp. 117–125.
SIGMODSIGMOD-1988-QianW #database #logic #specification #transaction
A Transaction Logic for Database Specification (XQ, RJW), pp. 243–250.
VLDBVLDB-1988-AbbottG #evaluation #performance #realtime #scheduling #transaction
Scheduling Real-time Transactions: a Performance Evaluation (RKA, HGM), pp. 1–12.
VLDBVLDB-1988-AspnesFLMW #concurrent #formal method #transaction
A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.
VLDBVLDB-1988-Bhide #analysis #architecture #transaction
An Analysis of Three Transaction Processing Architectures (AB), pp. 339–350.
VLDBVLDB-1988-PuKH #process #transaction
Split-Transactions for Open-Ended Activities (CP, GEK, NCH), pp. 26–37.
CSCWCSCW-1988-CiborraO #perspective #transaction
Encountering Electronic Work Groups: A Transaction Costs Perspective (CC, MHO), pp. 94–101.
PODSPODS-1987-FeketeLMW #transaction
Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.
PODSPODS-1987-KarabegKPV #axiom #relational #transaction
Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.
PODSPODS-1987-SegallW #communication #transaction
Transaction Commitment at Minimal Communication Cost (AS, OW), pp. 112–118.
SIGMODSIGMOD-1987-DanielsST #distributed #transaction
Distributed Logging for Transaction Processing (DSD, AZS, DST), pp. 82–96.
SIGMODSIGMOD-1987-HarderR #concept #transaction
Concepts for Transaction Recovery in Nested Transactions (TH, KR), pp. 239–248.
SIGMODSIGMOD-1987-McKenzieS #algebra #relational #transaction
Extending the Relational Algebra to Support Transaction Time (LEM, RTS), pp. 467–478.
SIGMODSIGMOD-1987-Mohan #architecture #transaction
Directions in System Architectures for High Transaction Rates (CM), p. 6.
SIGMODSIGMOD-1987-StempleMS #design #feedback #on the #transaction
On the Modes and Meaning of Feedback to Transaction Designers (DWS, SM, TS), pp. 374–386.
VLDBVLDB-1987-KumarS #evaluation #operating system #performance #transaction
Performance Evaluation of an Operating System Transaction Manager (AK, MS), pp. 473–481.
VLDBVLDB-1987-Moss #transaction
Log-Based Recovery for Nested Transactions (JEBM), pp. 427–432.
PODSPODS-1986-AbiteboulV #transaction
Deciding Properties of Transactional Schemas (SA, VV), pp. 235–239.
PODSPODS-1986-Hadzilacos #transaction
Deleting Completed Transactions (TH, MY), pp. 43–46.
PODSPODS-1985-AbiteboulV #constraints #transaction
Transactions and Integrity Constraints (SA, VV), pp. 193–204.
PODSPODS-1985-TuzhilinS #approach #concurrent #correctness #semantics #transaction
A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.
PODSPODS-1985-WolfsonY #database #distributed #safety #transaction
Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.
SIGMODSIGMOD-1985-AcharyaB #database #prolog #transaction
Transaction Restarts in Prolog Database Systems (SA, GNB), pp. 364–373.
SIGMODSIGMOD-1985-KlaholdSUW #information management #transaction
A Transaction Model Supporting Complex Applications in Integrated Information Systems (PK, GS, RU, WW), pp. 388–401.
SIGMODSIGMOD-1985-SinhaNM #certification #database #distributed #transaction
Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDBVLDB-1985-BancilhonKK #transaction
A Model of CAD Transactions (FB, WK, HFK), pp. 25–33.
SOSPSOSP-1985-SpectorDDEP #distributed #reliability #transaction
Distributed Transactions for Reliable Systems (AZS, DSD, DD, JLE, RFP), pp. 127–146.
SOSPSOSP-1985-WeinsteinPLP #distributed #operating system #transaction
Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
DACDAC-1984-KatzW #design #transaction
Design transaction management (RHK, SW), pp. 692–693.
PODSPODS-1984-GrahamGS #database #reliability #scheduling #transaction
Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.
VLDBVLDB-1984-AbiteboulV #database #relational #transaction
Transactions in Relational Databases (Preliminary Report) (SA, VV), pp. 46–56.
VLDBVLDB-1984-KimLMP #database #design #transaction
A Transaction Mechanism for Engineering Design Databases (WK, RAL, DM, WP), pp. 355–362.
VLDBVLDB-1984-LaiW #distributed #transaction
Distributed Transaction Management in Jasmin (MYL, WKW), pp. 466–470.
VLDBVLDB-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.
VLDBVLDB-1984-WeikumS #architecture #multi #transaction
Architectural Issues of Transaction Management in Multi-Layered Systems (GW, HJS), pp. 454–465.
SIGIRSIGIR-1984-Schek #architecture #transaction
Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.
SIGIRSIGIR-1984-Tolle #analysis #evaluation #information management #monitoring #transaction
Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.
PODSPODS-1983-Lynch #concurrent #transaction
Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.
SIGIRSIGIR-1983-Tolle #analysis #online #transaction
Transactional Log Analysis: Online Catalogs (JT), pp. 147–160.
SOSPSOSP-1983-MuellerMP #transaction
A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.
PODSPODS-1982-KrishnamurthyD #parallel #transaction
Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.
PODSPODS-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.
SIGMODSIGMOD-1982-RollandR #modelling #transaction
Transaction Modeling (CR, CR), pp. 265–275.
VLDBVLDB-1982-NeumannH #consistency #database #transaction
Consistency and Transactions in CAD Database (TN, CH), pp. 181–188.
VLDBVLDB-1982-Xu #concurrent #formal method #transaction
A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets (JX), pp. 77–90.
VLDBVLDB-1981-Borr #distributed #monitoring #reliability #transaction
Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
VLDBVLDB-1981-Gray #concept #transaction
The Transaction Concept: Virtues and Limitations (Invited Paper) (JG), pp. 144–154.
VLDBVLDB-1981-LeonardL #approach #design #information management #transaction
Information Systems Design Approach Integrating Data and Transactions (ML, BTL), pp. 235–246.
VLDBVLDB-1981-Sakai #concept #design #transaction
A Method for Defining Information Structures and Transactions in Conceptual Schema Design (HS), pp. 225–234.
VLDBVLDB-1980-Walter #database #distributed #transaction
Strategies for Handling Transactions in Distributed Data Base Systems During Recovery (BW), pp. 384–389.
ICALPICALP-1980-Gray #transaction
A Transaction Model (JG), pp. 282–298.
SIGMODSIGMOD-1979-IraniL #concurrent #database #modelling #network #transaction
Queuing Network Models for Concurrent Transaction Processing in a Database System (KBI, HLL), pp. 134–142.
VLDBVLDB-1979-BreitwieserK #distributed #transaction
Transaction and Catalog Management of the Distributed File Management System DISCO (HB, UK), pp. 340–350.
VLDBVLDB-1979-GardarinM #consistency #database #proving #transaction
Proving Consistency of Database Transactions (GG, MAM), pp. 291–298.
SOSPSOSP-1979-Paxton #maintenance #transaction
A Client-Based Transaction System to Maintain Data Integrity (WHP), pp. 18–23.
VLDBVLDB-J-1975-Hsiao76 #database #transaction
ACM Transactions on Database Systems — Aim and Scope (DKH), pp. 1–2.
VLDBVLDB-1975-Hackathorn #database #empirical #process #scalability #transaction
Analyzing Transaction Activity to a Large Data Base: An Empirical Study (RDH), pp. 502–504.
SIGMODSIGFIDET-1974-Sayani #information management #transaction
Restart and Recovery in a Transaction-Oriented Information Processing System (HHS), pp. 351–366.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.