Stem back$ (all stems)

169 papers:

DAC-2015-KoJKLS #design #guidelines

Guidelines to design parity protected write-back L1 data cache (YK, RJ, YK, KL, AS), p. 6.

DATE-2015-LeeJG #functional #hardware #performance #simulation

Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.

VLDB-2015-DongT #roadmap

A Time Machine for Information: Looking Back to Look Forward (XLD, WCT), pp. 2044–2055.

STOC-2015-ChristianiPT #independence

From Independence to Expansion and Back Again (TC, RP, MT), pp. 813–820.

CHI-2015-CorstenCKB #named

HaptiCase: Back-of-Device Tactile Landmarks for Eyes-Free Absolute Indirect Touch (CC, CC, TK, JOB), pp. 2171–2180.

CHI-2015-LeeHL #performance

Investigating the Information Transfer Efficiency of a 3x3 Watch-back Tactile Display (JL, JH, GL), pp. 1229–1232.

CHI-2015-MariakakisGAPW #mobile #named #using

SwitchBack: Using Focus and Saccade Tracking to Guide Users’ Attention for Mobile Task Resumption (AM, MG, MTIA, SNP, JOW), pp. 2953–2962.

CSCW-2015-GiesbrechtCS #mobile

Back in Sight, Back in Mind: Picture-Centric Support for Mobile Counseling Sessions (TG, TC, GS), pp. 486–495.

ICEIS-v2-2015-PereiraBD #formal method #uml

Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.

ICSE-v1-2015-WeissRL #fault #program analysis #scalability

Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.

ICLP-J-2015-AlvianoFG #programming #recursion #set

Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.

LICS-2015-CarvalhoMM #algebra #complexity

From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.

DATE-2014-JeongOSNS #parametricity #self

Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.

VLDB-2014-FloratouMO #architecture #database #named

SQL-on-Hadoop: Full Circle Back to Shared-Nothing Database Architectures (AF, UFM, FÖ), pp. 1295–1306.

AFL-2014-GruberH #automaton #complexity #finite #regular expression #summary

From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity (HG, MH), pp. 25–48.

DLT-2014-Weil #algebra #logic

From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.

CHI-2014-NoorRHRWM #predict

28 frames later: predicting screen touches from back-of-device grip changes (MFMN, AR, SH, SR, JW, RMS), pp. 2005–2008.

ICPR-2014-ChenK14a #learning

Learning to Count with Back-propagated Information (KC, JKK), pp. 4672–4677.

TAP-2014-Gabmeyer #assurance #quality

Quality Assurance in MBE Back and Forth (SG), pp. 78–81.

ASE-2013-SayyadIMA #product line #scalability

Scalable product line configuration: A straw to break the camel’s back (ASS, JI, TM, HA), pp. 465–474.

DATE-2013-RakossyHTSNO #architecture #array #fault #functional #testing

Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.

ITiCSE-2013-CarboneRC

Five years of taps on shoulders to PATS on backs in ICT (AC, BR, JC), pp. 195–200.

PLDI-2013-CheungSM #optimisation #query #synthesis

Optimizing database-backed applications with query synthesis (AC, ASL, SM), pp. 3–14.

IFL-2013-DanvyTZ #abstraction

Circularity and λ Abstraction: From Bird to Pettorossi and back (OD, PT, IZ), p. 85.

CHI-2013-LucaZNMRSL #authentication #smarttech

Back-of-device authentication on smartphones (ADL, EvZ, NDHN, MEM, ER, MPS, ML), pp. 2389–2398.

CSCW-2013-ScissorsG #quote

“Back and forth, back and forth”: channel switching in romantic couple conflict (LES, DG), pp. 237–248.

DUXU-NTE-2013-AbujaradSDP #monitoring #safety

Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 3–9.

HIMI-D-2013-SusukiTOM #analysis #behaviour

Cognitive Analysis of Driver’s Behavior with Seamless Display of Back-Monitor and Side-View Mirror (NS, KT, MO, HM), pp. 642–649.

OCSC-2013-GoodSP #facebook #roadmap

