Stem version$ (all stems)

406 papers:

SIGMOD-2015-0001MK #concurrent #database #in memory #multi #performance

Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems (TN, TM, AK), pp. 677–689.

VLDB-2015-BhattacherjeeCH #dataset #trade-off #version control

Principles of Dataset Versioning: Exploring the Recreation/Storage Tradeoff (SB, AC, SH, AD, AGP), pp. 1346–1357.

VLDB-2015-LevandoskiLSS0 #concurrent #multi

Multi-Version Range Concurrency Control in Deuteronomy (JJL, DBL, SS, RS, RW), pp. 2146–2157.

ITiCSE-2015-HaaranenL #education #framework #git #version control

Teaching Git on the Side: Version Control System as a Course Platform (LH, TL), pp. 87–92.

ICPC-2015-YanoKII #interactive #library #named #visualisation

VerXCombo: an interactive data visualization of popular library version combinations (YY, RGK, TI, KI), pp. 291–294.

ICSME-2015-PoluriR #concurrent #detection

Deterministic dynamic race detection across program versions (SVP, MKR), pp. 181–190.

STOC-2015-Barman #approximate #nash #theorem

Approximating Nash Equilibria and Dense Bipartite Subgraphs via an Approximate Version of Caratheodory’s Theorem (SB), pp. 361–369.

STOC-2015-HansenZ #algorithm

An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm (TDH, UZ), pp. 209–218.

ICALP-v1-2015-GargMVY #multi #nash #symmetry

ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria (JG, RM, VVV, SY), pp. 554–566.

ICEIS-v3-2015-SaidCAB #adaptation #modelling #named #process #using

BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.

ECOOP-2015-Chevalier-Boisvert #effectiveness #lazy evaluation #version control

Simple and Effective Type Check Removal through Lazy Basic Block Versioning (MCB, MF), pp. 101–123.

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

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

SAC-2015-SilvaLP #locality #multi #replication

Boosting locality in multi-version partial data replication (JAS, JL, HP), pp. 1309–1314.

ASPLOS-2015-HosekC #execution #framework #performance

VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.

WICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism

Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.

DATE-2014-LamWCHHPZ #garbage collection #memory management #multi

Garbage collection for multi-version index on flash memory (KyL, JW, YHC, JWH, PCH, CKP, CJZ), pp. 1–4.

VLDB-2014-SadoghiCBNR #concurrent #database #multi

Reducing Database Locking Contention Through Multi-version Concurrency (MS, MC, BB, FN, KAR), pp. 1331–1342.

CSEET-2014-FairleyBK #education #re-engineering

The impact of SWEBOK Version 3 on software engineering education and training (REF, PB, JK), pp. 192–200.

ICPC-2014-WangL #debugging #locality #version control

Version history, similar report, and structure: putting them together for improved bug localization (SW, DL), pp. 53–63.

ICSME-2014-BiazziniMB #commit #distributed #on the #version control

On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (MB, MM, BB), pp. 261–270.

SCAM-2014-RaemaekersDV #case study #repository #semantics #version control

Semantic Versioning versus Breaking Changes: A Study of the Maven Repository (SR, AvD, JV), pp. 215–224.

PLDI-2014-LogozzoLFB #towards #verification

Verification modulo versions: towards usable verification (FL, SKL, MF, SB), p. 32.

SCSM-2014-MeloHSBGB #developer #gamification #version control

Version Control System Gamification: A Proposal to Encourage the Engagement of Developers to Collaborate in Software Projects (AAdM, MH, GS, CDMB, IG, FB), pp. 550–558.

ICEIS-v2-2014-LangermeierDORB #composition #modelling #ontology #variability

Change and Version Management in Variability Models for Modular Ontologies (ML, TD, HO, PR, BB), pp. 383–390.

ICEIS-v3-2014-SaidCAB #metamodelling #modelling #process

Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.

SIGIR-2014-LinSKC #modelling #recommendation

New and improved: modeling versions to improve app recommendation (JL, KS, MYK, TSC), pp. 647–656.

Onward-2014-LorenzR #version control

Versionable, Branchable, and Mergeable Application State (DHL, BR), pp. 29–42.

Onward-2014-SwierstraL #semantics #version control

The Semantics of Version Control (WS, AL), pp. 43–54.

OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation

Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.

SAC-2014-KleffmannBHG #automation #interactive #navigation #scalability #sketching #version control

Automated versioning and temporal navigation for model sketches on large interactive displays (MK, MB, EH, VG), pp. 161–168.

SAC-2014-LeeJB #design #file system #memory management #named #similarity

DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.

ICSE-2014-BrindescuCSD #distributed #how #question #version control

How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.

ICSE-2014-MusluBNC #case study #distributed #version control

Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.

ASE-2013-KehrerKT #version control

Consistency-preserving edit scripts in model versioning (TK, UK, GT), pp. 191–201.

DocEng-2013-BaAS #collaboration #documentation #editing #nondeterminism #version control

Uncertain version control in open collaborative editing of tree-structured documents (MLB, TA, PS), pp. 27–36.

DocEng-2013-PandeyM #documentation

Version aware LibreOffice documents (MP, EVM), pp. 57–60.

ICDAR-2013-WemhoenerYM #multi #using

Creating an Improved Version Using Noisy OCR from Multiple Editions (DW, IZY, RM), pp. 160–164.

SIGMOD-2013-FinisBK0FM #named #performance #version control

DeltaNI: an efficient labeling scheme for versioned hierarchical data (JF, RB, AK, TN, FF, NM), pp. 905–916.

SIGMOD-2013-LeLTC #database #multi

Optimal splitters for temporal and multi-version databases (WL, FL, YT, RC), pp. 109–120.

CSMR-2013-StevensRNJ #detection #multi #query #refactoring

A History Querying Tool and Its Application to Detect Multi-version Refactorings (RS, CDR, CN, VJ), pp. 335–338.

CSMR-2013-TothNFS #source code #using #version control

Using Version Control History to Follow the Changes of Source Code Elements (ZT, GN, RF, IS), pp. 319–322.

ICSM-2013-MeqdadiACM #adaptation #comprehension #scalability #towards #version control

Towards Understanding Large-Scale Adaptive Changes from Version Histories (OM, NA, MLC, JIM), pp. 416–419.

LATA-2013-KociumakaRRW #algorithm #linear #testing

Linear-Time Version of Holub’s Algorithm for Morphic Imprimitivity Testing (TK, JR, WR, TW), pp. 383–394.

MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control

A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.

MoDELS-2013-RajbhojR #approach #detection #metamodelling #version control

A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.

ESEC-FSE-2013-HawblitzelLPHGFDW #compilation #validation

Will you still compile me tomorrow? static cross-version compiler validation (CH, SKL, KP, HH, SG, LF, DD, SW), pp. 191–201.

ICSE-2013-HosekC #execution #multi

Safe software updates via multi-version execution (PH, CC), pp. 612–621.

CGO-2013-ZhouWDS #flexibility #framework #migration #named

Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.

CSMR-2012-JuniorPCM #architecture #parallel #version control

A GPU-based Architecture for Parallel Image-aware Version Control (JRdSJ, TP, EWGC, LGPM), pp. 191–200.

ICSM-2012-RaemaekersDV #analysis #library

Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.

ICSM-2012-RamaKVP #detection #source code #version control

