BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
transaction
Google transaction

Tag #transaction

680 papers:

ASPLOSASPLOS-2020-RamanathanKMFDM #memory management
Durable Transactional Memory Can Scale with Timestone (MKR, JK, AM, XF, AD, CM, SK), pp. 335–349.
CGOCGO-2020-WangYZM #hardware #memory management #performance #scalability
Efficient and scalable cross-ISA virtualization of hardware transactional memory (WW, PCY, AZ, SM), pp. 107–120.
ECSAECSA-2019-NunesSS #approach #architecture
From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts (LN, NS0, ARS), pp. 37–52.
OOPSLAOOPSLA-2019-BiswasE #complexity #consistency #on the
On the complexity of checking transactional consistency (RB, CE), p. 28.
OOPSLAOOPSLA-2019-RaadWV #formal method #modelling #semantics
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models (AR, JW, VV), p. 27.
PLDIPLDI-2019-RuppelL #concurrent #energy
Transactional concurrency control for intermittent, energy-harvesting computing systems (ER, BL), pp. 1085–1100.
ASEASE-2019-PobeeMC #concurrent #multi #performance #source code #thread
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs (EBP, XM, WKC), pp. 760–771.
SLESLE-2019-SteimannK #editing
Transactional editing: giving ACID to programmers (FS, NK), pp. 202–215.
EDMEDM-2018-PytlarzPPP #network #predict #student #what
What can we learn from college students' network transactions? Constructing useful features for student success prediction (IP, SP, MP, RP).
DiGRADiGRA-2018-Felczak
Aesthetics and Cosmetic Microtransactions in Path of Exile (MF).
PLDIPLDI-2018-ChongSW #c++ #memory management #semantics
The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.
PLDIPLDI-2018-MilanoM #consistency #named
MixT: a language for mixing consistency in geodistributed transactions (MM, ACM), pp. 226–241.
POPLPOPL-2018-DongolJR #architecture #memory management
Transactions in relaxed memory architectures (BD, RJ, JR), p. 29.
ESEC-FSEESEC-FSE-2018-LiuYLJZS #clone detection #detection #named #semantics #sketching
EClone: detect semantic clones in Ethereum via symbolic transaction sketch (HL, ZY, CL, YJ0, WZ, JS), pp. 900–903.
ASPLOSASPLOS-2018-FixNAZQA #hardware #parallel #thread
Hardware Multithreaded Transactions (JF, NPN, SA, HZ, SQ, DIA), pp. 15–29.
FASEFASE-2018-LiuOSWGM #analysis #distributed #formal method #named #protocol
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (SL0, PCÖ, KS, QW0, IG, JM), pp. 77–93.
JCDLJCDL-2017-BenetkaBN #knowledge base #towards
Towards Building a Knowledge Base of Monetary Transactions from a News Collection (JRB, KB, KN), pp. 209–218.
HaskellHaskell-2017-YatesS #performance
Improving STM performance with transactional structs (RY, MLS), pp. 186–196.
KDDKDD-2017-GuidottiMNGP #clustering
Clustering Individual Transactional Data for Masses of Users (RG, AM, MN, FG, DP), pp. 195–204.
AdaEuropeAdaEurope-2017-JeongYB #using
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions (SJ, SY, BB), pp. 121–136.
ASPLOSASPLOS-2017-LiuZCQWZR #memory management #named #persistent
DudeTM: Building Durable Transactions with Decoupling for Persistent Memory (ML, MZ, KC, XQ, YW, WZ, JR), pp. 329–343.
ASPLOSASPLOS-2017-MisraCGL #lightweight #precise
Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.
ASPLOSASPLOS-2017-NguyenP #memory management #scalability #source code #what
What Scalable Programs Need from Transactional Memory (DN, KP), pp. 105–118.
CGOCGO-2017-SenguptaCBK #bound #hardware #memory management #named #using
Legato: end-to-end bounded region serializability using commodity hardware transactional memory (AS, MC, MDB, MK0), pp. 1–13.
JCDLJCDL-2016-GrechC #clustering
Investigating Cluster Stability when Analyzing Transaction Logs (DG, PDC), pp. 115–118.
HaskellHaskell-2016-LeYF #haskell #memory management
Revisiting software transactional memory in Haskell (ML, RY, MF), pp. 105–113.
ECIRECIR-2016-WakelingC #analysis #library #online
Determining the Optimal Session Interval for Transaction Log Analysis of an Online Library Catalogue (SW, PDC), pp. 703–708.
KDDKDD-2016-LethamLR #behaviour
Bayesian Inference of Arrival Rate and Substitution Behavior from Sales Transaction Data with Stockouts (BL, LML, CR), pp. 1695–1704.
ECOOPECOOP-2016-SwalensKM #parallel
Transactional Tasks: Parallelism in Software Transactions (JS, JDK, WDM), p. 28.
OOPSLAOOPSLA-2016-ChapmanHM #hybrid
Hybrid STM/HTM for nested transactions on OpenJDK (KC, ALH, JEBM), pp. 660–676.
PLDIPLDI-2016-SpiegelmanGK #data type #library
Transactional data structure libraries (AS, GGG, IK), pp. 682–696.
ASPLOSASPLOS-2016-DidonaDKGNR #abstraction #memory management #named #performance
ProteusTM: Abstraction Meets Performance in Transactional Memory (DD, ND, AMK, RG, RN, PR0), pp. 757–771.
ASPLOSASPLOS-2016-KolliPSCW #persistent
High-Performance Transactions for Persistent Memories (AK, SP, AGS, PMC, TFW), pp. 399–411.
ASPLOSASPLOS-2016-ZhangLJ #concurrent #detection #hardware #memory management #named #performance #using
TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory (TZ, DL, CJ), pp. 159–173.
JCDLJCDL-2015-NielsenG #analysis #interactive #library #multi #named #visual notation
PivotViz: Interactive Visual Analysis of Multidimensional Library Transaction Data (MN, KG), pp. 139–142.
SIGMODSIGMOD-2015-0002KBDHKFG #coordination #program analysis #protocol
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
Minimizing Commit Latency of Transactions in Geo-Replicated Data Stores (FN, VA, DA, AEA), pp. 1279–1294.
VLDBVLDB-2015-MakreshanskiLS #hardware #memory management
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
S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, , JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.
FMFM-2015-DerrickDSTW #verification
Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
ICFPICFP-2015-LeF #continuation
Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
ICEISICEIS-v2-2015-EttaziHNE #adaptation #approach #towards
Towards a Context-Aware Adaptation Approach for Transactional Services (WE, HH, MN, SE), pp. 553–562.
CIKMCIKM-2015-MaoLF #approach #network #recognition
Fraud Transaction Recognition: A Money Flow Network Approach (RM, ZL, JF), pp. 1871–1874.
MoDELSMoDELS-2015-LeemansA #distributed #mining #modelling #process
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 #using
State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.
PLDIPLDI-2015-KoskinenP
The Push/Pull model of transactions (EK, MJP), pp. 186–195.
SACSAC-2015-DuarteBPC #composition #memory management
Composable memory transactions with eager version management (RMD, ARDB, MLP, GGHC), pp. 2093–2098.
ASPLOSASPLOS-2015-MatveevS #hardware #hybrid #memory management #scalability
Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
HPDCHPDC-2015-BestaH #hardware #memory management
Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
PPoPPPPoPP-2015-BaldassinBA #memory management #performance
Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPPPPoPP-2015-XiangS #clustering #hardware
Software partitioning of hardware transactions (LX, MLS), pp. 76–86.
PPoPPPPoPP-2015-ZhangHCB #memory management #semantics
Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
SOSPSOSP-2015-DragojevicNNRSB #consistency #distributed #performance
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 #using
Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
SOSPSOSP-2015-ZhangSSKP #consistency #replication
Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.
SIGMODSIGMOD-2014-BailisFHGS #scalability
Scalable atomic visibility with RAMP transactions (PB, AF, JMH, AG, IS), pp. 27–38.
SIGMODSIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation
Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.
SIGMODSIGMOD-2014-Herlihy #hardware #memory management
Fun with hardware transactional memory (MH), p. 575.
VLDBVLDB-2014-MahmoudANAA #coordination #distributed #effectiveness #in the cloud #named #scalability
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
Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions (MS, EM, AA, KS, TR, UFM), pp. 1035–1046.
VLDBVLDB-2014-TozunAAM #named
ADDICT: Advanced Instruction Chasing for Transactions (PT, IA, AA, AM), pp. 1893–1904.
VLDBVLDB-2015-HuangSQ14
NVRAM-aware Logging in Transaction Systems (JH, KS, MKQ), pp. 389–400.
VLDBVLDB-2015-TaftMSDEAPS14 #clustering #distributed #fine-grained #named
E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing (RT, EM, MS, JD, AJE, AA, AP, MS), pp. 245–256.
FMFM-2014-MaricS #hardware #memory management #verification
Verification of a Transactional Memory Manager under Hardware Failures and Restarts (OM, CS), pp. 449–464.
ICEISICEIS-v1-2014-KaddesASBAB #behaviour
Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.
ICEISICEIS-v3-2014-Guerreiro #framework #multi #towards
Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.
CIKMCIKM-2014-WangGL #modelling #personalisation #recommendation
Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.
ICMLICML-c1-2014-LethamSS
Latent Variable Copula Inference for Bundle Pricing from Retail Transaction Data (BL, WS, AS), pp. 217–225.
SACSAC-2014-RighiCGFAG
Redesigning transaction load balancing on electronic funds transfer scenarios (RdRR, CAdC, LGJ, KF, ALA, LG), pp. 775–777.
ASPLOSASPLOS-2014-LitzCFAS #memory management #named
SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.
ASPLOSASPLOS-2014-RuanVLS #case study #experience #legacy #using
Transactionalizing legacy code: an experience report using GCC and Memcached (WR, TV, YL, MFS), pp. 399–412.
CGOCGO-2014-XuWGLGQ #architecture #gpu #memory management
Software Transactional Memory for GPU Architectures (YX, RW, NG, TL, LG, DQ), p. 1.
DACDAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #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.
HPCAHPCA-2014-KarnagelDRLLSL #database #in memory #performance
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 #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
Exploring garbage collection with haswell hardware transactional memory (CGR, TU, REJ), pp. 105–115.
OSDIOSDI-2014-MuCZLL #concurrent #distributed
Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.
OSDIOSDI-2014-NarulaCKM #in memory
Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.
PDPPDP-2014-DehbashiF #debugging #multi #online
Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs (MD, GF), pp. 400–404.
PDPPDP-2014-RuiCGF #memory management #performance
Evaluating the Impact of Transactional Characteristics on the Performance of Transactional Memory Applications (FR, MBC, DG, LGF), pp. 93–97.
PDPPDP-2014-YalcinSHVWFUCF #detection #energy #fault #memory management
Combining Error Detection and Transactional Memory for Energy-Efficient Computing below Safe Operation Margins (GY, AS, DH, AV, JTW, PF, OSÜ, AC, CF), pp. 248–255.
PPoPPPPoPP-2014-DieguesR #lightweight #memory management #named
Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
PPoPPPPoPP-2014-HassanPR
Optimistic transactional boosting (AH, RP, BR), pp. 387–388.
PPoPPPPoPP-2014-OdairaCT #hardware #interpreter #memory management #ruby
Eliminating global interpreter locks in ruby through hardware transactional memory (RO, JGC, HT), pp. 131–142.
ESOPESOP-2014-HerlihyK #composition
Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.
FoSSaCSFoSSaCS-2014-KoutavasSH #bisimulation #communication
Bisimulations for Communicating Transactions — (VK, CS, MH), pp. 320–334.
SIGMODSIGMOD-2013-KangLMOM #database #named
X-FTL: transactional FTL for SQLite databases (WHK, SWL, BM, GHO, CM), pp. 97–108.
TPDLTPDL-2013-BrunelleNBSS #web
Evaluating the SiteStory Transactional Web Archive with the ApacheBench Tool (JFB, MLN, LB, RS, HVdS), pp. 204–215.
VLDBVLDB-2013-AilamakiJPT #scalability #towards
Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.
VLDBVLDB-2013-Dey #scalability
Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores (AD), pp. 1434–1439.
VLDBVLDB-2014-BailisDFGHS13
Highly Available Transactions: Virtues and Limitations (PB, AD, AF, AG, JMH, IS), pp. 181–192.
SEFMSEFM-2013-TranST #composition #static analysis
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
ESEC-FSEESEC-FSE-2013-HossainGBW #database #named
REDACT: preventing database deadlocks from application-based transactions (BMMH, MG, UB, HW), pp. 591–594.
SACSAC-2013-CastorSS #assessment #haskell #memory management
A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
SACSAC-2013-NunesP #scheduling #throughput
Improving transaction abort rates without compromising throughput through judicious scheduling (AN, JP), pp. 493–494.
DATEDATE-2013-AbdullaDRSZ #hybrid #liveness #memory management #safety #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 #using
FaulTM: error detection and recovery using hardware transactional memory (GY, OSÜ, AC), pp. 220–225.
HPCAHPCA-2013-ZhaoCCD #memory management
In-network traffic regulation for Transactional Memory (LZ, WC, LC, JTD), pp. 520–531.
PPoPPPPoPP-2013-CarvalhoC #memory management #runtime
Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.
PPoPPPPoPP-2013-DiceLLLM #algorithm #hardware #memory management #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
FastLane: improving performance of software transactional memory for low thread counts (JTW, CF, PF, ER, GM), pp. 113–122.
SOSPSOSP-2013-CoburnBSGS
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
Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
SOSPSOSP-2013-ZhangPZSAL #latency
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
Analysis of performance regression testing data by transaction profiles (SG), pp. 370–373.
SIGMODSIGMOD-2012-MeachamS #named #privacy #sql
JustMyFriends: full SQL, full transactional amenities, and access privacy (AM, DS), pp. 633–636.
SIGMODSIGMOD-2012-SikkaFLCPB #database #performance
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
Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.
VLDBVLDB-2012-FunkeKN #database #hybrid
Compacting Transactional Data in Hybrid OLTP & OLAP Databases (FF, AK, TN), pp. 1424–1435.
VLDBVLDB-2012-TaliusDDK #fault #query
Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
ICALPICALP-v1-2012-RabinMMY #performance #strict #validation
Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
EDOCEDOC-2012-KutvonenNR #ecosystem
Inter-enterprise Business Transaction Management in Open Service Ecosystems (LK, AN, SR), pp. 31–40.
CIKMCIKM-2012-ZhangSZZ #ranking
Credibility-based product ranking for C2C transactions (RZ, CS, MZ, AZ), pp. 2149–2153.
ECIRECIR-2012-BortnikovDKL #modelling #query
Modeling Transactional Queries via Templates (EB, PD, AK, RL), pp. 13–24.
ECOOPECOOP-2012-DhawanSG #javascript
Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.
ECOOPECOOP-2012-DiasDSL #java #memory management #source code #verification
Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
OOPSLAOOPSLA-2012-SreeramP #compilation
Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.
SACSAC-2012-CasadoTY #reliability #testing #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
Applying transactional memory to concurrency bugs (HV, AJT, MMS, SL), pp. 211–222.
CGOCGO-2012-MannarswamyG #compilation
Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.
DATEDATE-2012-LuMS #abstraction #modelling #prototype
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
Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.
HPCAHPCA-2012-NegiGAGS #hardware #lazy evaluation #memory management #named #scalability
π-TM: Pessimistic invalidation for scalable lazy hardware transactional memory (AN, JRTG, MEA, JMG, PS), pp. 141–152.
PDPPDP-2012-Atoofian #adaptation #named
ArTA: Adaptive Granularity in Transactional Applications (EA), pp. 74–80.
PDPPDP-2012-Gaona-RamirezGAF #energy #hardware #memory management
Dynamic Serialization: Improving Energy Consumption in Eager-Eager Hardware Transactional Memory Systems (EGR, JRTG, MEA, JF), pp. 221–228.
ESOPESOP-2012-BurckhardtLFS #consistency
Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.
ECSAECSA-2011-HamelGKBG #behaviour #verification
Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
SIGMODSIGMOD-2011-PandisTBKPJA #execution #tool support
A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
VLDBVLDB-2011-FunkeKN #query
HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.
VLDBVLDB-2011-GuptaNRBKGK
Entangled Transactions (NG, MN, SR, GB, LK, JG, CK), pp. 887–898.
VLDBVLDB-2011-HeY
High-throughput transaction executions on graphics processors (BH, JXY), pp. 314–325.
VLDBVLDB-2012-PavloJZ11 #execution #modelling #on the #optimisation #parallel #predict
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
IFLIFL-2011-AmsdenF
Fairness for Transactional Events (EA, MF), pp. 17–34.
CIKMCIKM-2011-GaoXHCH #named
PCMLogging: reducing transaction logging overhead with PCM (SG, JX, BH, BC, HH), pp. 2401–2404.
CIKMCIKM-2011-LiuNSC #classification #comprehension #query
Unsupervised transactional query classification based on webpage form understanding (YL, XN, JTS, ZC), pp. 57–66.
KDIRKDIR-2011-CostaRO #approach #classification #xml
A Transactional Approach to Associative XML Classification by Content and Structure (GC, RO, ER), pp. 104–113.
KDIRKDIR-2011-RenC #markov #modelling #predict
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
Dynamic Business Transactions Control — An Ontological Example: Organizational Access Control with DEMO (SG, AV, JMT), pp. 549–554.
MLDMMLDM-2011-Bouguessa #approach #clustering
A Practical Approach for Clustering Transaction Data (MB), pp. 265–279.
ECOOPECOOP-2011-HarmanciGF #coordination #exception #memory management
Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.
ASPLOSASPLOS-2011-CasperOHBKO #hardware #memory management
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
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
The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
DACDAC-2011-CoptyKN #analysis #architecture #performance #statistics
Transaction level statistical analysis for efficient micro-architectural power and performance studies (EC, GK, SN), pp. 351–356.
DACDAC-2011-SingermanAB #validation
Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.
DATEDATE-2011-FunchalM #framework #modelling #named #simulation
jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip (GF, MM), pp. 1184–1187.
DATEDATE-2011-IndrusiakS #performance
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
Improving the efficiency of a hardware transactional memory on an NoC-based MPSoC (LK, GG, FRW), pp. 1168–1171.
HPCAHPCA-2011-BlakeDM #scheduling
Bloom Filter Guided Transaction Scheduling (GB, RGD, TNM), pp. 75–86.
HPDCHPDC-2011-SaadR #distributed #framework #memory management #named #performance
HyFlow: a high performance distributed software transactional memory framework (MMS, BR), pp. 265–266.
PDPPDP-2011-CastroGMMFS #analysis #architecture #manycore #memory management
Analysis and Tracing of Applications Based on Software Transactional Memory on Multicore Architectures (MBC, KG, VMM, JFM, LGF, MS), pp. 199–206.
PDPPDP-2011-ZengTL #algorithm #hybrid #memory management
Parallization of Adaboost Algorithm through Hybrid MPI/OpenMP and Transactional Memory (KZ, YT, FL), pp. 94–100.
PPoPPPPoPP-2011-FernandesC #memory management #multi #scalability
Lock-free and scalable multi-version software transactional memory (SMF, JPC), pp. 179–188.
PPoPPPPoPP-2011-LesaniP #communication #memory management
Communicating memory transactions (ML, JP), pp. 157–168.
PPoPPPPoPP-2011-LuchangcoM #concurrent
Transaction communicators: enabling cooperation among concurrent transactions (VL, VJM), pp. 169–178.
SOSPSOSP-2011-SovranPAL
Transactional storage for geo-replicated systems (YS, RP, MKA, JL), pp. 385–400.
ESOPESOP-2011-BieniusaT #memory management #proving
Proving Isolation Properties for Software Transactional Memory (AB, PT), pp. 38–56.
ICLPICLP-2011-FodorK #logic
Transaction Logic with Defaults and Argumentation Theories (PF, MK), pp. 162–174.
ICSTICST-2011-CasadoTY #framework #web #web service
A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.
SIGMODSIGMOD-2010-KossmannKL #architecture #evaluation #in the cloud
An evaluation of alternative architectures for transaction processing in the cloud (DK, TK, SL), pp. 579–590.
SIGMODSIGMOD-2010-MoonCZ #architecture #evolution #optimisation #query #scalability
Scalable architecture and query optimization fortransaction-time DBs with evolving schemas (HJM, CC, CZ), pp. 207–218.
VLDBVLDB-2010-CaoKRT #named
rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.
VLDBVLDB-2010-PandisJHA #execution
Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.
VLDBVLDB-2010-VoCO #query #towards
Towards Elastic Transactional Cloud Storage with Range Query Support (HTV, CC, BCO), pp. 506–517.
ICSMEICSM-2010-PerinGN #analysis #enterprise #java
Recovery and analysis of transaction scope from scattered information in Java Enterprise Applications (FP, TG, ON), pp. 1–10.
PASTEPASTE-2010-ReissK #thread #visualisation
Visualizing threads, transactions and tasks (SPR, SK), pp. 9–16.
IFMIFM-2010-TranS #commit #java
Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.
ICEISICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network
Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.
SEKESEKE-2010-YinZZ #reliability #web #web service
Reliable Web Service Selection based on Transactional Risk (YY, XZ, BZ), pp. 231–234.
AdaEuropeAdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime
Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.
PLDIPLDI-2010-EmmiMM #verification
Parameterized verification of transactional memories (ME, RM, RM), pp. 134–145.
POPLPOPL-2010-KoskinenPH
Coarse-grained transactions (EK, MJP, MH), pp. 19–30.
PPDPPPDP-2010-FodorK #logic
Tabling for transaction logic (PF, MK), pp. 199–208.
SACSAC-2010-KrajcaV #functional #memory management #parallel
Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.
SACSAC-2010-SarrNG #adaptation #distributed #monitoring #named #web
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications (IS, HN, SG), pp. 423–430.
SACSAC-2010-SchoeberlBV #memory management #named #realtime
RTTM: real-time transactional memory (MS, FB, JV), pp. 326–333.
SACSAC-2010-ZhangHJ #java #locality
Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
ASPLOSASPLOS-2010-RamanKMJA #concurrent #parallel #thread #using
Speculative parallelization using software multi-threaded transactions (AR, HK, TRM, TBJ, DIA), pp. 65–76.
CGOCGO-2010-GottschlichVS #memory management #performance #using
An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.
DACDAC-2010-NurvitadhiHLK #automation #parallel #pipes and filters #specification #synthesis #thread
Automatic multithreaded pipeline synthesis from transactional datapath specifications (EN, JCH, SLL, TK), pp. 314–319.
DATEDATE-2010-DammMHG #modelling #network #simulation #using
Using Transaction Level Modeling techniques for wireless sensor network simulation (MD, JM, JH, CG), pp. 1047–1052.
DATEDATE-2010-FerroP #modelling #semantics #verification
Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.
DATEDATE-2010-HwangSAG #modelling
Accurate timed RTOS model for transaction level modeling (YH, GS, SA, DDG), pp. 1333–1336.
DATEDATE-2010-NurvitadhiHKL #automation #pipes and filters #specification
Automatic pipelining from transactional datapath specifications (EN, JCH, TK, SLL), pp. 1001–1004.
DATEDATE-2010-SchulzBUES #modelling
Transmitting TLM transactions over analogue wire models (SS, JB, TU, KE, SS), pp. 1608–1613.
HPCAHPCA-2010-JafriTV #named
LiteTM: Reducing transactional state overhead (SARJ, MT, TNV), pp. 1–12.
OSDIOSDI-2010-PengD #distributed #incremental #scalability #using
Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
OSDIOSDI-2010-PortsCZML #automation #consistency
Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.
PDPPDP-2010-SantoRSZ #clustering #distributed #memory management #parallel
Software Distributed Shared Memory with Transactional Coherence — A Software Engine to Run Transactional Shared-memory Parallel Applications on Clusters (MDS, NR, CS, EZ), pp. 175–179.
PPoPPPPoPP-2010-BarretoDFGK #memory management #parallel
Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.
PPoPPPPoPP-2010-DashD #distributed #memory management
Symbolic prefetching in transactional distributed shared memory (AD, BD), pp. 331–332.
PPoPPPPoPP-2010-LupeiSPMBKA #game studies #memory management #parallel #scalability #towards #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
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
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
Modeling transactional memory workload performance (DEP, EW), pp. 349–350.
PPoPPPPoPP-2010-RossbachHW #programming #question
Is transactional programming actually easier? (CJR, OSH, EW), pp. 47–56.
PPoPPPPoPP-2010-ZyulkyarovHUCV #debugging #memory management #source code
Debugging programs that use atomic blocks and transactional memory (FZ, TH, OSÜ, AC, MV), pp. 57–66.
SIGMODSIGMOD-2009-SharafCLA #interactive #optimisation
Optimizing i/o-intensive transactions in highly interactive applications (MAS, PKC, AL, CA), pp. 785–798.
VLDBVLDB-2009-LometM
Locking Key Ranges with Unbundled Transaction Services (DBL, MFM), pp. 265–276.
ICFPICFP-2009-GazagnaireH #database #functional #named #performance #programming #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
Modelling Cognitive Transactions for Economic and Accounting Analysis (EB), pp. 242–247.
SEKESEKE-2009-YuanHZL #automation #modelling #multi #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
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.
PLDIPLDI-2009-DragojevicGK #memory management
Stretching transactional memory (AD, RG, MK), pp. 155–165.
PLDIPLDI-2009-MehraraHHM #hardware #low cost #memory management #using
Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory (MM, JH, PCH, SAM), pp. 166–176.
POPLPOPL-2009-GuerraouiK #memory management #semantics
The semantics of progress in lock-based transactional memory (RG, MK), pp. 404–415.
POPLPOPL-2009-Harris #memory management
Language constructs for transactional memory (TH), p. 1.
SACSAC-2009-FahmyRJ #analysis #distributed #realtime
Response time analysis of software transactional memory-based distributed real-time systems (SFF, BR, EDJ), pp. 334–338.
SACSAC-2009-KokashA #coordination
Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.
SACSAC-2009-MacielH #architecture #rest #using
An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.
SACSAC-2009-RajgurePBH #clustering #network #self
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
Integrating standardized transaction protocols in service-oriented wireless sensor networks (CR, NH, JN, SG, VL, ML), pp. 2202–2203.
GPCEGPCE-2009-Sadat-MohtashamH
Transactional pointcuts: designation reification and advice of interrelated join points (SHSM, HJH), pp. 35–44.
ASPLOSASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management
Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.
CCCC-2009-AbadiBHHI #implementation #memory management #using
Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.
CGOCGO-2009-SpearMSW #memory management
Reducing Memory Ordering Overheads in Software Transactional Memory (MFS, MMM, MLS, PW), pp. 13–24.
DACDAC-2009-KamhiNTW #analysis #architecture #named #statistics
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
On bounding response times under software transactional memory in distributed multiprocessor real-time systems (SFF, BR, EDJ), pp. 688–693.
DATEDATE-2009-KochteZIKRWCP #modelling #using #validation
Test exploration and validation using transaction level models (MAK, CGZ, MEI, RSK, MR, HJW, SDC, PP), pp. 1250–1253.
HPDCHPDC-2009-WangLL #memory management #performance
Investigating transactional memory performance on ccNUMA machines (RW, KL, XL), pp. 67–68.
LCTESLCTES-2009-MankinKA #embedded #manycore #memory management
Software transactional memory for multicore embedded systems (JM, DRK, JA), pp. 90–98.
LCTESLCTES-2009-McKechnieBV #debugging #monitoring
Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring (PEM, MB, WV), pp. 129–136.
PDPPDP-2009-AnsariJKLKW #memory management #profiling
Profiling Transactional Memory Applications (MA, KJ, CK, ML, CCK, IW), pp. 11–20.
PPoPPPPoPP-2009-AbadiHM #hardware #memory management #off the shelf #using
Transactional memory with strong atomicity using off-the-shelf memory protection hardware (MA, TH, MM), pp. 185–196.
PPoPPPPoPP-2009-AgrawalLS
Safe open-nested transactions through ownership (KA, ITAL, JS), pp. 151–162.
PPoPPPPoPP-2009-DashD #distributed #memory management
Software transactional distributed shared memory (AD, BD), pp. 297–298.
PPoPPPPoPP-2009-KangB #algorithm #graph #memory management #performance
An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs (SK, DAB), pp. 15–24.
PPoPPPPoPP-2009-KulkarniUCAV #how
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
Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.
PPoPPPPoPP-2009-SpearDMS #memory management
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
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 #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
Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.
CAVCAV-2009-GuerraouiHS #memory management #modelling
Software Transactional Memory on Relaxed Memory Models (RG, TAH, VS), pp. 321–336.
CAVCAV-2009-GuerraouiK #memory management
Transactional Memory: Glimmer of a Theory (RG, MK), pp. 1–15.
ICLPICLP-2009-Fodor #evaluation #logic programming #research #source code #summary
Research Summary: Tabled Evaluation for Transaction Logic Programs (PF), pp. 525–526.
VMCAIVMCAI-2009-EtessamiG #programming
An Abort-Aware Model of Transactional Programming (KE, PG), pp. 59–73.
VLDBVLDB-2008-Hill #memory management #question
Is transactional memory an oxymoron? (MDH), p. 1.
VLDBVLDB-2008-KallmanKNPRZJMSZHA #distributed #in memory #memory management #named
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 time indexing with version compression (DBL, MH, RVN, RZ), pp. 870–881.
VLDBVLDB-2008-MoonCDHZ #database #evolution #query
Managing and querying transaction-time databases under schema evolution (HJM, CC, AD, CYH, CZ), pp. 882–895.
ICFPICFP-2008-Effinger-DeanKG #ml
Transactional events for ML (LED, MK, DG), pp. 103–114.
GT-VMTGT-VMT-2006-BaldanCDFGR08 #graph grammar #towards
Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.
CAiSECAiSE-2008-WangGV #reliability
Ensuring Transactional Reliability by E-Contracting (TW, PWPJG, JV), pp. 262–265.
ICEISICEIS-DISI-2008-HarderBM #database #xml
Transactional Support in Native XML Databases (TH, SB, CM), pp. 368–373.
CIKMCIKM-2008-LuoNEW #order
Transaction reordering with application to synchronized scans (GL, JFN, CJE, MW), pp. 1335–1336.
KDDKDD-2008-XiangJFD #database #summary
Succinct summarization of transactional databases: an overlapped hyperrectangle scheme (YX, RJ, DF, FFD), pp. 758–766.
KDDKDD-2008-XuWFY #database
Anonymizing transaction databases for publication (YX, KW, AWCF, PSY), pp. 767–775.
SEKESEKE-2008-BiswasG
Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.
ECOOPECOOP-2008-Guerraoui
The Return of Transactions (RG), p. 1.
ECOOPECOOP-2008-ZiarekWAMSJ #execution #java
A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLAOOPSLA-2008-NiWABBCGKNOPSTT #c #c++ #design #implementation
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.
PLDIPLDI-2008-GuerraouiHJS #model checking
Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.
POPLPOPL-2008-AbadiBHI #automation #memory management #semantics
Semantics of transactional memory and automatic mutual exclusion (MA, AB, TH, MI), pp. 63–74.
POPLPOPL-2008-MooreG #semantics
High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
SACSAC-2008-ChalinST #case study #modelling #requirements
Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
SACSAC-2008-HolandaBF #adaptation #self
Introducing self-adaptability into transaction processing (MH, AB, SF), pp. 992–997.
SACSAC-2008-ReverbelN #multi
Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.
CCCC-2008-WangYW #compilation #legacy #optimisation
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.
DATEDATE-2008-CornetMM #development #modelling #performance
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
Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.
DATEDATE-2008-RadetzkiK #adaptation #modelling #simulation
Accuracy-Adaptive Simulation of Transaction Level Models (MR, RSK), pp. 788–791.
DATEDATE-2008-TangX #debugging
In-band Cross-Trigger Event Transmission for Transaction-Based Debug (ST, QX), pp. 414–419.
HPCAHPCA-2008-ChungDKK #memory management #thread #using
Thread-safe dynamic binary translation using transactional memory (JC, MD, HK, CK), pp. 279–289.
HPDCHPDC-2008-RichT #named
DataLab: transactional data-parallel computing on an active storage cloud (BR, DT), pp. 233–234.
OSDIOSDI-2008-PrabhakaranRZ
Transactional Flash (VP, TLR, LZ), pp. 147–160.
PDPPDP-2008-GilSC #memory management
Characterization of Conflicts in Log-Based Transactional Memory (LogTM) (JRTG, MEA, JMGC), pp. 30–37.
PPoPPPPoPP-2008-AgrawalFS #memory management #parallel
Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.
PPoPPPPoPP-2008-AgrawalLS
Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.
PPoPPPPoPP-2008-AnsariKJLKW #adaptation #algorithm #case study #concurrent #experience #memory management #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
Software transactional memory for large scale clusters (RLBJ, VSA, BLC), pp. 247–258.
PPoPPPPoPP-2008-BrevnovDKYSCMS #case study #experience #java #memory management
Practical experiences with Java software transactional memory (EB, YD, BK, DY, VS, DyC, VM, SS), pp. 287–288.
PPoPPPPoPP-2008-FelberFR #memory management #performance
Dynamic performance tuning of word-based software transactional memory (PF, CF, TR), pp. 237–246.
PPoPPPPoPP-2008-GuerraouiK #correctness #memory management #on the
On the correctness of transactional memory (RG, MK), pp. 175–184.
PPoPPPPoPP-2008-HerlihyK
Transactional boosting: a methodology for highly-concurrent transactional objects (MH, EK), pp. 207–216.
PPoPPPPoPP-2008-LevM #hardware #memory management #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
Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.
PPoPPPPoPP-2008-McGacheyAHMSS #concurrent #garbage collection #memory management
Concurrent GC leveraging transactional memory (PM, ARAT, RLH, VM, BS, TS), pp. 217–226.
CAVCAV-2008-CohenPZ #memory management #verification
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
ICLPICLP-2008-SchrijversS #constraints
Transactions in Constraint Handling Rules (TS, MS), pp. 516–530.
SIGMODSIGMOD-2007-NicolaKS #benchmark #metric #xml
An XML transaction processing benchmark (MN, IK, BS), pp. 937–948.
VLDBVLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #web #web service
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
SEFMSEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime
Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
HCIHIMI-IIE-2007-DoyoSA #case study #using
A Study of Production / Transaction-Related Model Using Control Theory (DD, KS, KA), pp. 855–862.
CAiSECAiSE-2007-MaamarNBS #policy #web #web service
Policies for Context-Driven Transactional Web Services (ZM, NCN, DB, SS), pp. 249–263.
EDOCEDOC-2007-WangVG #approach #named
TxQoS: A Contractual Approach for Transaction Management (TW, JV, PWPJG), pp. 327–338.
ICEISICEIS-DISI-2007-ArntsenK #case study #composition
Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.
ICEISICEIS-SAIC-2007-GarcesQCHC #e-commerce #modelling #multi #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
The transactional memory / garbage collection analogy (DG), pp. 695–706.
OOPSLAOOPSLA-2007-SmaragdakisKBY
Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.
PLDIPLDI-2007-ElmasQT #java #named #runtime
Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
ASEASE-2007-FischerM #consistency
Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
SACSAC-2007-LinL #mining #privacy
Privacy preserving itemset mining through fake transactions (JLL, JYCL), pp. 375–379.
CGOCGO-2007-DiceS #comprehension #memory management #trade-off
Understanding Tradeoffs in Software Transactional Memory (DD, NS), pp. 21–33.
CGOCGO-2007-WangCWSA #code generation #memory management #optimisation
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language (CW, WYC, YW, BS, ARAT), pp. 34–48.
DATEDATE-2007-EckerESVH #framework #implementation #interactive
Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.
DATEDATE-2007-GailliardNSV #modelling #platform
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
CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.
DATEDATE-2007-NjorogeCWTGKO #memory management #multi #named
ATLAS: a chip-multiprocessor with transactional memory support (NN, JC, SW, YT, DG, CK, KO), pp. 3–8.
HPCAHPCA-2007-ChafiCCMMBKO #approach #memory management #scalability
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
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
Interface synthesis for heterogeneous multi-core systems from transaction level models (HC, SA, DG), pp. 140–142.
PPoPPPPoPP-2007-Adl-TabatabaiDHSKPS
Potential show-stoppers for transactional synchronization (ARAT, DD, MH, NS, CK, CvP, MLS), p. 55.
PPoPPPPoPP-2007-Adl-TabatabaiKS #manycore #programming
Transactional programming in a multi-core environment (ARAT, CK, BS), p. 272.
PPoPPPPoPP-2007-CarlstromMCKO
Transactional collection classes (BDC, AM, MC, CK, KO), pp. 56–67.
PPoPPPPoPP-2007-MaratheHL #thread
Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
PPoPPPPoPP-2007-MaratheM #memory management #performance
Efficient nonblocking software transactional memory (VJM, MM), pp. 136–137.
PPoPPPPoPP-2007-NiMAHHMSS #memory management
Open nesting in software transactional memory (YN, VM, ARAT, ALH, RLH, JEBM, BS, TS), pp. 68–78.
PPoPPPPoPP-2007-PraunCC #order #parallel
Implicit parallelism with ordered transactions (CvP, LC, CC), pp. 79–89.
SOSPSOSP-2007-RossbachHPRAW #hardware #memory management #named #operating system #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 #using
Tolerating byzantine faults in transaction processing systems using commit barrier scheduling (BV, HB, BL, SM), pp. 59–72.
ESOPESOP-2007-AcciaiBD #calculus #concurrent
A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.
VMCAIVMCAI-2007-EmmiM #verification
Verifying Compensating Transactions (ME, RM), pp. 29–43.
SIGMODSIGMOD-2006-LometVB
Recovery from “bad” user transactions (DBL, ZV, RSB), pp. 337–346.
SEFMSEFM-2006-MarcheR #behaviour #java #verification
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
HaskellHaskell-2006-Thiemann #haskell #programming
User-level transactional programming in Haskell (PT), pp. 84–95.
ICFPICFP-2006-DonnellyF
Transactional events (KD, MF), pp. 124–135.
ICGTICGT-2006-BaldanCFG #graph #process
Graph Transactions as Processes (PB, AC, LF, FG), pp. 199–214.
EDOCEDOC-2006-MontagutM #towards #workflow
Towards Transactional PervasiveWorkflows (FM, RM), pp. 141–152.
EDOCEDOC-2006-PatelG #adaptation
An Adaptive Negotiation Strategy for Electronic Transactions (DP, AG), pp. 243–252.
EDOCEDOC-2006-ZuoLW #fault tolerance
A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE (LZ, SL, JW), pp. 165–174.
ICEISICEIS-DISI-2006-DingGJH #approach #modelling
A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.
ICEISICEIS-ISAS-2006-GervaisBFL #database #named #relational
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
Configuring Reference Models — An Integrated Approach for Transaction Processing and Decision Support (RK, CJ, TR), pp. 135–143.
ICEISICEIS-SAIC-2006-LazanasKP #framework #platform #recommendation
Providing Recommendations in an Agent-Based Transportation Transactions Management Platform (AL, NIK, YP), pp. 87–92.
CIKMCIKM-2006-YanCL #clustering
Efficiently clustering transactional data with weighted coverage density (HY, KC, LL), pp. 367–376.
SIGIRSIGIR-2006-LiKVJ #query #web
Getting work done on the web: supporting transactional queries (YL, RK, SV, HVJ), pp. 557–564.
ECOOPECOOP-2006-WelcHJ #java
Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.
OOPSLAOOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management
A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.
QAPLQAPL-2005-BartheRW06 #branch
Preventing Timing Leaks Through Transactional Branching Instructions (GB, TR, MW), pp. 33–55.
AdaEuropeAdaEurope-2006-SharifiS #how
Replication-Aware Transactions: How to Roll a Transaction over Failures (MS, HS), pp. 203–214.
PLDIPLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #runtime
Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.
PLDIPLDI-2006-CarlstromMCCMKO #programming language
The Atomos transactional programming language (BDC, AM, HC, JC, CCM, CEK, KO), pp. 1–13.
PLDIPLDI-2006-HarrisPST #memory management #optimisation
Optimizing memory transactions (TLH, MP, AS, DT), pp. 14–25.
SACSAC-2006-FabryD #aspect-oriented #kernel #named
KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.
SACSAC-2006-SemghouniSAB #probability #realtime
Stochastic study of real-time transactions success ratio (SS, BS, LA, AB), pp. 513–514.
ASPLOSASPLOS-2006-ChuangNVSBPCC #bound #memory management
Unbounded page-based transactional memory (WC, SN, GV, JS, MVB, GP, BC, OC), pp. 347–358.
ASPLOSASPLOS-2006-ChungMMSCCKO #memory management #trade-off
Tradeoffs in transactional memory virtualization (JC, CCM, AM, TS, HC, BDC, CK, KO), pp. 371–381.
ASPLOSASPLOS-2006-DamronFLLMN #hybrid #memory management
Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
ASPLOSASPLOS-2006-MoravanBMYHLSW #memory management
Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.
DACDAC-2006-KlingaufGBPB #modelling #named
GreenBus: a generic interconnect fabric for transaction level modelling (WK, RG, OB, PP, MB), pp. 905–910.
DACDAC-2006-Swan #modelling #verification
SystemC transaction level models and RTL verification (SS), pp. 90–92.
DATEDATE-2006-KlingaufGG #architecture #named
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
Quantitative analysis of transaction level models for the AMBA bus (GS, RD), pp. 230–235.
DATEDATE-2006-WildHO #architecture #evaluation #performance #simulation #using
Performance evaluation for system-on-chip architectures using trace-based transaction level simulation (TW, AH, RO), pp. 248–253.
HPCAHPCA-2006-ChungCMMCKO #behaviour #parallel #source code #thread
The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.
HPCAHPCA-2006-MooreBMHW #memory management #named
LogTM: log-based transactional memory (KEM, JB, MJM, MDH, DAW), pp. 254–265.
ISMMISMM-2006-HudsonSAH #memory management #named #scalability
McRT-Malloc: a scalable transactional memory allocator (RLH, BS, ARAT, BH), pp. 74–83.
LCTESLCTES-2006-SpivakT #memory management #persistent
Storing a persistent transactional object heap on flash memory (MS, ST), pp. 22–33.
OSDIOSDI-2006-SearsB #flexibility #named
Stasis: Flexible Transactional Storage (RS, EAB), pp. 29–44.
PPoPPPPoPP-2006-KumarCHKN #hybrid #memory management
Hybrid transactional memory (SK, MC, CJH, PK, ADN), pp. 209–220.
PPoPPPPoPP-2006-ManassievMA #clustering #concurrent #distributed #memory management
Exploiting distributed version concurrency in a transactional memory cluster (KM, MM, CA), pp. 198–208.
PPoPPPPoPP-2006-SahaAHMH #manycore #memory management #named #performance #runtime
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 #using
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.
PODSPODS-2005-Fekete
Allocating isolation levels to transactions (AF), pp. 206–215.
SIGMODSIGMOD-2005-GallagherJL
A high-performance, transactional filestore for application servers (BG, DJ, AL), pp. 868–872.
SIGMODSIGMOD-2005-LometBMSWZ #sql
Immortal DB: transaction time support for SQL server (DBL, RSB, MFM, GS, RW, YZ), pp. 939–941.
VLDBVLDB-2005-ColohanASM #parallel
Optimistic Intra-Transaction Parallelism on Chip Multiprocessors (CBC, AA, JGS, TCM), pp. 73–84.
ITiCSEITiCSE-2005-Fekete #education #sql
Teaching transaction management with SQL examples (AF), pp. 163–167.
SEFMSEFM-2005-GervaisFL #database #generative #recursion #relational
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
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.
DiGRADiGRA-2005-LeeL #bound
An Irrational Black Market? Boundary work perspective on the stigma of in-game asset transaction (YHL, HL).
CAiSECAiSE-2005-MammarRGSG #named #performance #tool support
Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
EDOCEDOC-2005-WitthawaskulJ #modelling #using
Transaction Support Using Unit of Work Modeling in the Context of MDA (WW, REJ), pp. 131–141.
ICEISICEIS-v3-2005-IngvaldsenGHP #enterprise
Revealing the Real Business Flows from Enterprise Systems Transactions (JEI, JAG, OAH, AP), pp. 254–259.
ICEISICEIS-v4-2005-DaniGP
Auction Based System for Electronic Commerce Transaction (ARD, VPG, AKP), pp. 16–23.
CIKMCIKM-2005-HallerST #coordination #distributed #peer-to-peer #process
Decentralized coordination of transactional processes in peer-to-peer environments (KH, HS, CT), pp. 28–35.
MLDMMLDM-2005-TaniguchiHO #correlation #database #difference
Discovery of Hidden Correlations in a Local Transaction Database Based on Differences of Correlations (TT, MH, YO), pp. 537–548.
SEKESEKE-2005-SongPCZ #specification #uml #verification
Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
PLDIPLDI-2005-Herlihy #re-engineering
The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.
PPDPPPDP-2005-Wojciechowski #type system #version control
Isolation-only transactions by typing and versioning (PTW), pp. 70–81.
ICSEICSE-2005-DengFC #database #testing
Testing database transactions with AGENDA (YD, PGF, DC), pp. 78–87.
SACSAC-2005-KanedaTET #fault tolerance #object-oriented
Transactional agent model for fault-tolerant object systems (TK, YT, TE, MT), pp. 1133–1138.
SACSAC-2005-LiWLC #mobile #realtime
Mobile real-time read-only transaction processing in data broadcast environments (GL, HW, YL, JC), pp. 1176–1177.
SACSAC-2005-SongR
Finding frequent itemsets by transaction mapping (MS, SR), pp. 488–492.
DATEDATE-2005-HabibiT #design #modelling #verification
Design for Verification of SystemC Transaction Level Models (AH, ST), pp. 560–565.
DATEDATE-2005-KimKKSCCKE #architecture #modelling #performance
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
Systematic Transaction Level Modeling of Embedded Systems with SystemC (WK), pp. 566–567.
DATEDATE-2005-LeeCALK #hardware #predict
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
Design of a Virtual Component Neutral Network-on-Chip Transaction Layer (PM), pp. 336–337.
HPCAHPCA-2005-AnanianAKLL #bound #memory management
Unbounded Transactional Memory (CSA, KA, BCK, CEL, SL), pp. 316–327.
PPoPPPPoPP-2005-HarrisMPH #composition #memory management
Composable memory transactions (TH, SM, SLPJ, MH), pp. 48–60.
FoSSaCSFoSSaCS-2005-LaneveZ #web
Foundations of Web Transactions (CL, GZ), pp. 282–298.
ICLPICLP-2005-Santos #concurrent #logic #semantics #using
Denotational Semantics Using Horn Concurrent Transaction Logic (MVS), pp. 431–432.
CBSECBSE-2004-Loecher #component #development #modelling
Model-Based Transaction Service Configuration for Component-Based Development (SL), pp. 302–309.
SIGMODSIGMOD-2004-GraefeZ
Transaction support for indexed views (GG, MJZ).
SIGMODSIGMOD-2004-Little #modelling #web #web service
Models for Web Services Transactions (MCL), p. 872.
VLDBVLDB-2004-HarizopoulosA #towards
STEPS towards Cache-resident Transaction Processing (SH, AA), pp. 660–671.
VLDBVLDB-2004-YuCLZ #data type #mining
False Positive or False Negative: Mining Frequent Itemsets from High Speed Transactional Data Streams (JXY, ZC, HL, AZ), pp. 204–215.
IWPCIWPC-2004-DistantePT #perspective #reverse engineering #towards #web
Towards a Technique for Reverse Engineering Web Transactions from a User’s Perspective (DD, TP, SRT), pp. 142–150.
SEFMSEFM-2004-HeJ #verification
Verification of the WAP Transaction Layer (YTH, RJ), pp. 366–375.
ICEISICEIS-v1-2004-AbdouliSAB #distributed #realtime
Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEISICEIS-v1-2004-BebelKMW #concept
Transaction Concepts for Supporting Changes in Data Warehouses (BB, ZK, TM, RW), pp. 290–297.
ICEISICEIS-v1-2004-ChenY #database #fuzzy #multi
Fuzzy Multiple-Level Sequential Patterns Discovery from Customer Transaction Databases (AC, HY), pp. 434–440.
ICEISICEIS-v1-2004-Frank #database #design #performance
Transaction Design for Databases with High Performance and Availability (LF), pp. 222–226.
ICEISICEIS-v1-2004-Saad-BouzefraneB #distributed #multi
A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.
ICEISICEIS-v1-2004-WangJL #process
A Transaction Model for Long Running Business Processes (JW, BJ, JL), pp. 267–274.
ICEISICEIS-v2-2004-BarkerD #database
An Intelligent Tutoring System for Database Transaction Processing (SB, PD), pp. 197–203.
ICEISICEIS-v4-2004-Debenham #multi #process
Managing E-Market Transaction Processes: Exploring the Limits of Process Management with a Multiagent System (JKD), pp. 322–330.
ICEISICEIS-v4-2004-RoqueOL #framework
Solving Transactional Control in Current Management Frameworks (VR, JLO, RPL), pp. 523–526.
CIKMCIKM-2004-JingYKT #locality #performance #similarity
Localized signature table: fast similarity search on transaction data (QJ, RY, PK, AKHT), pp. 314–323.
SEKESEKE-2004-CorreaW #approach #specification #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
Transactional Monitors for Concurrent Objects (AW, SJ, ALH), pp. 519–542.
RERE-2004-CorreaW #precise #specification #validation
Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
SACSAC-2004-CarswellGN #dataset #multi #semantics
Wireless spatio-semantic transactions on multimedia datasets (JDC, KG, MN), pp. 1201–1205.
SACSAC-2004-PalmeriniOP #database #statistics
Statistical properties of transactional databases (PP, SO, RP), pp. 515–519.
ASPLOSASPLOS-2004-HammondCWHCKO #consistency #programming
Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.
DACDAC-2004-DebJO #design #modelling #paradigm
System design for DSP applications in transaction level modeling paradigm (AKD, AJ, ), pp. 466–471.
DACDAC-2004-PasrichaDB #approach #architecture #communication #modelling #performance
Extending the transaction level modeling approach for fast communication architecture exploration (SP, NDD, MBR), pp. 113–118.
ESOPESOP-2004-VitekJWH #design #framework #semantics
A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.
FASEFASE-2004-Bocchi #composition
Compositional Nested Long Running Transactions (LB), pp. 194–208.
FASEFASE-2004-HubbersP #java #reasoning
Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
SIGMODSIGMOD-2003-Zeller #data type #sql
NonStop SQL/MX Publish/Subscribe: Continuous Data Streams in Transaction Processing (HZ), p. 636.
VLDBVLDB-2003-LiuLBHTS #database #multi
Capturing Global Transactions from Multiple Recovery Log Files in a Partitioned Database System (CL, BGL, SB, EH, TCT, JS), pp. 987–996.
CSMRCSMR-2003-JinCD #adaptation #concept #integration #reverse engineering #tool support #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
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
CAiSECAiSE-2003-HeuvelW #contract #coordination
Coordinating Web-Service Enabled Business Transactions with Contracts (WJvdH, HW), pp. 568–583.
ICEISICEIS-v2-2003-SrikumarB #algorithm #mining #set
An Algorithm for Mining Maximal Frequent Sets Based on Dominancy of Transactions (KS, BB), pp. 422–425.
ICEISICEIS-v4-2003-KaracapilidisLM
An Agent-Mediated Marketplace for Transportation Transactions (NIK, AL, PM), pp. 238–243.
OOPSLAOOPSLA-2003-HarrisF #lightweight
Language support for lightweight transactions (TLH, KF), pp. 388–402.
AdaEuropeAdaEurope-2003-Patinno-MartinezJR #fault tolerance
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.
ASEASE-2003-DengFC #concurrent #database #testing
Testing Database Transaction Concurrency (YD, PGF, ZC), pp. 184–195.
SACSAC-2003-LopezNRR #delivery #multi
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs (NL, MN, IR, FR), pp. 587–594.
SACSAC-2003-MancoOS #clustering #similarity #web
Similarity-Based Clustering of Web Transactions (GM, RO, DS), pp. 1212–1216.
DACDAC-2003-AgostaBS #modelling #static analysis
Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.
DATEDATE-2003-AraS #component #verification
A Proposal for Transaction-Level Verification with Component Wrapper Language (KA, KS), pp. 20082–20087.
DATEDATE-2003-CaldariCCCPT #architecture #modelling #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 #using
Exploring SW Performance Using SoC Transaction-Level Modeling (IM, TG, GN), pp. 20120–20125.
DATEDATE-2003-OgawaNCSWNST #approach #architecture #optimisation
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 Based Design: Another Buzzword or the Solution to a Design Problem? (HJS, GS, DS, DG, CM, CKL, FG, SS, JK), pp. 10876–10879.
FASEFASE-2003-BeckertM #java #logic
A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
VLDBVLDB-2002-BlottK #database #execution #in memory #protocol
An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems (SB, HFK), pp. 706–717.
WCREWCRE-2002-TanT #fault #program analysis #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
ICEISICEIS-2002-LowLT #database #detection #named
DIDAFIT: Detecting Intrusions in Databases Through Fingerprinting Transactions (WLL, JL, PT), pp. 121–128.
ICEISICEIS-2002-SadegSA #distributed #named #protocol #realtime
D-ANTICIP: A Protocol Suitable for Distributed Real-Time Transactions (BS, SSB, LA), pp. 171–178.
ICEISICEIS-2002-ShinkawaM #database #design
State-Sensitive Design of Database Transactions (YS, MJM), pp. 282–289.
CIKMCIKM-2002-GrabsBS #documentation #named #performance #xml
XMLTM: efficient transaction management for XML documents (TG, KB, HJS), pp. 142–152.
KDDKDD-2002-LinLCY #data mining #database #distributed #mining
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
CLOPE: a fast and effective clustering algorithm for transactional data (YY, XG, JY), pp. 682–687.
AdaEuropeAdaEurope-2002-Patino-MartinezJKA #concurrent
Concurrency Control in Transactional Drago (MPM, RJP, JK, SA), pp. 309–320.
SACSAC-2002-BusiZ #on the
On the serializability of transactions in shared dataspaces with temporary data (NB, GZ), pp. 359–366.
SACSAC-2002-HuyS
Agent-based mobility add-in feature for Object Transaction Service (OTS) (HPH, SS), pp. 68–75.
SACSAC-2002-JiangYWS #named
CovaTM: a transaction model for cooperative applications (JJ, GY, YW, MS), pp. 329–335.
ASPLOSASPLOS-2002-RajwarG #execution #source code
Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.
WRLAWRLA-2002-BruniMM #logic
Tiling Transactions in Rewriting Logic (RB, JM, UM), pp. 90–109.
PODSPODS-2001-Schuldt #execution #order #process #protocol
Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).
VLDBVLDB-2001-JensenL #database
Transaction Timestamping in (Temporal) Databases (CSJ, DBL), pp. 441–450.
WCREWCRE-2001-EmburyS #comprehension #legacy
Assisting the Comprehension of Legacy Transactions (SME, JS), p. 345–?.
EDOCEDOC-2001-TaiMRS #distributed #named
Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.
ICEISICEIS-v2-2001-PerkinsD #architecture #collaboration
Collaborative Systems Architecture to Reduce Transaction Costs in E-Business (JP, SD), pp. 1155–1161.
CIKMCIKM-2001-KimLJH #algorithm #hybrid #named
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 #visualisation
Probabilistic modeling of transaction data with applications to profiling, visualization, and prediction (IVC, PS, HM), pp. 37–46.
KDDKDD-2001-LambertP #mining
Mining a stream of transactions for customer patterns (DL, JCP), pp. 305–310.
KDDKDD-2001-PavlovS #modelling #probability #query
Probabilistic query models for transaction data (DP, PS), pp. 164–173.
SEKESEKE-2001-TanTL #design #fault
Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.
TOOLSTOOLS-EUROPE-2001-TranG #corba #scalability
Analyzing the Scalability of Transactional CORBA Applications (PT, IG), pp. 102–110.
TOOLSTOOLS-USA-2001-AlagarP #formal method #named #specification
BTOZ: A Formal Specification Language for Formalizing Business Transactions (VSA, KP), pp. 240–252.
AdaEuropeAdaEurope-2001-KienzleJRM #ada
Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.
SACSAC-2001-Ben-MiledSBNLAOGKNCMS #object-oriented #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 #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 fusion in the wake of information warfare (BP, RY), pp. 242–247.
DACDAC-2001-KudlugiHSP #architecture #functional #simulation #verification
A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
PDPPDP-2001-Kumova #configuration management
Dynamic Re-Configurable Transaction Management in AgentTeam (BYK), pp. 258–264.
TPDLECDL-2000-MahouiC #analysis #comparative
A Comparative Transaction Log Analysis of Two Computing Collections (MM, SJC), pp. 418–423.
PODSPODS-2000-LechtenborgerV #on the #semantics
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.
SIGMODSIGMOD-2000-HsiaoN #named
DLFM: A Transactional Resource Manager (HIH, IN), pp. 518–528.
VLDBVLDB-2000-PardonA #data transformation #internet #lightweight #named
CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management (GP, GA), pp. 210–219.
CAiSECAiSE-2000-ObermairS #execution
Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.
TOOLSTOOLS-ASIA-2000-YongLJJ #corba
OTMS-A CORBA-Compliant Object Transaction Management System (QY, ML, ZJ, SJ), pp. 126–133.
SACSAC-2000-AmirbekyanZ #corba #performance
The Role of Transaction Management in CORBA/ODB Integrated Systems’ Performance (VA, KZ), pp. 733–740.
SACSAC-2000-Jimenez-PerisPA #concurrent
Concurrent Transactional Replicated Servers (RJP, MPM, SA), pp. 655–660.
SACSAC-2000-KrishnamoorthyS #workflow
Virtual Transaction Model to Support Workflow Applications (VK, MCS), pp. 876–881.
SACSAC-2000-SrinivasaS #behaviour
Discerning Behavioral Properties by Analyzing Transaction Logs (SS, MS), pp. 281–282.
LCTESLCTES-2000-ChildersN #memory management #order #power management
Reordering Memory Bus Transactions for Reduced Power Consumption (BRC, TN), pp. 146–161.
PODSPODS-1999-AlonsoFPS #component #correctness
Correctness in General Configurations of Transactional Components (GA, AF, GP, HJS), pp. 285–293.
PODSPODS-1999-Bonner #datalog #workflow
Workflow, Transactions, and Datalog (AJB), pp. 294–305.
PODSPODS-1999-SchuldtAS #concurrent #process
Concurrency Control and Recovery in Transactional Process Management (HS, GA, HJS), pp. 316–326.
SIGMODSIGMOD-1999-DoRD #distributed
The Need for Distributed Asynchronous Transactions (LD, PR, PD), pp. 534–535.
SIGMODSIGMOD-1999-Team #approach #data transformation #in memory
In-Memory Data Management for Consumer Transactions The Times-Ten Approach (TTT), pp. 528–529.
SIGMODSIGMOD-1999-ZhouLP #named #process
TAM: A System for Dynamic Transactional Activity Management (TZ, LL, CP), pp. 571–573.
FMFM-v1-1999-SabatierL #design #formal method #smarttech #using #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
Atomic Heap Transactions and Fine-grain Interrupts (OS, JWC, RM), pp. 48–59.
HCIHCI-EI-1999-MarcusAFG99a #design #interface #online
User-Interface Design for Online Transactions: Planet SABRE Air-Travel Booking (AM, JA, VF, EG), pp. 656–660.
CAiSECAiSE-1999-Oh #architecture #design #using
The Design of Cooperative Transaction Model by Using Client-Server Architecture (AsO), p. 269.
EDOCEDOC-1999-ArshadAS #corba #e-commerce #framework
A CORBA based framework for trusted E-commerce transactions (KMA, YA, MYS), pp. 18–25.
CIKMCIKM-1999-FengLYH #mining
Mining Inter-Transaction Associations with Templates (LF, HL, JXY, JH), pp. 225–233.
CIKMCIKM-1999-WangXL #clustering #scalability #using
Clustering Transactions Using Large Items (KW, CX, BL), pp. 483–490.
KDDKDD-1999-TungLHF #mining
Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.
TOOLSTOOLS-ASIA-1999-XuGC #collaboration
A Model of Collaborative Systems Transactions (XX, JG, PC), pp. 406–413.
SACSAC-1999-WalbornC
Transaction Processing in PRO-MOTION (GDW, PKC), pp. 389–398.
HTHT-1998-YangK #named #web
JPernLite: An Extensible Transaction Server for the World Wide Web (JJY, GEK), pp. 256–266.
SIGMODSIGMOD-1998-Chan #database #multi
Transactional Publish / Subscribe: The Proactive Multicast of Database Changes (AC), p. 521.
SIGMODSIGMOD-1998-Kennamer #data transformation
Microsoft.com: A High-Scale Data Management and Transaction Processing Solution (SK), pp. 539–540.
VLDBVLDB-1998-Tygar #distributed
Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce (JDT), pp. 1–12.
EDOCEDOC-1998-LittleS #web
Integrating the Object Transaction Service with the Web (MCL, SKS), pp. 194–205.
CIKMCIKM-1998-DirckzeG #mobile #multi
A Toggle Transaction Management Technique for Mobile Multidatabases (RAD, LG), pp. 371–377.
CIKMCIKM-1998-ZhouPL #implementation #process #workflow
Dynamic Restructuring of Transactional Workflow Activities: A Practical Implementation Method (TZ, CP, LL), pp. 378–385.
KRKR-1998-InoueS #abduction #specification
Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.
TOOLSTOOLS-ASIA-1998-ZhongZ #database #design #distributed #mobile
A Web-Based Design for the Mobile Transaction Management of a Distributed Database System (JZ, WZ), pp. 372–386.
AdaEuropeAdaEurope-1998-Patino-MartinezJA #ada #fault tolerance
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
SACSAC-1998-Murthy #mobile #paradigm #workflow
Transactional workflow paradigm: its application to mobile computing (VKM), pp. 424–432.
SACSAC-1998-Patino-MartinezJA #ada #distributed
Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.
HPDCHPDC-1998-KanitkarD
Two-Stage Transaction Processing in Client-Server DBMSs (VK, AD), pp. 98–105.
ADLADL-1997-WinslettCJS #library #policy #privacy #security #web
Assuring Security and Privacy for Digital Library Transactions on the Web: Client and Server Security Policies (MW, NC, VEJ, IS), pp. 140–152.
SIGMODSIGMOD-1997-GeorgeH #database #realtime
Secure Transaction Processing in Firm Real-Time Database Systems (BG, JRH), pp. 462–473.
VLDBVLDB-1997-AshwinRSSS #database #garbage collection #object-oriented #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
Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks (SK, EKK, DA), pp. 585–589.
VLDBVLDB-1997-LlirbatST #using
Using Versions in Update Transactions: Application to Integrity Checking (FL, ES, DT), pp. 96–105.
VLDBVLDB-1997-WildfogelY #performance #testing
Efficient Testing of High Performance Transaction Processing Systems (DW, RY), pp. 595–598.
CAiSECAiSE-1997-BarrosHP #modelling #towards #workflow
Towards Real-Scale Business Transaction Workflow Modelling (APB, AHMtH, HAP), pp. 437–450.
CAiSECAiSE-1997-JajodiaRA #composition #implementation #semantics
Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.
CAiSECAiSE-1997-Puustjarvi #approach #automation #workflow
Negotiation Transactions: An Approach to Increase the Automation of Workflows (JP), pp. 89–102.
EDOCEDOC-1997-Grasso #corba #implementation
Implementing interposition in CORBA Object Transaction Service (EG), pp. 184–189.
EDOCEDOC-1997-Hull
Global Predicate-Based Locks in Long-Running Transactions (RH), p. 197–?.
CIKMCIKM-1997-DogduO #execution #realtime
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, ), pp. 301–308.
CIKMCIKM-1997-LeeM #scheduling #validation
Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
CIKMCIKM-1997-TeschW #multi
Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.
SACSAC-1997-ChundiRR #database #distributed #multi
Multi-site distributed database transactions utilizing deferred update (PC, DJR, SSR), pp. 118–122.
SACSAC-1997-Panda #approach #multi
An alternative approach to serialization of multilevel secure Transactions (BP), pp. 134–135.
SACSAC-1997-WalbornC #mobile
PRO-MOTION : Management of Mobile Transactions (GDW, PKC), pp. 101–108.
PDPPDP-1997-Burger #branch #database #parallel
Branching transactions in a shared-memory parallel database system (AB), pp. 382–387.
SOSPSOSP-1997-LowellC
Free Transactions With Rio Vista (DEL, PMC), pp. 92–101.
ICLPILPS-1997-Kifer #logic
Transaction Logic: An Introduction (MK), pp. 47–48.
PODSPODS-1996-BenediktGL #database
Verifiable Properties of Database Transactions (MB, TG, LL), pp. 117–127.
PODSPODS-1996-Wong #database
Recovery for Transaction Failures in Object-Based Databases (MHW), pp. 139–149.
VLDBVLDB-1996-RysNS #parallel #relational
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 #workflow
Managing Overlapping Transactional Workflows (JP, HT, JV), pp. 345–361.
CAiSECAiSE-1996-WeigandVD #approach #modelling
Interoperable Transactions in Business Models: A Structured Approach (HW, EV, FD), pp. 193–209.
SIGIRSIGIR-1996-KamathR #information management #information retrieval #performance
Efficient Transaction Support for Dynamic Information Retrieval Systems (MK, KR), pp. 147–155.
SACSAC-1996-NascimentoD #database
Indexing a transaction-decision time database (MAN, MHD), pp. 166–172.
CAVCAV-1996-ParkD #distributed #protocol #verification
Protocol Verification by Aggregation of Distributed Transactions (SP, DLD), pp. 300–310.
ICLPJICSLP-1996-BonnerK #communication #concurrent #logic
Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.
SIGMODSIGMOD-1995-Gettys #challenge
DIRECTV and Oracle Rdb: The Challenges of VLDB Transaction Processing (WLG), pp. 429–430.
SIGMODSIGMOD-1995-Hope #enterprise
Enterprise Transaction Processing on Windows NT (GH), pp. 431–432.
VLDBVLDB-1995-AmmannJR #formal method #semantics #using
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
VLDBVLDB-1995-BargaP #composition #implementation #modelling
A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.
VLDBVLDB-1995-Korth #abstraction #concept #evolution
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.
VLDBVLDB-1995-RusinkiewiczKTWM #process #towards
Towards a Cooperative Transaction Model — The Cooperative Activity Model (MR, WK, TT, JW, PM), pp. 194–205.
CAiSECAiSE-1995-Pastor-ColladoO #concept #design #information management #modelling
Supporting Transaction Design in Conceptual Modelling of Information Systems (JAP, AO), pp. 40–53.
CIKMCIKM-1995-ElmagarmidJB #algorithm #mobile #performance #reliability
An Efficient and Reliable Reservation Algorithm for Mobile Transactions (AKE, JJ, OAB), pp. 90–95.
CIKMCIKM-1995-KourmajianDFB #collaboration #framework #named
Consortium: A Framework for Transaction Collaborative Environments (VK, RD, JF, DGB), pp. 260–265.
CIKMCIKM-1995-TangV #concept
Transaction-oriented Work-flow Concepts in Inter-Organizational Environments (JT, JV), pp. 250–259.
CIKMCIKM-1995-Wieczerzycki #database #design
Long-Duration Transaction Support in Design Databases (WW), pp. 362–369.
AdaEuropeAdaEurope-1995-CornwellW #object-oriented #realtime #specification
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (PC, AJW), pp. 365–378.
ICLPICLP-1995-IsozakiK #estimation #execution #logic programming #source code
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.
PODSPODS-1994-AgrawalBAK #approach
Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions (DA, JLB, AEA, VK), pp. 139–149.
SIGMODSIGMOD-1994-BilirisDGJR #named
ASSET: A System for Supporting Extended Transactions (AB, SD, NHG, HVJ, KR), pp. 44–54.
SIGMODSIGMOD-1994-Mohan #modelling #overview
A Survey and Critique of Advanced Transaction Models (CM), p. 521.
SIGMODSIGMOD-1994-SinghTW
Relaxed Transaction Processing (MPS, CT, DW), p. 505.
SIGMODSIGMOD-1994-ZhangNBB #flexibility #multi
Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems (AZ, MHN, BKB, OAB), pp. 67–78.
VLDBVLDB-1994-FuC #database #replication
A Transaction Replication Scheme for a Replicated Database with Node Autonomy (AWCF, DWLC), pp. 214–225.
CAiSECAiSE-1994-ConradiHL
Planning Support for Cooperating Transactions in EPOS (RC, MH, CL), pp. 2–13.
CAiSECAiSE-1994-SanchoO #concept #deduction #information management #modelling #specification
Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems (MRS, AO), pp. 311–324.
CIKMCIKM-1994-ChaudhriHMS #evaluation #knowledge base
Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System (VKC, VH, JM, KCS), pp. 122–131.
CIKMCIKM-1994-Jain
Group Formation Mechanisms for Transactions in ISIS (NKJ), pp. 203–210.
CIKMCIKM-1994-PalL #database #object-oriented
Isolation of Transaction Aborts in Object-Oriented Database Management Systems (SP, SL), pp. 179–186.
CIKMCIKM-1994-SoparkarLKS #adaptation #distributed #realtime
Adaptive Commitment for Distributed Real-Time Transactions (NS, EL, HFK, AS), pp. 187–194.
SACSAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net
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
Secure transaction management and query processing in multilevel secure database systems (BP, WP, RAH), pp. 363–368.
PODSPODS-1993-Raz #order
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
Real-Time Transaction Scheduling: A Cost Conscious Approach (DH, TJ, SC), pp. 197–206.
SIGMODSIGMOD-1993-KleinU #constraints
Open DECdtm: Constraint Based Transaction Management (JK, FUI), pp. 430–433.
SIGMODSIGMOD-1993-MuthR #database #visualisation
VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.
SIGMODSIGMOD-1993-Sherman #architecture #distributed #product line
Architecture of the Encina Distributed Transaction Processing Family (MS), pp. 460–463.
VLDBVLDB-1993-BernsteinGW #named
STDL — A Portable Language for Transaction Processing (PAB, POG, TW), pp. 218–229.
VLDBVLDB-1993-Grefen #approach #declarative #specification #theory and practice
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
Adaptive Transaction Scheduling (AH, THK, RE, SM), pp. 704–713.
CIKMCIKM-1993-Lee #algorithm #precise
Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.
CIKMCIKM-1993-MontesiB #constraints #query
Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.
ESECESEC-1993-Godart #coordination #developer #named
COO: A Transaction Model to Support COOperating Software Developers COOrdination (CG), pp. 361–379.
ICSEICSE-1993-TarrS #development #programming
Programming Heterogeneous Transactions for Software Development Environments (PLT, SMSJ), pp. 358–369.
ICLPICLP-1993-BonnerK #logic programming
Transaction Logic Programming (AJB, MK), pp. 257–279.
PODSPODS-1992-AgrawalAJ #approach #protocol
An Approach to Eliminate Transaction Blocking in Locking Protocols (DA, AEA, RJ), pp. 223–235.
PODSPODS-1992-MehrotraRBKS #multi
Ensuring Transaction Atomicity in Multidatabase Systems (SM, RR, YB, HFK, AS), pp. 164–175.
SIGMODSIGMOD-1992-Chou #database #design #implementation #persistent
The Design and Implementation of Persistent Transactions in an Object Database System (HTC), p. 319.
SIGMODSIGMOD-1992-Descollonges #concurrent
A Concurrency Model for Transaction Management (MD), p. 164.
SIGMODSIGMOD-1992-Gray #benchmark #database #metric
Database and Transaction Processing Benchmarks (JG), p. 6.
SIGMODSIGMOD-1992-MohanPL #flexibility #performance #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
Evaluation of Remote Backup Algorithms for Transaction Processing Systems (CAP, HGM), pp. 246–255.
SIGMODSIGMOD-1992-Rahm #architecture #evaluation #performance
Performance Evaluation of Extended Storage Architectures for Transaction Processing (ER), pp. 308–317.
SIGMODSIGMOD-1992-ShashaSV
Simple Rational Guidance for Chopping Up Transactions (DS, ES, PV), pp. 298–307.
VLDBVLDB-1992-AnsariNRS #flexibility #multi #using
Using Flexible Transactions to Support Multi-System Telecommunication Applications (MA, LN, MR, APS), pp. 65–76.
VLDBVLDB-1992-JagadishS
Proclamation-Based Model for Cooperating Transactions (HVJ, OS), pp. 265–276.
VLDBVLDB-1992-SalzbergD #online
Principles of Transaction-Based On-Line Reorganization (BS, AD), pp. 511–520.
SEKESEKE-1992-WangG #algorithm #concurrent
An Optomized Concurrency Control Algorithm for Transaction Brocessing (SW, UOG), pp. 9–16.
ECOOPECOOP-1992-McCue #object-oriented
Developing a Class Hierarchy for Object-Oriented Transaction Processing (DLM), pp. 413–426.
SASWSA-1992-AmatoGM #analysis #concurrent #database #functional #programming language
Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.
SOSPSOSP-WIP-1991-Young92 #lazy evaluation #metadata #named
Episode: Lazy Transactions for Filesystem Meta-Data Updates (MWY), p. 20.
ASPLOSASPLOS-1992-KubiatowiczCA #memory management #multi
Closing the Window of Vulnerability in Multiphase Memory Transactions (JK, DC, AA), pp. 274–284.
SIGMODSIGMOD-1991-AgrawalK #execution #multi #using
Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
SIGMODSIGMOD-1991-LevyKS #commit #distributed #protocol
An Optimistic Commit Protocol for Distributed Transaction Management (EL, HFK, AS), pp. 88–97.
VLDBVLDB-1991-ChrysanthisR
A Formalism for Extended Transaction Model (PKC, KR), pp. 103–112.
VLDBVLDB-1991-DayalHL #process
A Transactional Model for Long-Running Activities (UD, MH, RL), pp. 113–122.
VLDBVLDB-1991-HasseW #evaluation #multi #performance
A Performance Evaluation of Multi-Level Transaction Management (CH, GW), pp. 55–66.
VLDBVLDB-1991-HeissW #adaptation
Adaptive Load Control in Transaction Processing Systems (HUH, RW), pp. 47–54.
VLDBVLDB-1991-MohanN #performance #protocol
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-SmithK #development
The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.
CAiSECAiSE-1991-ConradiM #design #implementation
Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation (RC, CCM), pp. 375–392.
OOPSLAOOPSLA-1991-SimmelG #data access #semantics
The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations (SSS, IG), pp. 230–246.
AdaEuropeAdaEurope-1991-SouposG #ada #distributed #object-oriented #using
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.
SOSPSOSP-1991-SchmuckW #experience
Experience with Transactions in QuickSilver (FBS, JCW), pp. 239–253.
ICLPICLP-1991-Bottcher #logic programming #on the #programming language
On Transactions in Logic Programming Languages (SB), p. 889.
PODSPODS-1990-FeketeLW #graph
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
PODSPODS-1990-TamH #fine-grained #migration
Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.
SIGMODSIGMOD-1990-BreitbartST #multi #reliability
Reliable Transaction Management in a Multidatabase System (YB, AS, GRT), pp. 215–224.
SIGMODSIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.
SIGMODSIGMOD-1990-DayalHL #process
Organizing Long-Running Activities with Triggers and Transactions (UD, MH, RL), pp. 204–214.
VLDBVLDB-1990-ElmagarmidLLR #multi
A Multidatabase Transaction Model for InterBase (AKE, YL, WL, MR), pp. 507–518.
VLDBVLDB-1990-KorthLS #approach #formal method
A Formal Approach to Recovery by Compensating Transactions (HFK, EL, AS), pp. 95–106.
VLDBVLDB-1990-Mohan #concurrent #multi #named
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
Commit_LSN: A Novel and Simple Method for Reducing Locking and Latching in Transaction Processing Systems (CM), pp. 406–418.
VLDBVLDB-1990-NodineZ #design
Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications (MHN, SBZ), pp. 83–94.
VLDBVLDB-1990-Qian #database
Synthesizing Database Transactions (XQ), pp. 552–565.
VLDBVLDB-1990-SeltzerS #file system
Transaction Support in Read Optimizied and Write Optimized File Systems (MIS, MS), pp. 174–185.
PODSPODS-1989-FuK #concurrent
Concurrency Control of Nested Transactions Accessing B-Trees (AWCF, TK), pp. 270–285.
VLDBVLDB-1989-AbbottG #realtime #scheduling
Scheduling Real-Time Transactions with Disk Resident Data (RKA, HGM), pp. 385–396.
VLDBVLDB-1989-RothermelM #named
ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.
SOSPSOSP-1989-Duchamp #analysis #performance
Analysis of Transaction Management Performance (DD), pp. 177–190.
ICLPNACLP-1989-KrishnamurthyNZ #database
Database Transactions in LDL (RK, SAN, CZ), pp. 795–815.
PODSPODS-1988-HadzilacosH
Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.
SIGMODSIGMOD-1988-GarzaK #database #object-oriented
Transaction Management in an Object-Oriented Database System (JFG, WK), pp. 37–45.
SIGMODSIGMOD-1988-Group #benchmark #metric #sql
A Benchmark of NonStop SQL on the Debit Credit Transaction (TTPG), pp. 337–341.
SIGMODSIGMOD-1988-KumarS #semantics
Semantics Based Transaction Management Techniques for Replicated Data (AK, MS), pp. 117–125.
SIGMODSIGMOD-1988-QianW #database #logic #specification
A Transaction Logic for Database Specification (XQ, RJW), pp. 243–250.
VLDBVLDB-1988-AbbottG #evaluation #performance #realtime #scheduling
Scheduling Real-time Transactions: a Performance Evaluation (RKA, HGM), pp. 1–12.
VLDBVLDB-1988-AspnesFLMW #concurrent #formal method
A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.
VLDBVLDB-1988-Bhide #analysis #architecture
An Analysis of Three Transaction Processing Architectures (AB), pp. 339–350.
VLDBVLDB-1988-PuKH #process
Split-Transactions for Open-Ended Activities (CP, GEK, NCH), pp. 26–37.
CSCWCSCW-1988-CiborraO #perspective
Encountering Electronic Work Groups: A Transaction Costs Perspective (CC, MHO), pp. 94–101.
PODSPODS-1987-FeketeLMW
Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.
PODSPODS-1987-KarabegKPV #axiom #relational
Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.
PODSPODS-1987-SegallW #communication
Transaction Commitment at Minimal Communication Cost (AS, OW), pp. 112–118.
SIGMODSIGMOD-1987-DanielsST #distributed
Distributed Logging for Transaction Processing (DSD, AZS, DST), pp. 82–96.
SIGMODSIGMOD-1987-HarderR #concept
Concepts for Transaction Recovery in Nested Transactions (TH, KR), pp. 239–248.
SIGMODSIGMOD-1987-McKenzieS #algebra #relational
Extending the Relational Algebra to Support Transaction Time (LEM, RTS), pp. 467–478.
SIGMODSIGMOD-1987-Mohan #architecture
Directions in System Architectures for High Transaction Rates (CM), p. 6.
SIGMODSIGMOD-1987-StempleMS #design #feedback #on the
On the Modes and Meaning of Feedback to Transaction Designers (DWS, SM, TS), pp. 374–386.
VLDBVLDB-1987-KumarS #evaluation #operating system #performance
Performance Evaluation of an Operating System Transaction Manager (AK, MS), pp. 473–481.
VLDBVLDB-1987-Moss
Log-Based Recovery for Nested Transactions (JEBM), pp. 427–432.
PODSPODS-1986-AbiteboulV
Deciding Properties of Transactional Schemas (SA, VV), pp. 235–239.
PODSPODS-1986-Hadzilacos
Deleting Completed Transactions (TH, MY), pp. 43–46.
PODSPODS-1985-AbiteboulV #constraints
Transactions and Integrity Constraints (SA, VV), pp. 193–204.
PODSPODS-1985-TuzhilinS #approach #concurrent #correctness #semantics
A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.
PODSPODS-1985-WolfsonY #database #distributed #safety
Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.
SIGMODSIGMOD-1985-AcharyaB #database #prolog
Transaction Restarts in Prolog Database Systems (SA, GNB), pp. 364–373.
SIGMODSIGMOD-1985-KlaholdSUW #information management
A Transaction Model Supporting Complex Applications in Integrated Information Systems (PK, GS, RU, WW), pp. 388–401.
SIGMODSIGMOD-1985-SinhaNM #certification #database #distributed
Timestamp Based Certification Schemes for Transactions in Distributed Database Systems (MKS, PDN, SLM), pp. 402–411.
VLDBVLDB-1985-BancilhonKK
A Model of CAD Transactions (FB, WK, HFK), pp. 25–33.
SOSPSOSP-1985-SpectorDDEP #distributed #reliability
Distributed Transactions for Reliable Systems (AZS, DSD, DD, JLE, RFP), pp. 127–146.
SOSPSOSP-1985-WeinsteinPLP #distributed #operating system
Transactions and Synchronization in a Distributed Operating System (MJW, TWPJ, BL, GJP), pp. 115–126.
PODSPODS-1984-GrahamGS #database #reliability #scheduling
Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.
VLDBVLDB-1984-AbiteboulV #database #relational
Transactions in Relational Databases (SA, VV), pp. 46–56.
VLDBVLDB-1984-KimLMP #database #design
A Transaction Mechanism for Engineering Design Databases (WK, RAL, DM, WP), pp. 355–362.
VLDBVLDB-1984-LaiW #distributed
Distributed Transaction Management in Jasmin (MYL, WKW), pp. 466–470.
VLDBVLDB-1984-Walter #approach #commit #database #multi
Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.
VLDBVLDB-1984-WeikumS #architecture #multi
Architectural Issues of Transaction Management in Multi-Layered Systems (GW, HJS), pp. 454–465.
SIGIRSIGIR-1984-Schek #architecture
Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.
SIGIRSIGIR-1984-Tolle #analysis #evaluation #information management #monitoring
Monitoring and Evaluation of Information Systems Via Transaction Log Analysis (JT), pp. 247–258.
DACDAC-1984-KatzW #design
Design transaction management (RHK, SW), pp. 692–693.
PODSPODS-1983-Lynch #concurrent
Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.
SIGIRSIGIR-1983-Tolle #analysis #online
Transactional Log Analysis: Online Catalogs (JT), pp. 147–160.
SOSPSOSP-1983-MuellerMP
A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.
PODSPODS-1982-KrishnamurthyD #parallel
Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.
PODSPODS-1982-Soisalon-SoininenW #algorithm #detection #safety #testing
An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems (ESS, DW), pp. 108–116.
SIGMODSIGMOD-1982-RollandR #modelling
Transaction Modeling (CR, CR), pp. 265–275.
VLDBVLDB-1982-NeumannH #consistency #database
Consistency and Transactions in CAD Database (TN, CH), pp. 181–188.
VLDBVLDB-1982-Xu #concurrent #formal method
A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets (JX), pp. 77–90.
VLDBVLDB-1981-Borr #distributed #monitoring #reliability
Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing (AJB), pp. 155–165.
VLDBVLDB-1981-Gray #concept
The Transaction Concept: Virtues and Limitations (JG), pp. 144–154.
VLDBVLDB-1981-LeonardL #approach #design #information management
Information Systems Design Approach Integrating Data and Transactions (ML, BTL), pp. 235–246.
VLDBVLDB-1981-Sakai #concept #design
A Method for Defining Information Structures and Transactions in Conceptual Schema Design (HS), pp. 225–234.
VLDBVLDB-1980-Walter #database #distributed
Strategies for Handling Transactions in Distributed Data Base Systems During Recovery (BW), pp. 384–389.
ICALPICALP-1980-Gray
A Transaction Model (JG), pp. 282–298.
SIGMODSIGMOD-1979-IraniL #concurrent #database #modelling #network
Queuing Network Models for Concurrent Transaction Processing in a Database System (KBI, HLL), pp. 134–142.
VLDBVLDB-1979-BreitwieserK #distributed
Transaction and Catalog Management of the Distributed File Management System DISCO (HB, UK), pp. 340–350.
VLDBVLDB-1979-GardarinM #consistency #database #proving
Proving Consistency of Database Transactions (GG, MAM), pp. 291–298.
SOSPSOSP-1979-Paxton #maintenance
A Client-Based Transaction System to Maintain Data Integrity (WHP), pp. 18–23.
VLDBVLDB-J-1975-Hsiao76 #database
ACM Transactions on Database Systems — Aim and Scope (DKH), pp. 1–2.
VLDBVLDB-1975-Hackathorn #database #empirical #process #scalability
Analyzing Transaction Activity to a Large Data Base: An Empirical Study (RDH), pp. 502–504.
SIGMODSIGFIDET-1974-Sayani #information management
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.