Looking Back at Facebook Content and the Positive Impact Upon Wellbeing: Exploring Reminiscing as a Tool for Self Soothing (AG, AS, VP), pp. 278–286.

POPL-2013-Krishnamurthi #programming language

From principles to programming languages (and back) (SK), pp. 233–234.

ICSE-2013-Ciccozzi #modelling #uml

From models to code and back: correct-by-construction code from UML and ALF (FC), pp. 1459–1461.

TAP-2013-ArthoBS #modelling #testing #verification

Model-Based Testing for Verification Back-Ends (CA, AB, MS), pp. 39–55.

DATE-2012-NasseryO

An analytical technique for characterization of transceiver IQ imbalances in the loop-back mode (AN, SO), pp. 1084–1089.

TACAS-2012-AlbarghouthiGC #approximate

From Under-Approximations to Over-Approximations and Back (AA, AG, MC), pp. 157–172.

CHI-2012-DearmanGT #mobile #using

Determining the orientation of proximate mobile devices using their back facing camera (DD, RTG, KNT), pp. 2231–2234.

CHI-2012-YangFLGB #architecture #navigation #scalability #web

Aural browsing on-the-go: listening-based back navigation in large web architectures (TY, MF, YL, RRG, DB), pp. 277–286.

CIKM-2012-KurlandSHRCR #framework #predict #probability

Back to the roots: a probabilistic framework for query-performance prediction (OK, AS, SH, FR, DC, OR), pp. 823–832.

ICML-2012-MartensSS

Estimating the Hessian by Back-propagating Curvature (JM, IS, KS), p. 126.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

MoDELS-2012-KuhlmannG #logic #ocl #relational #uml

From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.

SPLC-2012-El-SharkawyDS #analysis #feature model #modelling

From feature models to decision models and back again an analysis based on formal transformations (SES, SD, KS), pp. 126–135.

ISMM-2012-ShahriyarBF

Down for the count? Getting reference counting back in the ring (RS, SMB, DF), pp. 73–84.

CAV-2012-Moskal #bound #c #infinity #verification

From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.

CAV-2012-PaulaHN #debugging #named #nondeterminism

nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces (FMdP, AJH, AN), pp. 513–531.

SAT-2012-SabharwalSS #learning #satisfiability

Learning Back-Clauses in SAT — (Poster Presentation) (AS, HS, MS), pp. 498–499.

DAC-2011-PaulaNNOH #named

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.

CSMR-2011-Seibel #model management #traceability

From Software Traceability to Global Model Management and Back Again (AS), pp. 381–384.

CHI-2011-RobinsonRJJSN #interface #mobile #named #towards

TapBack: towards richer mobile interfaces in impoverished contexts (SR, NR, MJ, AJ, SS, AAN), pp. 2733–2736.

CSCW-2011-ZhaoLLG #approach #game studies #hybrid #internet #realtime #video

Back to the future: a hybrid approach to transparent sharing of video games over the internet in real time (SZ, DL, TL, NG), pp. 187–196.

SIGAda-2011-Carlisle #ada #why

Why i came back to Ada (MCC), pp. 37–38.

CIKM-2011-HopcroftLT #predict

Who will follow you back?: reciprocal relationship prediction (JEH, TL, JT), pp. 1137–1146.

ECIR-2011-ZucconAR #analysis

Back to the Roots: Mean-Variance Analysis of Relevance Estimations (GZ, LA, KvR), pp. 716–720.

ECMFA-2011-CombemaleGR #domain-specific language #semantics

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.

ECOOP-2011-PothierT #debugging #query #scalability

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.

ASPLOS-2011-EsmaeilzadehCXBM #hardware #performance #roadmap #scalability

Looking back on the language and hardware revolutions: measured power, performance, and scaling (HE, TC, XY, SMB, KSM), pp. 319–332.

HPDC-2011-NicolaeBKA #multi #performance

Going back and forth: efficient multideployment and multisnapshotting on clouds (BN, JB, KK, GA), pp. 147–158.