Version history based source code plagiarism detection in proprietary systems (GMR, DK, SAV, SP), pp. 609–612.

MSR-2012-Rodriguez-BustosA #distributed #how #open source #version control

How Distributed Version Control Systems impact open source software projects (CRB, JA), pp. 36–39.

MSR-2012-SismanK #debugging #information retrieval #locality #version control

Incorporating version histories in Information Retrieval based bug localization (BS, ACK), pp. 50–59.

SAS-2012-SanchezSSC #generative #invariant #self #using

Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.

SFM-2012-BroschKLSWW #version control

An Introduction to Model Versioning (PB, GK, PL, MS, KW, MW), pp. 336–398.

EDOC-2012-HolmesZD #automation #modelling #monitoring #runtime #version control

Automating the Management and Versioning of Service Models at Runtime to Support Service Monitoring (TH, UZ, SD), pp. 211–218.

SIGIR-2012-HeS #documentation #optimisation #version control

Optimizing positional index structures for versioned document collections (JH, TS), pp. 245–254.

ECOOP-2012-NegaraVCJD #evolution #question #source code #version control

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? (SN, MV, NC, REJ, DD), pp. 79–103.

LOPSTR-2012-NishidaV #term rewriting

Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.

ICSE-2012-Hindle #mining #power management

Green mining: Investigating power consumption across versions (AH), pp. 1301–1304.

ICSE-2012-KuhnS #named #version control

CodeTimeline: Storytelling with versioning data (AK, MS), pp. 1333–1336.

ASE-2011-KehrerKT #approach #difference #rule-based #semantics #version control

A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.

DAC-2011-HsuCHKD #file system #reliability

A version-based strategy for reliability enhancement of flash file systems (PHH, YHC, PCH, TWK, DHCD), pp. 29–34.

DocEng-2011-ThaoM #documentation #xml

Version-aware XML documents (CT, EVM), pp. 97–100.

FASE-2011-EhrigET #graph #using #version control

A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.

ICSM-2011-TarvoZC #algorithm #branch #integration #mining #multi #version control

An integration resolution algorithm for mining multiple branches in version control systems (AT, TZ, JC), pp. 402–411.

CHI-2011-KarlsonSL #ecosystem #experience #version control

Which version is this?: improving the desktop experience within a copy-aware computing ecosystem (AKK, GS, BL), pp. 2669–2678.

HCI-DDA-2011-MorandiniRCC #development

Project and Development of ErgoCoIn Version 2.0 (MM, RLdMR, MVC, MLC), pp. 471–479.

HCI-ITE-2011-DadgariS

New Techniques for Merging Text Versions (DD, WS), pp. 331–340.

KMIS-2011-PittetCN #evolution #guidelines #ontology #tool support #version control

Guidelines for a Dynamic Ontology — Integrating Tools of Evolution and Versioning in Ontology (PP, CC, CN), pp. 173–179.

SIGIR-2011-HeS #performance #query #version control

Faster temporal range queries over versioned text (JH, TS), pp. 565–574.

ESEC-FSE-2011-MaBGML #component #configuration management #distributed

Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.

ICSE-2011-KawrykowR #version control

Non-essential changes in version histories (DK, MPR), pp. 351–360.

ICSE-2011-LiKZJNMK #difference

Characterizing the differences between pre- and post- release versions of software (PLL, RK, ZZ, SeJ, NN, BM, AJK), pp. 716–725.

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

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

DocEng-2010-MullerRB #file system

A file-type sensitive, auto-versioning file system (AM, SR, UMB), pp. 271–274.

DocEng-2010-ThaoM #data type #detection #using #version control #xml

Using versioned tree data structure, change detection and node identity for three-way XML merging (CT, EVM), pp. 77–86.

VLDB-2010-ZhangS #memory management

The HV-tree: a Memory Hierarchy Aware Version Index (RZ, MS), pp. 397–408.

FASE-2010-NguyenNPN #fine-grained #representation #version control

Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation (TTN, HAN, NHP, TNN), pp. 74–90.

ICGT-2010-TaentzerELW #detection #graph #version control

Conflict Detection for Model Versioning Based on Graph Modifications (GT, CE, PL, MW), pp. 171–186.

AdaEurope-2010-Keul #detection #version control

Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.

CIKM-2010-AnandBBS #keyword #performance #version control

Efficient temporal keyword search over versioned text (AA, SJB, KB, RS), pp. 699–708.

CIKM-2010-HeZS #documentation #version control

Improved index compression techniques for versioned document collections (JH, JZ, TS), pp. 1239–1248.

ECIR-2010-Schenkel #identification #web

Temporal Shingling for Version Identification in Web Archives (RS), pp. 508–519.

KDIR-2010-BallesterosHFG #dependence #parsing #using

Giving Shape to an N-version Dependency Parser — Improving Dependency Parsing Accuracy for Spanish using Maltparser (MB, JH, VF, PG), pp. 336–341.

KEOD-2010-MollerSBEDS #classification #owl #representation

Representing the International Classification of Diseases Version 10 in OWL (MM, MS, RB, PE, AD, DS), pp. 50–59.

ECMFA-2010-KusterGE #modelling #process

Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.

HPDC-2010-WithanaPBA #evolution #version control #workflow

Versioning for workflow evolution (ECW, BP, RSB, NA), pp. 756–765.

ISSTA-2010-PaleariMRB #difference #testing

N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.

DocEng-2009-RosadoMS #documentation #editing #xml

A web-based version editor for XML documents (LAR, APM, MSS), pp. 249–250.

FASE-2009-RutleRLW #approach #formal method #version control

A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.

CSMR-2009-LuciaFST #concurrent #fine-grained #modelling #uml #version control

Concurrent Fine-Grained Versioning of UML Models (ADL, FF, GS, GT), pp. 89–98.

MSR-2009-BoogerdM #standard

Evaluating the relation between coding standard violations and faultswithin and across software versions (CB, LM), pp. 41–50.

MSR-2009-Mockus #scalability #source code #towards #version control

Amassing and indexing a large sample of version control systems: Towards the census of public source code history (AM), pp. 11–20.

CIKM-2009-HeYS #documentation #version control

Compact full-text indexing of versioned document collections (JH, HY, TS), pp. 415–424.

OOPSLA-2009-PluquetLW #graph #in memory #performance #version control

Executing code in the past: efficient in-memory object graph versioning (FP, SL, RW), pp. 391–408.

CADE-2009-WeidenbachDFKSW

SPASS Version 3.5 (CW, DD, AF, RK, MS, PW), pp. 140–145.

VLDB-2008-LometHNZ #transaction

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

ICSM-2008-BaroneLFRST #concurrent #named #version control

COMOVER: Concurrent model versioning (IB, ADL, FF, ER, GS, GT), pp. 462–463.

MSR-2008-SchulerZ #mining

Mining usage expertise from version archives (DS, TZ), pp. 121–124.

WCRE-2008-GeestVDV #domain-specific language #generative

Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.

GT-VMT-2006-KonigK08 #analysis #graph transformation

Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.

AdaEurope-2008-NarayananK #approach #automation #multi #semantics

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.

ICEIS-DISI-2008-BrahmiaB #approach #database #multi #version control #xml

An Approach for Schema Versioning in Multi-Temporal XML Databases (ZB, RB), pp. 290–297.

ICPR-2008-Cleuziou #clustering

An extended version of the k-means method for overlapping clustering (GC), pp. 1–4.