SOSP-2011-ChandraKSNZ #web

Intrusion recovery for database-backed web applications (RC, TK, MS, NN, NZ), pp. 101–114.

ICST-2011-BelliBTF #automaton #mutation testing #testing

Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.

ICSM-2010-TonelliKR #api #migration

Swing to SWT and back: Patterns for API migration by wrapping (TTB, KC, RL), pp. 1–10.

PEPM-2010-Haftmann #haskell #higher-order #logic

From higher-order logic to Haskell: there and back again (FH), pp. 155–158.

SEFM-2010-HegedusBRV #model transformation #simulation

Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.

CAiSE-2010-MiklosBBCCFGIKMa #web

From Web Data to Entities and Back (ZM, NB, PB, MC, DC, PF, JG, EI, HK, AM), pp. 302–316.

ICPR-2010-SilvaLSBKT #classification #documentation

Enhancing the Filtering-Out of the Back-to-Front Interference in Color Documents with a Neural Classifier (GdFPeS, RDL, JMS, SB, AK, MT), pp. 2415–2419.

KR-2010-BienvenuLW #logic

From Preference Logics to Preference Languages, and Back (MB, JL, NW).

ECOOP-2010-SamimiAM #execution #specification

Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.

OOPSLA-2010-SwaineTDFF #incremental #parallel #runtime

Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.

OSDI-2010-Chlipala #policy #security #static analysis

Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.

HT-2009-MorishimaNISK #approach #lessons learnt

Bringing your dead links back to life: a comprehensive approach and lessons learned (AM, AN, TI, SS, HK), pp. 15–24.

PEPM-2009-CunhaSV #database #relational #spreadsheet

From spreadsheets to relational databases and back (JC, JS, JV), pp. 179–188.

FM-2009-OHalloran #verification

Guess and Verify — Back to the Future (CO), pp. 23–32.

CHI-2009-BaudischC #interactive

Back-of-device interaction allows creating very small touch devices (PB, GC), pp. 1923–1932.

ICEIS-HCI-2009-JuniorJATPASN #interactive #internet #multi #prototype #using #web

Back Channel in Interactive Digital Television Systems: Strategies for Prototyping Applications using an Interactive Service Provider — Internet Computing — Interactive and Multimedia Web Applications (JBdSJ, JCdMMJ, ICA, FCT, GMP, PMdÁ, MdS, RFdN), pp. 130–135.

ICEIS-J-2009-MullerKEHZ #as a service #enterprise #multitenancy

Customizing Enterprise Software as a Service Applications: Back-End Extension in a Multi-tenancy Environment (JM, JK, SE, MH, AZ), pp. 66–77.

TOOLS-EUROPE-2009-LienhardFN #debugging

Flow-Centric, Back-in-Time Debugging (AL, JF, ON), pp. 272–288.

GPCE-2009-BaggeDH #axiom #c++ #concept #testing

The axioms strike back: testing with concepts and axioms in C++ (AHB, VD, MH), pp. 15–24.

DATE-2008-Garcia #automation #configuration management

Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.

PODS-2008-ArenasPR

The recovery of a schema mapping: bringing exchanged data back (MA, JP, CR), pp. 13–22.

SIGMOD-2008-MoerkotteN #programming

Dynamic programming strikes back (GM, TN), pp. 539–552.

PEPM-2008-Mu #algorithm #bound #problem

Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths (SCM), pp. 31–39.

ICGT-2008-Dodds #logic

From Separation Logic to Hyperedge Replacement and Back (MD), pp. 484–486.

ICPR-2008-SinhaGM #modelling #robust

Back to the future: Robust foreground extraction with reversed-time background modeling (AKS, PG, AM), pp. 1–4.

ECOOP-2008-LienhardGN #debugging #object-oriented

Practical Object-Oriented Back-in-Time Debugging (AL, TG, ON), pp. 592–615.

TOOLS-EUROPE-2008-DiskinED #modelling #semantics

Engineering Associations: From Models to Code and Back through Semantics (ZD, SME, JD), pp. 336–355.

POPL-2008-LahiriQ #precise #smt #using #verification

Back to the future: revisiting precise program verification using SMT solvers (SKL, SQ), pp. 171–182.

SPLC-2008-CzarneckiSW #feature model #modelling

Sample Spaces and Feature Models: There and Back Again (KC, SS, AW), pp. 22–31.

ICLP-2008-Montanari #logic

Back to Interval Temporal Logics (AM), pp. 11–13.

HT-2007-Hall #hypermedia

Back to the future with hypertext: a tale of two or three conferences (WH), pp. 179–180.

HT-2007-NelsonSM #hypermedia

Back to the future: hypertext the way it used to be (THN, RAS, MM), pp. 227–228.

SIGMOD-2007-AntovaKO

From complete to incomplete information and back (LA, CK, DO), pp. 713–724.

TACAS-2007-Cleaveland #lessons learnt

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market (RC), p. 1.

ICPC-2007-RatiuD #source code

From Reality to Programs and (Not Quite) Back Again (DR, FD), pp. 91–102.

CHI-2007-Aoki #performance

Back stage on the front lines: perspectives and performance in the combat information center (PMA), pp. 717–726.

SIGAda-2007-Chapman07a #correctness

Correctness by construction: putting engineering (back) into software (RC), p. 100.

SAC-2007-LinsS #algorithm #documentation

A quantitative method for assessing algorithms to remove back-to-front interference in documents (RDL, JMMdS), pp. 610–616.

SAC-2007-SilvaL #algorithm #documentation #performance

A fast algorithm to binarize and filter documents with back-to-front interference (JMMdS, RDL), pp. 639–640.

SPLC-2007-CzarneckiW #diagrams #feature model #logic

Feature Diagrams and Logics: There and Back Again (KC, AW), pp. 23–34.

ICML-2006-LawrenceC #constraints #distance

Local distance preservation in the GP-LVM through back constraints (NDL, JQC), pp. 513–520.

POPL-2006-Leroy #certification #compilation #programming #proving

Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.

SAC-2006-SilvaLR #documentation

Binarizing and filtering historical documents with back-to-front interference (JMMdS, RDL, VCdR), pp. 853–858.

DATE-2005-CabodiCNQ #bound #model checking #quantifier #set

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking (GC, MC, SN, SQ), pp. 688–689.

ICDAR-2005-Suen

From Humans to Handwriting to Computer and Back (CYS), p. 2.

PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering

TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.

ICALP-2005-KonemannLSZ #problem

From Primal-Dual to Cost Shares and Back: A Stronger LP Relaxation for the Steiner Forest Problem (JK, SL, GS, SHMvZ), pp. 930–942.

PODS-2004-GottlobKBHF #theory and practice

The Lixto Data Extraction Project — Back and Forth between Theory and Practice (GG, CK, RB, MH, SF), pp. 1–12.

ITiCSE-2004-Mander #question

Back to the future? (KM), p. 2.

ICPR-v1-2004-ParkL #distance #fault #identification #image #using

Enhancing Low-Resolution Facial Images Using Error Back-Projection for Human Identification at a Distance (JSP, SWL), pp. 346–349.

SIGIR-2004-SakaiSIKK #evaluation

The effect of back-formulating questions in question answering evaluation (TS, YS, YI, TK, MK), pp. 474–475.

SAC-2004-LimaLS #category theory #combinator #haskell #multi

A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.

PLDI-2003-ChenWAF #optimisation

A provably sound TAL for back-end optimization (JC, DW, AWA, HF), pp. 208–219.

ICALP-2003-CrescenziGNPU #online

Online Load Balancing Made Simple: Greedy Strikes Back (PC, GG, GN, PP, WU), pp. 1108–1122.

FME-2003-Kishida #development #paradigm #roadmap

Looking Back to the Future: Thoughts on Paradigm Shift in Software Development (KK), pp. 1–6.

ICEIS-v2-2003-KeeniGS #learning #network #on the #performance #using

On Fast Learning of Neural Networks Using Back Propagation (KK, KG, HS), pp. 266–271.