POPL-2008-NeamtiuHFP #concurrent #programming

Contextual effects for version-consistent dynamic software updating and safe concurrent programming (IN, MH, JSF, PP), pp. 37–49.

SAC-2008-ArimotoCC #development #version control

Version control in crosscutting framework-based development (MMA, MIC, VVdC), pp. 753–758.

DocEng-2007-Matulic #documentation #interface #online

Touch scan-n-search: a touchscreen interface to retrieve online versions of scanned documents (FM), pp. 97–98.

DocEng-2007-SaccolEGZ #detection #xml

XML version detection (DdBS, NE, RdMG, CZ), pp. 79–88.

SIGMOD-2007-LazaridisM #multi #optimisation

Optimization of multi-version expensive predicates (IL, SM), pp. 797–808.

CSEET-2007-ThayerM #re-engineering #standard #student

IEEE Software Engineering Standards: A Student’s Version (RHT, ADM), pp. 229–236.

ICSM-2007-NagarajanGMZS #control flow

Matching Control Flow of Program Versions (VN, RG, MM, XZ, BDS), pp. 84–93.

ICSM-2007-SiyCRS #developer #segmentation #version control

Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation (HPS, PC, DJR, MS), pp. 415–424.

MSR-2007-CanforaCP #identification #repository #source code

Identifying Changed Source Code Lines from Version Repositories (GC, LC, MDP), p. 14.

MSR-2007-KagdiM #dependence #predict

Combining Single-Version and Evolutionary Dependencies for Software-Change Prediction (HHK, JIM), p. 17.

MSR-2007-RysselbergheD #inheritance #version control

Studying Versioning Information to Understand Inheritance Hierarchy Changes (FVR, SD), p. 16.

VISSOFT-2007-BohnerGHM #analysis #source code #uml #using #visual notation #visualisation

Evolutional Insights from UML and Source Code Versions using Information Visualization and Visual Analysis (SAB, DG, TH, KM), pp. 145–148.

ECIR-2007-HerscoviciLY #documentation #performance #sequence #version control

Efficient Indexing of Versioned Document Sequences (MH, RL, SY), pp. 76–87.

SEKE-2007-CordeiroGES #classification #constraints #database #design #version control

A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications (RLFC, RdMG, NE, CSdS), pp. 416–421.

SEKE-2007-SaccolEGZ #xml

Managing XML Versions and Replicas in a P2P Context (DdBS, NE, RdMG, CZ), p. 680–?.

SAC-2007-Nguyen #component #design #embedded

Component-based version management for embedded computing system design (TNN), pp. 685–692.

ICSE-2007-KimNG #automation

Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.

CADE-2007-WeidenbachSHRT

System Description: SpassVersion 3.0 (CW, RAS, TH, RR, DT), pp. 514–520.

ASE-2006-BreuZ #aspect-oriented #mining #version control

Mining Aspects from Version History (SB, TZ), pp. 221–230.

ASE-2006-RamanathanGJ #automation #detection #named

Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.

DRR-2006-LinCND #comprehension #documentation #layout #version control

Active document versioning: from layout understanding to adjustment (XL, HC, GN, ED).

FASE-2006-RamanathanJG #alias #memory management

Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.

CSMR-2006-Rysselberghe #version control

Reconstructing Higher Level Change Information from Versioning Data (FVR), pp. 331–333.

CSMR-2006-RysselbergheRD #detection #version control

Detecting Move Operations in Versioning Information (FVR, MR, SD), pp. 271–278.

CSMR-2006-WierdaDS #architecture #case study #clustering #using

Using Version Information in Architectural Clustering — A Case Study (AW, ED, LJS), pp. 214–228.

MSR-2006-ChangM #version control

Constructing universal version history (HFC, AM), pp. 76–79.

MSR-2006-KagdiYM #mining #sequence #version control

Mining sequences of changed-files from version histories (HHK, SY, JIM), pp. 47–53.

MSR-2006-KimN #analysis #multi

Program element matching for multi-version program analyses (MK, DN), pp. 58–64.

MSR-2006-SpaccoHP #fault

Tracking defect warnings across versions (JS, DH, WP), pp. 133–136.

MSR-2006-ZimmermannKZW #mining

Mining version archives for co-changed lines (TZ, SK, AZ, EJWJ), pp. 72–75.

CIAA-2006-OnderB #proving

XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof (RO, ZB), pp. 275–276.

ECMDA-FA-2006-EngelPK #model merging #using

Using a Model Merging Language for Reconciling Model Versions (KDE, RFP, DSK), pp. 143–157.

RE-2006-SoB #case study #experience #requirements

Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC (JS, DMB), pp. 216–221.

SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards

Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.

ICSE-2006-Freese #refactoring #version control

Refactoring-aware version control (TF), pp. 953–956.

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

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

DocEng-2005-RonnauSB #documentation #towards #version control #xml

Towards XML version control of office documents (SR, JS, UMB), pp. 10–19.

SIGMOD-2005-Friedrich #configuration management #metadata #multi

Meta-data version and configuration management in multi-vendor environments (JRF), pp. 799–804.

CSEET-2005-Ellis #learning #online #re-engineering

Autonomous Learning in Online and Traditional Versions of a Software Engineering Course (HJCE), pp. 69–76.

CSMR-2005-HostJ #performance #predict

Performance Prediction Based on Knowledge of Prior Product Versions (MH, EJ), pp. 12–20.

ICSM-2005-OdaS #diagrams #generative #version control

Generative Technique of Version Control Systems for Software Diagrams (TO, MS), pp. 515–524.

MSR-2005-HuangL #learning #mining #process #verification #version control

Mining version histories to verify the learning process of Legitimate Peripheral Participants (SKH, KmL), pp. 21–25.

PASTE-2005-CookO #component #deployment #named

MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.

LOPSTR-2005-OchoaPH #prolog #source code

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs (CO, GP, MVH), pp. 80–97.

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

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

ESEC-FSE-2005-ZhangG #execution

Matching execution histories of program versions (XZ, RG), pp. 197–206.

HPDC-2005-Wang #distributed #file system #towards #version control #workflow

Towards a workflow-aware distributed versioning file system for metacomputing systems (YW0), pp. 314–315.

HT-2004-NguyenMB #hypermedia #version control

The Molhado hypertext versioning system (TNN, EVM, JB), pp. 185–194.

HT-2004-PanWG #embedded #hypermedia #modelling #version control

Hypertext versioning for embedded link models (KP, EJWJ, GG), pp. 195–204.

WCRE-2004-WuMSL #approach #maintenance #reverse engineering #version control

A Reverse Engineering Approach to Support Software Maintenance: Version Control Knowledge Extraction (XW, AM, MADS, RL), pp. 90–99.

SEKE-2004-NguyenMT #hypermedia #traceability #version control

Software Traceability via Versioned Hypermedia (TNN, EVM, CT), pp. 288–293.

ECOOP-2004-IterumC #corba #inheritance #interface #version control

Inheritance-Inspired Interface Versioning for CORBA (SI, RC), pp. 268–290.

GPCE-2004-KovseG #case study #named #product line #version control

VS-Gen: A Case Study of a Product Line for Versioning Systems (JK, CG), pp. 396–415.

SAC-2004-BebelEKMW #multi

Creation and management of versions in multiversion data warehouse (BB, JE, CK, TM, RW), pp. 717–723.