CSL-2003-Artemov #logic

Back to the Future: Explicit Logic for Computer Science (Invited Lecture) (SNA), p. 43.

DAC-2002-PilarskiH #satisfiability

SAT with partial clauses and back-leaps (SP, GH), pp. 743–746.

DATE-2002-ChelceaNBE #synthesis

A Burst-Mode Oriented Back-End for the Balsa Synthesis System (TC, SMN, AB, DAE), pp. 330–337.

HT-2002-Golovchinsky #hypermedia

Going back in Hypertext (GG), pp. 82–83.

CSMR-2002-Favre #approach

A New Approach to Software Exploration: Back-Packing with GSEE (JMF), p. 251–?.

ICFP-2002-DanvyG

There and back again (OD, MG), pp. 230–234.

ICPR-v2-2002-MielikainenK #image #integer #multi

Improved Back End for Integer PCA and Wavelet Transforms for Lossless Compression of Multispectral Images (JM, AK), pp. 257–260.

POPL-2002-Felleisen

From POPL to the classroom and back (MF), pp. 126–127.

ICDAR-2001-LejtmanG #network #online #using #verification

On-line Handwritten Signature Verification Using Wavelets and Back-propagation Neural Networks (DZL, SEG), pp. 992–996.

VLDB-2001-LuoN #web

Form-Based Proxy Caching for Database-Backed Web Sites (QL, JFN), pp. 191–200.

STOC-2000-FaginKKRRRST #random

Random walks with “back buttons” (extended abstract) (RF, ARK, JMK, PR, SR, RR, MS, AT), pp. 484–493.

SAC-2000-ChongS

Back to the Basics: A first Class Chalkboard and More (NSTC, MS), pp. 131–136.

LICS-2000-GradelHO #logic

Back and Forth between Guarded and Modal Logics (EG, CH, MO), pp. 217–228.

STOC-1999-Ben-AmramP

Backing Up in Singly Linked Lists (AMBA, HP), pp. 780–786.

ICML-1999-GiordanaP #behaviour #on the

On Some Misbehaviour of Back-Propagation with Non-Normalized RBFNs and a Solution (AG, RP), pp. 162–170.

DATE-1998-SungH #hardware

Optimized Timed Hardware Software Cosimulation without Roll-back (WS, SH), pp. 945–946.

SIGMOD-1998-KiepuszewskiMO #named #workflow

FlowBack: Providing Backward Recovery for Workflow Systems (BK, RM, MEO), pp. 555–557.

IFL-1998-Reid #implementation

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes (AR), pp. 186–199.

CSCW-1998-Grinter #named

Recomposition: Putting It All Back Together Again (REG), pp. 393–402.

HCI-SEC-1997-PedraliB #analysis #process #question

Can We Trace Back Cognitive Processes in Root Cause Analysis? (MP, RB), pp. 59–62.

CIKM-1997-GoralwallaLOS #modelling

Modeling Temporal Primitives: Back to Basics (IAG, YL, MTÖ, DS), pp. 24–31.

OOPSLA-1997-IngallsKMWK #smalltalk

Back to the Future: The Story of Squeak — A Usable Smalltalk Written in Itself (DI, TK, JM, SW, ACK), pp. 318–326.

ICFP-1996-HardinMP #calculus #functional

Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.

IFL-1996-BoquistJ #functional #lazy evaluation #optimisation

The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages (UB, TJ), pp. 58–84.

CSCW-1996-Greenbaum #case study #process

Back to Labor: Returning to Labor Process Discussions in the Study of Work (JG), pp. 229–237.

ICRE-1996-Boehm #requirements #roadmap

Requirements Engineering at Age 20: Looking Back, Looking Ahead (BWB), p. 255.

SAC-1996-LeungC #network

A stroke-order free Chinese handwriting input system based on relative stroke positions and back-propagation networks (WnL, KsC), pp. 22–27.

CADE-1996-Voronkov #logic #similarity

Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification (AV), pp. 32–46.

CHI-1995-WhittakerS #coordination