ICSE-2004-ChatterjeeAASV #database #development #using #version control

Using Data Versioning in Database Application Development (RC, GA, SA, BS, RV), pp. 315–325.

ICSE-2004-ZimmermannWDZ #mining #version control

Mining Version Histories to Guide Software Changes (TZ, PW, SD, AZ), pp. 563–572.

ICSM-2003-FischerPG #database #debugging #version control

Populating a Release History Database from Version Control and Bug Tracking Systems (MF, MP, HG), p. 23–?.

ICSM-2003-Gergic #assembly #component #towards #version control

Towards a Versioning Model for Component-based Software Assembly (JG), pp. 138–147.

VISSOFT-2003-WuMSL #requirements #version control #visualisation

Visualization to Support Version Control Software: Suggested Requirements (XW, AM, MAS, RL), pp. 80–86.

CAiSE-2003-BenatallahMNSPM #adaptation #documentation

An Adaptive Document Version Management Scheme (BB, MM, PN, QZS, LP, BM), pp. 46–62.

ESEC-FSE-2003-OhstWK #diagrams #difference #uml

Differences between versions of UML diagrams (DO, MW, UK), pp. 227–236.

DocEng-2002-WongL #multi #query #xml

Managing and querying multi-version XML data with update logging (RKW, NL), pp. 74–81.

HT-2002-NguyenGM #documentation #hypermedia #version control

Versioned Hypermedia can improve software document management (TNN, SCG, EVM), pp. 192–193.

VLDB-2002-KangC #maintenance #online

Exploiting Versions for On-line Data Warehouse Maintenance in MOLAP Servers (HGK, CWC), pp. 742–753.

VLDB-2002-SeifertS #hybrid #multi #policy

A Multi-version Cache Replacement and Prefetching Policy for Hybrid Data Delivery Environments (AS, MHS), pp. 850–861.

ICSM-2002-OhstK #analysis #design #fine-grained

A Fine-Grained Version and Configuration Model in Analysis and Design (DO, UK), pp. 521–527.

FLOPS-2002-SimeonW #xml

The Essence of XML (Preliminary Version) (JS, PW), pp. 21–46.

SAC-2002-MartinezDF #documentation #evolution #generative

A method for the dynamic generation of virtual versions of evolving documents (MMM, JCD, PdlF), pp. 476–482.

SAC-2002-WangDGS

Hyperrelations in version space (HW, ID, GG, AS), pp. 514–518.

CC-2002-MikheevFSL #effectiveness #java #version control

Effective Enhancement of Loop Versioning in Java (VVM, SAF, VVS, NVL), pp. 293–306.

CADE-2002-WeidenbachBHKTT

S PASS Version 2.0 (CW, UB, TH, EK, CT, DT), pp. 275–279.

HT-2001-Whitehead #design #version control

Design spaces for link and structure versioning (EJWJ), pp. 195–204.

HT-2001-Whitehead01a #authoring #collaboration #configuration management #version control #web

WebDAV and DeltaV: collaborative authoring, versioning, and configuration management for the Web (EJWJ), pp. 259–260.

VLDB-2001-MignetMAC #xml

Change-Centric Management of Versions in an XML Warehouse (AM, SA, GC, LM), pp. 581–590.

CIKM-2001-XiaKCRB #concurrent #data access #database #in memory #memory management #version control

Dynamic Versioning Concurrency Control for Index-Based Data Access in Main Memory Database Systems (YX, SHK, SKC, KWR, HYB), pp. 550–552.

ICML-2001-KramerR

Feature Construction with Version Spaces for Biochemical Applications (SK, LDR), pp. 258–265.

KDD-2001-OzaR #online

Experimental comparisons of online and batch versions of bagging and boosting (NCO, SJR), pp. 359–364.

SEKE-2001-GonnetL #design #framework #process

A Framework for Model Version Management in a Design Process (SG, HPL), pp. 260–267.

SEKE-2001-MoroSES #evolution #specification

A Temporal Versions Model for Time- Evolving Systems Specification (MMM, SMS, NE, CSdS), pp. 252–259.

GCSE-2001-PulvermuellerSC #dependence

A Version Model for Aspect Dependency Management (EP, AS, JC), pp. 70–79.

POPL-2001-Sewell #data type #distributed #version control

Modules, abstract types, and distributed versioning (PS), pp. 236–247.

ICSE-2001-HuntR #documentation #implementation #using #version control #web

Using the Web for Document Versioning: An Implementation Report for Delta V (JJH, JR), pp. 507–513.

HPDC-2001-SchuchardtMS #authoring #data transformation #distributed #open data #problem #version control

Open Data Management Solutions for Problem Solving Environments: Application of Distributed Authoring and Versioning to the Extensible Computational Chemistry Environment (KS, JDM, EGS), p. 228–?.

HT-2000-Blustein #automation #evaluation #hypermedia

Automatically generated hypertext versions of scholarly articles and their evaluation (JB), pp. 201–210.

HT-2000-SimonsonBB #version control

Content permanence via versioning and fingerprinting (JS, DB, AB), pp. 226–227.

STOC-2000-FeigenbaumPS #cost analysis #low cost

Sharing the cost of muliticast transmissions (preliminary version) (JF, CHP, SS), pp. 218–227.

ICML-2000-LauDW #algebra #programming

Version Space Algebra and its Application to Programming by Demonstration (TAL, PMD, DSW), pp. 527–534.

FSE-2000-YamamotoMI #cumulative #file system #metric #version control

Accumulative versioning file system Moraine and its application to metrics environment MAME (TY, MM, KI), pp. 80–87.

LCTES-2000-JeongKL #concurrent #multi #realtime #using

Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version (BSJ, DK, SL), pp. 33–47.

CL-2000-FranconiGM #approach #database #evolution #object-oriented #semantics #version control

A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases (EF, FG, FM), pp. 1048–1062.

SIGMOD-1999-AdelbergD

Nodose Version 2.0 (BA, MD), pp. 559–561.

SIGMOD-1999-BergstraesserBPS #repository

Versions and Workspaces in Microsoft Repository (TB, PAB, SP, DS), pp. 532–533.

VLDB-1999-PitouraC

Exploiting Versions for Handling Updates in Broadcast Disks (EP, PKC), pp. 114–125.

SIGAda-1999-Wisniewski #ada

Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.

TOOLS-EUROPE-1999-Romanovsky #programming

Abstract Object State and Version Recovery in N-Version Programming (AR), pp. 86–95.

ICSE-1999-AtkinsBGM #tool support #using #version control

Using Version Control Data to Evaluate the Impact of Software Tools (DLA, TB, TLG, AM), pp. 324–333.

CADE-1999-Weidenbach99a

System Description: Spass Version 1.0.0 (CW), pp. 378–382.

ESOP-1998-Thiemann #framework

A Generic Framework for Specialization (Abridged Version) (PT), pp. 267–281.

CSMR-1998-SeemannG #difference #object-oriented #visualisation

Visualization of Differences between Versions of Object-Oriented Software (JS, JWvG), pp. 201–204.

STOC-1998-CanettiGH #random

The Random Oracle Methodology, Revisited (Preliminary Version) (RC, OG, SH), pp. 209–218.

STOC-1998-CanettiMR #probability

Perfectly One-Way Probabilistic Hash Functions (Preliminary Version) (RC, DM, OR), pp. 131–140.