Back to the Future: Pen and Paper Technology Supports Complex Group Coordination (SW, HS), pp. 495–502.

ESOP-J-1992-Danvy94

Back to Direct Style (OD), pp. 183–195.

SAC-1994-LogarCWWW #algorithm #image #recognition

A don’t care back propagation algorithm applied to satellite image recognition (AML, EMC, SW, RW, RW), pp. 369–373.

CC-1994-GeorgeGR #compilation #optimisation

A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.

HCI-SHI-1993-Sato #collaboration #design #development

Human Centred Collaborative Design in System Development — Intelligent Back Scratcher to be Attentive to User’s Needs (YS), pp. 949–954.

HCI-SHI-1993-Unger #generative #roadmap

The Fifth Generation Fallacy: Looking Back from 1993 (JMU), pp. 933–938.

PLILP-1993-CanaldaCDM #generative #named

PAGODE: a Back End Generator (PC, LC, AD, MM), pp. 410–411.

ILPS-1993-Ben-Eliyahu #revisited

Back to the Future: Program Completion, Revisited (RBE), p. 642.

DAC-1992-HuangD #compilation #pipes and filters #set #synthesis

High Level Synthesis of Pipelined Instruction Set Processors and Back-End Compilers (IJH, AMD), pp. 135–140.

ESOP-1992-Danvy

Back to Direct Style (OD), pp. 130–150.

LFP-1992-DanvyL #continuation

Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.

DAC-1991-RaghavendraL #automation #self #synthesis

Automated Micro-Roll-back Self-Recovery Synthesis (VR, CL), pp. 385–390.

SIGMOD-1991-LohmanLLACMMPW #exclamation

Starburst II: The Extender Strikes Back! (GML, GL, TJL, RA, RC, JM, CM, HP, JW), p. 447.

SEI-1990-Bustard #concurrent #education #experience #roadmap

An Experience of Teaching Concurrency: looking back, looking forward (DWB), pp. 123–135.

CC-1990-DesplandMR #generative #named #term rewriting #using

PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings (AD, MM, RR), pp. 86–105.

CADE-1990-NieP #proving #semantics

A Complete Semantic Back Chaining Proof System (XN, DAP), pp. 16–27.

CLP-1990-Malhotra90 #algorithm #prolog

An Algorithm for Optimal Back-Striding in Prolog (VMM), pp. 147–158.

PLDI-1989-EmmelmannSL #generative #named #performance

BEG — A Generator for Efficient Back Ends (HE, FWS, RL), pp. 227–237.

OOPSLA-1989-RussoC #design #memory management #multi #object-oriented #operating system #using

Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques (VFR, RHC), pp. 267–278.

ICSE-1989-DeMarco #re-engineering #roadmap

Twenty Years of Software Engineering: Looking Forward, Looking Back (TD), p. 134.

ICSE-1989-Jackson #re-engineering #roadmap

Software Engineering for Business DP: Looking Back and Looking Forward (MJ), p. 135.

PLDI-1988-WeinerR #compilation #prolog

A Piggy-back Compiler For Prolog (JLW, SR), pp. 288–296.

SIGIR-1988-Jones #roadmap

A Look Back and A Look Forward (KSJ), pp. 13–29.

POPL-1985-EmersonL #branch #model checking

Modalities for Model Checking: Branching Time Strikes Back (EAE, CLL), pp. 84–96.

SIGMOD-1984-TsurZ #implementation #relational #semantics

An Implementation of GEM — Supporting a Semantic Data Model on a Relational Back-End (ST, CZ), pp. 286–295.

PODS-1982-Hadzilacos #algorithm

An Algorithm for Minimizing Roll Back Cost (VH), pp. 93–97.

PODS-1982-Ullman

The U. R. Strikes Back (JDU), pp. 10–22.

VLDB-1981-ArmisenC #database

A Commercial Back-End Data Base System (JPA, JYC), pp. 56–65.

ICSE-1976-Gelenbe #multi

A Model of Roll-Back Recovery with Multiple Checkpoints (EG), pp. 251–255.