WIA-1998-UppmanC #named #visual notation

Autographe: A Graphical Version of Automate (AU, JMC), pp. 226–229.

FM-1998-Canada #bibliography #perspective

Z/EVES Version 1.5: An Overview (OC), pp. 367–376.

ICPR-1998-Aviles-Cruz #algorithm #data fusion #probability #segmentation #using

Unsupervised texture segmentation using stochastic version of the EM algorithm and data fusion (CAC), pp. 1005–1009.

ICPR-1998-JuanVA #algorithm #approximate #nearest neighbour #performance

Fast k-nearest-neighbours searching through extended versions of the approximating and eliminating search algorithm (AESA) (AJ, EV, PA), pp. 828–830.

ICSE-1998-KoikeC #3d #empirical #how #re-engineering #visualisation

How Does 3D Visualization Work in Software Engineering? : Empirical Study of a 3D Version/Module Visualization System (HK, HCC), pp. 516–519.

HPCA-1998-GopalVSS #version control

Speculative Versioning Cache (SG, TNV, JES, GSS), pp. 195–205.

CADE-1998-Thery #algorithm

A Certified Version of Buchberger’s Algorithm (LT), pp. 349–364.

VLDB-1997-BohannonLRSSS #database #in memory #logic #memory management #physics #version control

Logical and Physical Versioning in Main Memory Databases (RR, SS, PB, DWL, AS, SS), pp. 86–95.

VLDB-1997-LlirbatST #transaction #using

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

CSMR-1997-Kilpi #challenge #configuration management #evaluation #framework #version control

New Challenges for Version Control and Configuration Management: a Framework and Evaluation (TK), pp. 33–42.

STOC-1997-BroderFU #approach #graph #random

Static and Dynamic Path Selection on Expander Graphs: A Random Walk Approach (Preliminary Version) (AZB, AMF, EU), pp. 531–539.

ICALP-1997-HarelS #logic #process

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.

HCI-SEC-1997-KoikeC #3d #using #version control #visualisation

Integrating Version Control and Module Management Using Three-Dimensional Visualization (HK, HCC), pp. 853–856.

CAiSE-1997-OussalahU #version control

Complex Object Versioning (CO, CU), pp. 259–272.

CADE-1997-HutterK #λ-calculus

A Colored Version of the Lambda-Calculus (DH, MK), pp. 291–305.

HT-1996-CellaryDHHVW #editing #exclamation #version control

Things Change: Deal with it! Versioning, Cooperative Editing and Hzpertext (WC, DGD, AH, DLH, FV, EJWJ), p. 259.

HT-1996-HaakeH #hypermedia #named #towards #version control

VerSE: Towards Hypertext Versioning Styles (AH, DLH), pp. 224–234.

VLDB-1996-RamakrishnanR #design #modelling

Modeling Design Versions (RR, DJR), pp. 556–566.

STOC-1996-BroderU #array

Dynamic Deflection Routing on Arrays (Preliminary Version) (AZB, EU), pp. 348–355.

STOC-1996-DeyG #algorithm

Algorithms for Manifolds and Simplicial Complexes in Euclidean 3-Space (Preliminary Version) (TKD, SG), pp. 398–407.

STOC-1996-DworkLN #self

Digital Signets: Self-Enforcing Protection of Digital Information (Preliminary Version) (CD, JBL, MN), pp. 489–498.

STOC-1996-Feige #approximate #set

A Threshold of ln n for Approximating Set Cover (Preliminary Version) (UF), pp. 314–318.

STOC-1996-Goodrich #parallel #sorting

Communication-Efficient Parallel Sorting (Preliminary Version) (MTG), pp. 247–256.

ICML-1996-Sebag #approach #bias

Delaying the Choice of Bias: A Disjunctive Version Space Approach (MS), pp. 444–452.

SEKE-1996-BerraYLY #documentation #retrieval

Version Management in Structured Document Retrieval Systems (PBB, SJY, YKL, KY), pp. 537–544.

SEKE-1996-IzumiK #logic

An Object Logic for Object Base Capable of Version Management (NI, TK), pp. 171–180.

CADE-1996-BeckertHOS #proving #theorem proving

The Tableau-based Theorem Prover 3TAP Version 4.0 (BB, RH, PO, MS), pp. 303–307.

CADE-1996-WeidenbachGR

SPASS & FLOTTER Version 0.42 (CW, BG, GR), pp. 141–145.

SAS-1995-Schmidt #abstract interpretation #semantics

Natural-Semantics-Based Abstract Interpretation (Preliminary Version) (DAS), pp. 1–18.

STOC-1995-AdlerCMR #parallel #random

Parallel randomized load balancing (Preliminary Version) (MA, SC, MM, LER), pp. 238–247.

STOC-1995-AmatoGR

Computing faces in segment and simplex arrangements (Preliminary Version) (NMA, MTG, EAR), pp. 672–682.

STOC-1995-GalilY #theorem

Short length versions of Menger’s theorem (Extended Abstract) (ZG, XY), pp. 499–508.

CAiSE-1995-AndonoffHPZ #composition #inheritance #modelling

Modelling Inheritance, Composition and Relationship Links between Objects, Object Versions and Class Versions (EA, GH, ALP, GZ), pp. 96–111.

CAiSE-1995-DattoloL #framework #hypermedia

Hypertext Version Management in an Actor-based Framework (AD, VL), pp. 112–125.

SAC-1995-KaradimitriouTB #re-engineering #reverse engineering #scalability

Reverse engineering and reengineering of a large serial system into a distributed-parallel version (KK, JMT, NEB), pp. 191–197.

ESEC-1995-WagnerG #analysis #incremental

Integrating Incremental Analysis with Version Management (TAW, SLG), pp. 205–218.

ESEC-1995-ZellerS #logic #set

Handling Version Sets Through Feature Logic (AZ, GS), pp. 191–204.

FSE-1995-Zeller #configuration management

A Unified Version Model for Configuration Management (AZ), pp. 151–160.

HT-ECHT-1994-Haake #hypermedia #implementation

Under CoVer: The Implementation of a Contextual Version Server for Hypertext Applications (AH), pp. 81–93.

STOC-1994-AlonK #graph #random

A spectral technique for coloring random 3-colorable graphs (preliminary version) (NA, NK), pp. 346–355.

STOC-1994-AroraRV #polynomial #simulation

Simulating quadratic dynamical systems is PSPACE-complete (preliminary version) (SA, YR, UVV), pp. 459–467.

STOC-1994-ChungY #algorithm

A near optimal algorithm for edge separators (preliminary version) (FRKC, STY), pp. 1–8.

STOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #power of #probability

On the power of finite automata with both nondeterministic and probabilistic states (preliminary version) (AC, LH, SP, AW), pp. 676–685.

STOC-1994-GoldreichW #product line #random #trade-off

Tiny families of functions with random properties (preliminary version): a quality-size trade-off for hashing (OG, AW), pp. 574–584.

STOC-1994-Kosaraju #pattern matching #realtime

Real-time pattern matching and quasi-real-time construction of suffix trees (preliminary version) (SRK), pp. 310–316.

STOC-1994-MaratheHSR #approximate #problem #specification

Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (MVM, HBHI, RES, VR), pp. 468–477.

STOC-1994-Poutre #incremental #testing

Alpha-algorithms for incremental planarity testing (preliminary version) (JALP), pp. 706–715.

CIKM-1994-DattoloG #hypermedia #version control

Analytical Version Control Management in a Hypertext System (AD, AG), pp. 132–139.

KR-1994-LamarreS

Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version) (PL, YS), pp. 415–424.

PLILP-1994-Mantsivoda

Flang System: A new Version (AM), pp. 467–468.

CC-1994-Reps #analysis #interprocedural #problem

Solving Demand Versions of Interprocedural Analysis Problems (TWR), pp. 389–403.

CADE-1994-Socher-Ambrosius

A Refined Version of General E-Unification (RSA), pp. 665–677.

HT-1993-Mylonas93a

The Perseus Project: Developing Version 2.0 (EM), pp. 270–273.

VLDB-1993-TalensOC

Versions of Simple and Composite Objects (GT, CO, MFC), pp. 62–72.

ICALP-1993-Senizergues #effectiveness #theorem

An Effective Version of Stallings’ Theorem in the Case of Context-Free Groups (GS), pp. 478–495.

INTERCHI-1993-HaakeH

Take CoVer: exploiting version support in cooperative systems (AH, JMH), pp. 406–413.

SEKE-1993-BadrL #evolution

A Version and Configuration Model for Software Evolution (SB, L), pp. 225–227.

SEKE-1993-CheeEW #file system #named #version control

VCFS: A File System for Transparent Version Control (CLC, SSE, CKW), pp. 248–251.

SAC-1993-FullerMP #collaboration #design #object-oriented #spreadsheet #version control

The Design of an Object-Oriented Collaborative Spreadsheet with Version Control and History Management (DAF, STM, JAP), pp. 416–423.

SAC-1993-LoscoCM #multi

GELEM (Version 1.1): A Multilingual Lexicons Management Systems (PL, HC, MM), pp. 334–342.

HT-ECHT-1992-Haake #hypermedia #named

CoVer: A Contextual Version Server for Hypertext Applications (AH), pp. 43–52.

HT-ECHT-1992-Osterbye #hypermedia #problem #version control

Structural and Cognitive Problems in Providing Version Control for Hypertext (KØ), pp. 33–42.

SIGMOD-1992-MohanPL #flexibility #performance #transaction #version control

Efficient and Flexible Methods for Transient Versioning of Records to Avoid Locking by Read-Only Transactions (CM, HP, RAL), pp. 124–133.

STOC-1992-CallahanK #composition #multi #nearest neighbour

A Decomposition of Multi-Dimensional Point-Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields (Preliminary Version) (PBC, SRK), pp. 546–556.

STOC-1992-Goodrich #parallel

Planar Separators and Parallel Polygon Triangulation (Preliminary Version) (MTG), pp. 507–516.

STOC-1992-KedemPRR #parallel #performance #program transformation

Efficient Program Transformations for Resilient Parallel Computation via Randomization (Preliminary Version) (ZMK, KVP, MOR, AR), pp. 306–317.

STOC-1992-Paturi #approximate #on the #symmetry

On the Degree of Polynomials that Approximate Symmetric Boolean Functions (Preliminary Version) (RP), pp. 468–474.

TRI-Ada-C-1992-Blair #ada #configuration management #library #using #version control

Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.

ML-1992-Carpineto #consistency #induction #performance

Trading Off Consistency and Efficiency in version-Space Induction (CC), pp. 43–48.

SEKE-1992-Wong #incremental #library #using

Using Version Spaces to Support Incremental Searches in a Software Library (YCW), pp. 412–419.

SIGIR-1992-AnickF #information retrieval #version control

Versioning a Full-text Information Retrieval System (PGA, RAF), pp. 98–111.

OOPSLA-1992-FeeleyL #distributed #memory management #version control

Distributed Shared Memory with Versioned Objects (MJF, HML), pp. 247–262.

CADE-1992-DershowitzMS #convergence #decidability

Decidable Matching for Convergent Systems (Preliminary Version) (ND, SM, GS), pp. 589–602.

DAC-1991-WagnerL #design #framework

Design Version Management in the GARDEN Framework (FRW, AHVdL), pp. 704–710.

SIGMOD-1991-AhmedN #database

Version Management of Composite Objects in CAD Databases (RA, SBN), pp. 218–227.

STOC-1991-BlumRS #geometry #navigation

Navigating in Unfamiliar Geometric Terrain (Preliminary Version) (AB, PR, BS), pp. 494–504.

STOC-1991-BorodinIRS #locality

Competitive Paging with Locality of Reference (Preliminary Version) (AB, SI, PR, BS), pp. 249–259.

STOC-1991-DengM #game studies #infinity #online #problem

Infinite Games, Randomization, Computability, and Applications to Online Problems (Preliminary Version) (XD, SM), pp. 289–298.

STOC-1991-GoodrichT

Dynamic Trees and Dynamic Point Location (Preliminary Version) (MTG, RT), pp. 523–533.

ECOOP-1991-LippeF #implementation

Implementation Techniques for Integral Version Management (EL, GF), pp. 342–359.

OOPSLA-1991-SimmelG #data access #semantics #transaction

The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations (SSS, IG), pp. 230–246.

RTA-1991-FarmerW #graph grammar

Redex Capturing in Term Graph Rewriting (Concise Version) (WMF, RJW), pp. 13–24.

VLDB-1990-CellaryJ #consistency #database #object-oriented

Consistency of Versions in Object-Oriented Databases (WC, GJ), pp. 432–441.

PLDI-1990-Horwitz #difference #identification #semantics

Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.

STOC-1990-BorodinT #decidability #on the #polynomial

On the Decidability of Sparse Univariate Polynomial Interpolation (Preliminary Version) (AB, PT), pp. 535–545.

STOC-1990-CoppersmithDRS #algorithm #graph #online #random

Random Walks on Weighted Graphs, and Applications to On-line Algorithms (Preliminary Version) (DC, PD, PR, MS), pp. 369–378.

STOC-1990-FeigePRU

Computing with Unreliable Information (Preliminary Version) (UF, DP, PR, EU), pp. 128–137.

STOC-1990-GilHW #constant

Not All Keys Can Be Hashed in Constant Time (Preliminary Version) (JYG, FMadH, AW), pp. 244–253.

ICALP-1990-ColeGO #diagrams #parallel #performance

Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction (Preliminary Version) (RC, MTG, CÓ), pp. 432–445.

ICALP-1990-GoodrichAO #trade-off

An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version) (MTG, MJA, MHO), pp. 689–702.

ML-1990-Hish #incremental

Incremental Version-Space Merging (HH), pp. 330–338.

DAC-1989-SilvaGKN #version control

Protection and Versioning for OCT (MJS, DG, RHK, RN), pp. 264–269.

SIGMOD-1989-Kent #bibliography #problem #version control

An Overview of the Versioning Problem (WK), pp. 5–7.

VLDB-1989-AgrawalJ #configuration management #on the #version control

On Correctly Configuring Versioned Objects (RA, HVJ), pp. 367–374.

STOC-1989-AggarwalAK #graph #parallel

Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.

STOC-1989-CohenM #algorithm #detection #graph #polynomial

Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Dynamic Graphs (Preliminary Version) (EC, NM), pp. 523–534.

STOC-1989-GrahamY #on the

On the Improbability of Reaching Byzantine Agreements (Preliminary Version) (RLG, ACCY), pp. 467–478.

STOC-1989-KaoS #order

Local Reorientation, Global Order, and Planar Topology (Preliminary Version) (MYK, GES), pp. 286–296.

STOC-1989-Upfal

An O(log N) Deterministic Packet Routing Scheme (Preliminary Version) (EU), pp. 241–250.

ICALP-1989-Allender

Limitations of the Upward Separation Technique (Preliminary Version) (EA), pp. 18–30.

ICALP-1989-DershowitzKP #infinity #normalisation

Infinite Normal Forms (Preliminary Version) (ND, SK, DAP), pp. 249–262.

ICALP-1989-LiV #concurrent #how

How to Share Concurrent Asynchronous Wait-Free Variables (Preliminary Version) (ML, PMBV), pp. 488–505.

ICALP-1989-LiV89a #approach #complexity #formal method

A New Approach to Formal Language Theory by Kolmogorov Complexity (Preliminary Version) (ML, PMBV), pp. 506–520.

ML-1989-Hirsh #empirical #learning

Combining Empirical and Analytical Learning with Version Spaces (HH), pp. 29–33.

ESEC-1989-LieDCKHH #version control

Change Oriented Versioning (AL, TD, RC, EAK, SOH, PH), pp. 191–202.

ESEC-1989-OquendoBGMT #re-engineering

Version Management in the PACT Integrated Software Engineering Environment (FO, KB, FG, RM, IT), pp. 222–242.

LICS-1989-NerodeRS #logic

Polynomially Grade Logic I: A Graded Version of System T (AN, JBR, AS), pp. 375–385.

RTA-1989-HofbauerL #proving #termination

Termination Proofs and the Length of Derivations (Preliminary Version) (DH, CL), pp. 167–177.

DAC-1988-ChouK #database #object-oriented

Versions and Change Notification in an Object-Oriented Database System (HTC, WK), pp. 275–281.

PODS-1988-YuR #database #version control

Minimizing Time-Space Cost For Database Version Control (LY, DJR), pp. 294–301.

VLDB-1988-KimC #database #object-oriented

Versions of Schema for Object-Oriented Databases (WK, HTC), pp. 148–159.

STOC-1988-AggarwalC #algorithm #memory management

Virtual Memory Algorithms (Preliminary Version) (AA, AKC), pp. 173–185.

STOC-1988-AggarwalCR #energy

Energy Consumption in VLSI Circuits (Preliminary Version) (AA, AKC, PR), pp. 205–216.

STOC-1988-BermanS #fault tolerance #network

Investigations of Fault-Tolerant Networks of Computers (Preliminary Version) (PB, JS), pp. 66–77.

STOC-1988-BhattCHLR #network #simulation

Optimal Simulations by Butterfly Networks (Preliminary Version) (SNB, FRKC, JWH, FTL, ALR), pp. 192–204.

STOC-1988-JerrumS #agile #approximate #markov

Conductance and the Rapid Mixing Property for Markov Chains: the Approximation of the Permanent Resolved (Preliminary Version) (MJ, AS), pp. 235–244.

STOC-1988-KosarajuS #detection #graph #polynomial

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) (SRK, GFS), pp. 398–406.

ICALP-1988-AggarwalC #communication #complexity

Communication Complexity of PRAMs (Preliminary Version) (AA, AKC), pp. 1–17.

ML-1988-ChengFIQ

Improved Decision Trees: A Generalized Version of ID3 (JC, UMF, KBI, ZQ), pp. 100–106.

POPL-1988-HorwitzPR #source code

Integrating Non-Interfering Versions of Programs (SH, JP, TWR), pp. 133–145.

DAC-1987-BhatejaK #design #named #validation

VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data (RB, RHK), pp. 321–327.

VLDB-1987-EcklundEET #distributed #named

DVSS: A Distributed Version Storage Server for CAD Applications (DJE, EFEJ, ROE, FMT), pp. 443–454.

STOC-1987-Furer #communication #complexity #power of

The Power of Randomness for Communication Complexity (Preliminary Version) (MF), pp. 178–181.

ICSE-1987-Perry87a #version control

Version Control in the Inscape Environment (DEP), pp. 142–149.

ICSE-1987-Winkler #product line #scalability #source code #version control

Version Control in Families of Large Programs (JFHW), pp. 150–165.

LICS-1987-KfouryTU #functional #source code

The Hierarchy of Finitely Typed Functional Programs (Short Version) (AJK, JT, PU), pp. 225–235.

DAC-1986-KatzAC #design

A version server for computer-aided design data (RHK, MA, EEC), pp. 27–33.

SIGMOD-1986-KatzCB #concept #database #design #modelling

Version Modeling Concepts for Computer-Aided Design Databases (RHK, EEC, RB), pp. 379–386.

VLDB-1986-ChouK #framework #version control

A Unifying Framework for Version Control in a CAD Environment (HTC, WK), pp. 336–344.

VLDB-1986-KlaholdSW #database

A General Model for Version Management in Databases (PK, GS, WW), pp. 319–327.

STOC-1986-DworkPPU #bound #fault tolerance #network

Fault Tolerance in Networks of Bounded Degree (Preliminary Version) (CD, DP, NP, EU), pp. 370–379.

STOC-1986-FeldmanFP #network

Non-Blocking Networks (Preliminary Version) (PF, JF, NP), pp. 247–254.

STOC-1986-KarlinU #implementation #memory management #parallel #performance

Parallel Hashing-An Efficient Implementation of Shared Memory (Preliminary Version) (ARK, EU), pp. 160–168.

STOC-1986-KosarajuA #array #simulation

Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.

STOC-1986-LuekerMR #difference #linear #programming

Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.

ICLP-1986-Huntbach86 #model inference

An Improvised Version of Shapiro’s Model Inference System (MMH), pp. 180–187.

LICS-1986-Meyer #hoare #logic #semantics

Floyd-Hoare Logic Defines Semantics: Preliminary Version (ARM), pp. 44–48.

STOC-1985-BruceL #equation #modelling #morphism

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.

STOC-1985-CarterSW #backtracking #complexity

The Complexity of Backtrack Searches (Preliminary Version) (LC, LJS, MNW), pp. 449–457.

STOC-1985-CoanDDS #distributed #problem

The Distributed Firing Squad Problem (Preliminary Version) (BAC, DD, CD, LJS), pp. 335–345.

STOC-1985-HalpernMM #nondeterminism #precise

Optimal Precision in the Presence of Uncertainty (Preliminary Version) (JYH, NM, AAM), pp. 346–355.

STOC-1985-JimboM

Expanders Obtained from Affine Transformations (Preliminary Version) (SJ, AM), pp. 88–97.

ICALP-1985-KurtzM #algorithm #analysis #distributed #probability #set

A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis (Preliminary Version) (TGK, UM), pp. 356–362.

ICALP-1985-LubyR #algorithm #behaviour #bidirectional

A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version) (ML, PR), pp. 394–403.

DAC-1984-Lanfri #geometry #named

Phled45: An enhanced version of caesar supporting 45° geometries (ARL), pp. 558–564.

VLDB-1984-DadamLW #database #integration #relational

Integration of Time Versions into a Relational Database System (PD, VYL, HDW), pp. 509–522.

STOC-1984-FredericksonS #data type #online

Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) (GNF, MAS), pp. 383–390.

STOC-1984-KlawePPY #on the #strict

On Monotone Formulae with Restricted Depth (Preliminary Version) (MMK, WJP, NP, MY), pp. 480–487.

STOC-1984-Manber #concurrent #information management #maintenance #on the

On Maintaining Dynamic Information in a Concurrent Environment (Preliminary Version) (UM), pp. 273–278.

STOC-1984-Upfal #modelling #parallel #probability

A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) (EU), pp. 258–265.

STOC-1984-Vitanyi #distributed

Distributed Elections in an Archimedean Ring of Processors (Preliminary Version) (PMBV), pp. 542–547.

ICALP-1984-Vitanyi #realtime

The Simple Roots of Real-Time Computation Hierarchies (Preliminary Version) (PMBV), pp. 486–489.

DAC-1983-Hahn #design #multi

Computer Design Language — Version Munich (CDLM) a modern multi-level language (WH), pp. 4–11.

VLDB-1983-LinN #multi

Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking (WTKL, JN), pp. 109–119.

STOC-1983-DolevDPW

Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version) (DD, CD, NP, AW), pp. 42–51.

STOC-1983-Frederickson #data type #online

Data Structures for On-Line Updating of Minimum Spanning Trees (Preliminary Version) (GNF), pp. 252–257.

STOC-1983-Stockmeyer #approximate #complexity

The Complexity of Approximate Counting (Preliminary Version) (LJS), pp. 118–126.

PODS-1982-PapadimitriouK #concurrent #multi #on the

On Concurrency Control by Multiple Versions (CHP, PCK), pp. 76–82.

VLDB-1982-Larson #linear

A Single-File Version of Linear Hashing with Partial Expansions (PÅL), pp. 300–309.

STOC-1982-AtallahK #array #graph #problem

Graph Problems on a Mesh-Connected Processor Array (Preliminary Version) (MJA, SRK), pp. 345–353.

STOC-1982-Greenberg #communication #complexity #on the

On the Time Complexity of Broadcast Communication Schemes (Preliminary Version) (AGG), pp. 354–364.

STOC-1982-HongS #network

Notes on Merging Networks (Preliminary Version) (ZH, RS), pp. 296–302.

STOC-1982-Kosaraju #decidability #reachability

Decidability of Reachability in Vector Addition Systems (Preliminary Version) (SRK), pp. 267–281.

STOC-1982-Pippenger #probability #simulation

Probabilistic Simulations (Preliminary Version) (NP), pp. 17–26.

STOC-1982-RivestS #how #memory management #reuse

How to Reuse a “Write-Once” Memory (Preliminary Version) (RLR, AS), pp. 105–113.

ICALP-1982-Pippenger #roadmap

Advances in Pebbling (Preliminary Version) (NP), pp. 407–417.

STOC-1981-DurisG #automaton

Fooling a Two-Way Automaton or One Pushdown Store Is Better Than One Counter for Two Way Machines (Preliminary Version) (PD, ZG), pp. 177–188.

STOC-1981-HongR #graph

Graphs that Are Almost Binary Trees (Preliminary Version) (JWH, ALR), pp. 334–341.

STOC-1981-Simon #bound #complexity #probability #turing machine

Space-Bounded Probabilistic Turing Machine Complexity Classes Are Closed under Complement (Preliminary Version) (JS), pp. 158–167.

ICALP-1981-Dershowitz #linear #term rewriting #termination

Termination of Linear Rewriting Systems (Preliminary Version) (ND), pp. 448–458.

ICALP-1981-HongMR #graph #trade-off

Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary Version) (JWH, KM, ALR), pp. 41–55.

ICALP-1981-Jones #analysis

Flow Analysis of λ Expressions (Preliminary Version) (NDJ), pp. 114–128.

VLDB-1980-Walker #database #on the #retrieval #scalability

On Retrieval from a Small Version of a Large Data Base (AW), pp. 47–54.

STOC-1980-FischerP #layout

Optimal Tree Layout (Preliminary Version) (MJF, MP), pp. 177–189.

STOC-1980-FredericksonJ #ranking

Generalized Selection and Ranking (Preliminary Version) (GNF, DBJ), pp. 420–428.

STOC-1980-JosephY #independence

Independence Results in Computer Science? (Preliminary Version) (DJ, PY), pp. 58–69.

STOC-1980-PaulSS #approach #bound #online

An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) (WJP, JIS, JS), pp. 357–367.

STOC-1980-Pippenger #comparative

Comparative Schematology and Pebbling with Auxiliary Pushdowns (Preliminary Version) (NP), pp. 351–356.

STOC-1980-Tompa #problem

An Optimal Solution to a Wire-Routing Problem (Preliminary Version) (MT), pp. 161–176.

ICALP-1980-CousotC #analysis #communication #csp #process #semantics

Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.

ICALP-1980-EhrigKTWW #algebra #data type #specification

Parameterized Data Types in Algebraic Specification Languages (Short Version) (HE, HJK, JWT, EGW, JBW), pp. 157–168.

STOC-1979-Kosaraju #multi #on the #problem

On a Multidimensional Search Problem (Preliminary Version) (SRK), pp. 67–73.

STOC-1979-Kosaraju79a #algorithm #array #graph #parallel #performance #problem

Fast Parallel Processing Array Algorithms for some Graph Problems (Preliminary Version) (SRK), pp. 231–236.

STOC-1979-Kosaraju79aa #realtime #simulation

Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (Preliminary Version) (SRK), pp. 346–351.

ICALP-1979-Nijholt #recursion

Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.

STOC-1978-Dowd #proving #representation

Propositional Representation of Arithmetic Proofs (Preliminary Version) (MD), pp. 246–252.

STOC-1977-Hartmanis #complexity #proving

Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version) (JH), pp. 223–227.

STOC-1977-SacerdoteT #decidability #problem #reachability

The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) (GSS, RLT), pp. 61–76.

STOC-1977-Simon #on the

On Feasible Numbers (Preliminary Version) (JS), pp. 195–207.

ICALP-1977-Simon #difference #on the

On the Difference Between One and Many (Preliminary Version) (JS), pp. 480–491.

STOC-1976-Kosaraju #on the

On Structuring Flowcharts (Preliminary Version) (SRK), pp. 101–111.

STOC-1976-Pippenger

The Realization of Monotone Boolean Functions (Preliminary Version) (NP), pp. 204–210.

STOC-1975-Cook #calculus #proving

Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version) (SAC), pp. 83–97.

STOC-1974-BorodinC #on the

On the Number of Additions to Compute Specific Polynomials (Preliminary Version) (AB, SAC), pp. 342–347.

STOC-1974-CookR #calculus #on the #proving

On the Lengths of Proofs in the Propositional Calculus (Preliminary Version) (SAC, RAR), pp. 135–148.

STOC-1972-WalkerS #recursion

Characterization of Flowchartable Recursions (Short Version) (SAW, HRS), pp. 18–34.

STOC-1971-Robertson #complexity #recursion

Complexity Classes of Partial Recursive Functions (Preliminary Version) (ELR), pp. 258–266.

STOC-1970-AhoU

Transformations on Straight Line Programs-Preliminary Version (AVA, JDU), pp. 136–148.

STOC-1970-LandweberR #complexity #recursion

Recursive Properties of Abstract Complexity Classes (Preliminary Version) (LHL, ELR), pp. 31–36.

STOC-1969-Young #order #set

Speed-Ups by Changing the Order in Which Sets are Enumerated (Preliminary Version) (PRY), pp. 89–92.