BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
transact (29)
loop (25)
relat (24)
parallel (23)
queri (22)

Stem nest$ (all stems)

220 papers:

DATEDATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification
Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
DATEDATE-2015-YinLLWG #pipes and filters
Joint affine transformation and loop pipelining for mapping nested loop on CGRAs (SY, DL, LL, SW, YG), pp. 115–120.
FoSSaCSFoSSaCS-2015-Cotton-BarrattH #automaton #decidability #memory management #ml
Fragments of ML Decidable by Nested Data Class Memory Automata (CCB, DH, ASM, CHLO), pp. 249–263.
TACASTACAS-2015-FiedorHLV #anti
Nested Antichains for WS1S (TF, LH, OL, TV), pp. 658–674.
CIAACIAA-J-2013-DebarbieuxGNSZ15 #automaton #query #word #xml #xpath
Early nested word automata for XPath query answering on XML streams (DD, OG, JN, TS, MZ), pp. 100–125.
LATALATA-2015-Cotton-BarrattMO #automaton #memory management
Weak and Nested Class Memory Automata (CCB, ASM, CHLO), pp. 188–199.
GCMGCM-2015-Flick #correctness #graph #on the #recursion #source code
On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
ICGTICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.
CHICHI-2015-DittmarH #design
Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.
ICMLICML-2015-NaessethLS #monte carlo
Nested Sequential Monte Carlo Methods (CAN, FL, TBS), pp. 1292–1301.
SACSAC-2015-DabrowskiLP #compilation #concurrent #thread
Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
ASPLOSASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
CSLCSL-2015-GabbayGP
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.
LICSLICS-2015-ChatterjeeHO #automaton
Nested Weighted Automata (KC, TAH, JO), pp. 725–737.
ICSTSAT-2015-IserMS #recognition
Recognition of Nested Gates in CNF Formulas (MI, NM, CS), pp. 255–271.
PODSPODS-2014-KolaitisPSS #dependence #reasoning
Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.
SIGMODSIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational
Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
DLTDLT-2014-ReynierT #automaton #transducer
Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.
LATALATA-2014-DrosteD #automaton #infinity #logic #word
Weighted Automata and Logics for Infinite Nested Words (MD, SD), pp. 323–334.
ICGTICGT-2014-ArendtHRT #constraints #graph #invariant #ocl
From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.
ICEISICEIS-v1-2014-KaddesASBAB #behaviour #transaction
Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.
CIKMCIKM-2014-ZhukovskiyGS #rank
Supervised Nested PageRank (MZ, GG, PS), pp. 1059–1068.
ICMLICML-c2-2014-RippelGA #learning #order
Learning Ordered Representations with Nested Dropout (OR, MAG, RPA), pp. 1746–1754.
KRKR-2014-BienvenuCOS #logic #query
Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).
SACSAC-2014-AhmedWK #clustering #energy #named #performance
EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.
SACSAC-2014-DabrowskiLP #concurrent #thread
Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
SACSAC-2014-SuzakiYTOS #protocol #testing #virtual machine
Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
PPoPPPPoPP-2014-YangZ #concurrent #named #parallel #thread
CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
IJCARIJCAR-2014-JeanninP #difference #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
IJCARIJCAR-2014-OlivettiP #calculus #implementation #logic #named
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.
CASECASE-2013-SunSSZS #heuristic #optimisation
A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
DACDAC-2013-LiuYLW #modelling #optimisation
Polyhedral model based mapping optimization of loop nests for CGRAs (DL, SY, LL, SW), p. 8.
PODSPODS-2013-Wong #calculus #power of #relational #set
A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
ESOPESOP-2013-EneaSS #composition #invariant
Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
FoSSaCSFoSSaCS-2013-BolligGM #specification #word
Weighted Specifications over Nested Words (BB, PG, BM), pp. 385–400.
FoSSaCSFoSSaCS-2013-Strassburger #logic
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics (LS), pp. 209–224.
CIAACIAA-2013-ChistikovM #theorem #word
A Uniformization Theorem for Nested Word to Word Transductions (DVC, RM), pp. 97–108.
CIAACIAA-2013-DebarbieuxGNSZ #automaton #query #word #xml #xpath
Early Nested Word Automata for XPath Query Answering on XML Streams (DD, OG, JN, TS, MZ), pp. 292–305.
ICMLICML-c3-2013-AhmedHS #documentation #modelling #process
Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.
OOPSLAOOPSLA-2013-ZhaoLBCS #parallel
Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.
GPCEGPCE-2013-ChapinSSW #named #network #programming #staged
Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
PPoPPPPoPP-2013-BergstromFRRRS #parallel
Data-only flattening for nested data parallelism (LB, MF, MR, JHR, SR, AS), pp. 81–92.
ICSTSAT-2013-BubeckB #modelling #quantifier
Nested Boolean Functions as Models for Quantified Boolean Formulas (UB, HKB), pp. 267–275.
DATEDATE-2012-MarongiuBB #clustering #embedded #lightweight #parallel #performance
Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.
FoSSaCSFoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.
CIAACIAA-2012-DrosteP #automaton #logic #word
Weighted Nested Word Automata and Logics over Strong Bimonoids (MD, BP), pp. 138–148.
ICALPICALP-v2-2012-Broadbent #automaton
Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata (CHB), pp. 153–164.
ICFPICFP-2012-BergstromR #gpu
Nested data-parallelism on the gpu (LB, JHR), pp. 247–258.
KDDKDD-2012-SpeiserALS #on the
On nested palindromes in clickstream data (MS, GA, AL, JS), pp. 1460–1468.
POPLPOPL-2012-ChughRJ #logic #type system
Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.
CGOCGO-2012-ZouR #detection #parallel #source code
Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.
CAVCAV-2012-DriscollTR #automaton #library #named
OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.
ICLPICLP-2012-NievesL #logic programming #source code
Possibilistic Nested Logic Programs (JCN, HL), pp. 267–276.
ICSTSAT-2012-GaspersS #satisfiability
Strong Backdoors to Nested Satisfiability (SG, SS), pp. 72–85.
CASECASE-2011-WuS #bound #multi #problem
A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problems (TW, LS), pp. 78–83.
DATEDATE-2011-GeunsBBC #parallel #source code
Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems (SJG, MJGB, TB, HC), pp. 697–702.
VLDBVLDB-2011-KimRA #algebra #pipes and filters #using
From SPARQL to MapReduce: The Journey Using a Nested TripleGroup Algebra (HK, PR, KA), pp. 1426–1429.
FoSSaCSFoSSaCS-2011-DaxK #automaton #word
Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.
LATALATA-2011-OkhotinS #ambiguity #automaton #complexity #word
Descriptional Complexity of Unambiguous Nested Word Automata (AO, KS), pp. 414–426.
PPDPPPDP-2011-Guenot #proving #reduction #λ-calculus
Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.
LDTALDTA-2011-EconomopoulosF #higher-order #syntax
Higher-order transformations with nested concrete syntax (GRE, BF), p. 4.
SOSPSOSP-2011-ZhangCCZ #multitenancy #named #virtual machine
CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization (FZ, JC, HC, BZ), pp. 203–216.
VLDBVLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml
From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
SASSAS-2010-FarzanK #analysis #composition #concurrent #source code
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.
LATALATA-2010-KanazawaS #context-free grammar #multi #power of
The Copying Power of Well-Nested Multiple Context-Free Grammars (MK, SS), pp. 344–355.
ICGTICGT-2010-EhrigHLOG #confluence
Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
ICPRICPR-2010-VerschaeR #detection #multi
Coarse-To-Fine Multiclass Nested Cascades for Object Detection (RV, JRdS), pp. 344–347.
POPLPOPL-2010-HeizmannHP
Nested interpolants (MH, JH, AP), pp. 471–482.
OSDIOSDI-2010-Ben-YehudaDDFHGLWY #design #implementation
The Turtles Project: Design and Implementation of Nested Virtualization (MBY, MDD, ZD, MF, NH, AG, AL, OW, BAY), pp. 423–436.
PPoPPPPoPP-2010-BarretoDFGK #memory management #parallel #transaction
Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.
IJCARIJCAR-2010-AravantinosCP #decidability
A Decidable Class of Nested Iterated Schemata (VA, RC, NP), pp. 293–308.
ASEASE-2009-VakilianDBOAJ #summary
Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
PODSPODS-2009-DeHaan #equivalence #query #semantics
Equivalence of nested queries with mixed semantics (DD), pp. 207–216.
DLTDLT-2009-Kanazawa #context-free grammar #multi
The Pumping Lemma for Well-Nested Multiple Context-Free Languages (MK), pp. 312–325.
LATALATA-2009-FredrikssonG #string
Nested Counters in Bit-Parallel String Matching (KF, SG), pp. 338–349.
LATALATA-2009-Salomaa #automaton #complexity #word
State Complexity of Nested Word Automata (KS), pp. 59–70.
GT-VMTGT-VMT-2009-RensinkK #graph transformation
Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.
SEKESEKE-2009-IlievaO #analysis #design #object-oriented #representation
Nested NL Representation for OO Analysis and Design (MI, OO), pp. 49–54.
ECOOPECOOP-2009-CutsemBDM #using
Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.
ECOOPECOOP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.
PPoPPPPoPP-2009-AgrawalLS #transaction
Safe open-nested transactions through ownership (KA, ITAL, JS), pp. 151–162.
PPoPPPPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling
Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.
PPoPPPPoPP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction
NePalTM: design and implementation of nested parallelism for transactional memory systems (HV, AW, ARAT, TS, XT, RN), pp. 291–292.
CAVCAV-2009-FarzanMS
Meta-analysis for Atomicity Violations under Nested Locking (AF, PM, FS), pp. 248–262.
CAVCAV-2009-GawlitzaS #fixpoint #game studies
Games through Nested Fixpoints (TG, HS), pp. 291–305.
CSLCSL-2009-SchwinghammerBRY #higher-order #hoare
Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.
CASECASE-2008-SunZL
An enhanced nested partitions method (JS, QZ, PBL), pp. 377–382.
PODSPODS-2008-CateS #automaton #logic #transitive #xpath
XPath, transitive closure logic, and nested tree walking automata (BtC, LS), pp. 251–260.
ICALPICALP-B-2008-Mathissen #algebra #logic #word
Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.
CIKMCIKM-2008-GueniACW #query #xquery
Pruning nested XQuery queries (BG, TA, BC, EW), pp. 541–550.
CIKMCIKM-2008-MasudaT #algebra
Nested region algebra extended with variables for tag-annotated text search (KM, JT), pp. 1349–1350.
ICPRICPR-2008-Correa-MorrisRPE #incremental
Incremental nested partition method (JCM, JRS, APP, DLEI), pp. 1–4.
SACSAC-2008-BartakC #network #recognition
Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.
CGOCGO-2008-KetterlinC #data access #predict #recognition
Prediction and trace compression of data access addresses through nested loop recognition (AK, PC), pp. 94–103.
PPoPPPPoPP-2008-AgrawalFS #memory management #parallel #transaction
Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.
PPoPPPPoPP-2008-AgrawalLS #transaction
Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.
PPoPPPPoPP-2008-LevM #hardware #memory management #transaction #using
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory (YL, JWM), pp. 197–206.
CSLCSL-2008-ColcombetL #calculus #problem #μ-calculus
The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (TC, CL), pp. 416–430.
WCREWCRE-2007-ShternT #comparison
Lossless Comparison of Nested Software Decompositions (MS, VT), pp. 249–258.
ICALPICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.
ICMLICML-2007-NiCD #learning #multi #process
Multi-task learning for sequential data via iHMMs and the nested Dirichlet process (KN, LC, DBD), pp. 689–696.
PPoPPPPoPP-2007-BondhugulaRS #automation
Automatic mapping of nested loops to FPGAS (UB, JR, PS), pp. 101–111.
PPoPPPPoPP-2007-NiMAHHMSS #memory management #transaction
Open nesting in software transactional memory (YN, VM, ARAT, ALH, RLH, JEBM, BS, TS), pp. 68–78.
LICSLICS-2007-AlurABEIL #first-order #logic #word
First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.
CASECASE-2006-PiPS #problem
Nested Partitions Method for the Local Pickup and Delivery Problem (LP, YP, LS), pp. 375–380.
SIGMODSIGMOD-2006-OnoseDPC #query #using #xml
Rewriting nested XML queries using nested views (NO, AD, YP, EC), pp. 443–454.
VLDBVLDB-2006-FuxmanHHMPP
Nested Mappings: Schema Mapping Reloaded (AF, MAH, CTHH, RJM, PP, LP), pp. 67–78.
DLTDLT-2006-AlurM #word
Adding Nesting Structure to Words (RA, PM), pp. 1–13.
ICGTICGT-2006-Rensink #graph transformation #quantifier
Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.
CIKMCIKM-2006-HeL
Cache-oblivious nested-loop joins (BH, QL), pp. 718–727.
SIGIRSIGIR-2006-MatveevaBBLW #multi #retrieval
High accuracy retrieval with multiple nested ranker (IM, CB, TB, AL, LW), pp. 437–444.
OOPSLAOOPSLA-2006-NystromQM #composition #scalability
J&: nested intersection for scalable software composition (NN, XQ, ACM), pp. 21–36.
SACSAC-2006-YaoJ #algorithm
NFP-based nesting algorithm for irregular shapes (LHY, HYJ), pp. 963–967.
ASPLOSASPLOS-2006-MoravanBMYHLSW #memory management #transaction
Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.
CAVCAV-2006-AlurCM
Languages of Nested Trees (RA, SC, PM), pp. 329–342.
SIGMODSIGMOD-2005-CaoB #approach #relational #sql
A Nested Relational Approach to Processing SQL Subqueries (BC, AB), pp. 191–202.
VLDBVLDB-2005-GuravannavarRS #optimisation #order #parametricity #query
Optimizing Nested Queries with Parameter Sort Orders (RG, HSR, SS), pp. 481–492.
ICEISICEIS-v1-2005-YangLOA #generative #graph #named #xml
DWG2XML: Generating XML Nested Tree Structure from Directed Weighted Graph (KYY, ACWL, , RA), pp. 19–26.
CADECADE-2005-LevyNV #unification
Well-Nested Context Unification (JL, JN, MV), pp. 149–163.
TLCATLCA-2005-Laird
The Elimination of Nesting in SPCF (JL), pp. 234–245.
VLDBVLDB-2004-DongHT #query #xml
Containment of Nested XML Queries (XD, AYH, IT), pp. 132–143.
FASEFASE-2004-Bocchi #composition #transaction
Compositional Nested Long Running Transactions (LB), pp. 194–208.
TACASTACAS-2004-AlurEM #logic
A Temporal Logic of Nested Calls and Returns (RA, KE, PM), pp. 467–481.
WCREWCRE-2004-ShternT #comparison #framework
A Framework for the Comparison of Nested Software Decompositions (MS, VT), pp. 284–292.
ICALPICALP-2004-AbbottAG #induction #representation #using
Representing Nested Inductive Types Using W-Types (MA, TA, NG), pp. 59–71.
ICEISICEIS-v1-2004-AbdouliSAB #distributed #realtime #transaction
Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.
ICEISICEIS-v1-2004-DutaBA #named #relational #xml
Conv2XML: Relational Schema Conversion to XML Nested-Based Schema (ACD, KB, RA), pp. 210–215.
ICMLICML-2004-FrankK #multi #problem
Ensembles of nested dichotomies for multi-class problems (EF, SK).
ICPRICPR-v1-2004-KimYL #algorithm #distance #graph #relational #using
A New Attributed Relational Graph Matching Algorithm Using the Nested Structure of Earth Mover’s Distance (DHK, IDY, SUL), pp. 48–51.
ICPRICPR-v2-2004-HuangAWL #detection #multi
Boosting Nested Cascade Detector for Multi-View Face Detection (CH, HA, BW, SL), pp. 415–418.
OOPSLAOOPSLA-2004-NystromCM #inheritance #scalability
Scalable extensibility via nested inheritance (NN, SC, ACM), pp. 99–115.
PPDPPPDP-2004-AntoyJ #formal method #implementation
Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
SACSAC-2004-BuckerRW #parallel
A class of OpenMP applications involving nested parallelism (HMB, AR, AW), pp. 220–224.
SACSAC-2004-DutaBA #named #xml
ConvRel: relationship conversion to XML nested structures (ACD, KB, RA), pp. 698–702.
SACSAC-2004-GoumasDAK #automation #code generation #parallel
Automatic parallel code generation for tiled nested loops (GIG, ND, MA, NK), pp. 1412–1419.
ICLPICLP-2004-LinkeTW #logic programming #on the #source code
On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.
DATEDATE-2003-FalkM #control flow #source code
Control Flow Driven Splitting of Loop Nests at the Source Code Level (HF, PM), pp. 10410–10415.
FoSSaCSFoSSaCS-2003-AbelMU #data type #higher-order
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.
TACASTACAS-2003-BraghinCFFLP #analysis #bound #named
BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.
IFLIFL-2003-GrelckST #array
With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.
VMCAIVMCAI-2003-BraghinCFLP #analysis #complexity #mobile
Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.
ICGTICGT-2002-Hoffmann #abstraction #graph transformation
Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
CAiSECAiSE-2002-FilhaSLE #query #representation #using #web
Using Nested Tables for Representing and Querying Semistructured Web Data (IMREF, ASdS, AHFL, DWE), pp. 719–723.
SACSAC-2002-GoumasAK #architecture #automation #code generation #parallel
Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.
CSLCSL-2002-KuceraS #logic #ltl
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.
ICLPICLP-2002-PearceSSTW #logic programming #polynomial #source code
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.
DACDAC-2001-Bondalapati #architecture #configuration management #using
Parallelizing DSP Nested Loops on Reconfigurable Architectures using Data Context Switching (KB), pp. 273–276.
DACDAC-2001-RamanujamHKN #embedded #memory management #requirements
Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.
PLDIPLDI-2001-ChatterjeePHL #analysis #behaviour
Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.
ICALPICALP-2001-LinCJW #problem #sequence
The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.
CCCC-2001-MuthukumarD #pipes and filters
Software Pipelining of Nested Loops (KM, GD), pp. 165–181.
PPoPPPPoPP-2001-LimLL #array #clustering #using
Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.
ICLPICLP-2001-ErdemL #source code #theorem
Fages’ Theorem for Programs with Nested Expressions (EE, VL), pp. 242–254.
ICFPICFP-2000-ChakravartyK #parallel #programming
More types for nested data parallel programming (MMTC, GK), pp. 94–105.
CIKMCIKM-2000-ChoHWH #database #object-oriented
Estimating Nested Selectivity in Object-Oriented Databases (WSC, WSH, KYW, KHH), pp. 94–101.
ICPRICPR-v2-2000-ZhangDL #classification #design #feature model #multi #recognition
Multi-Scale Feature Extraction and Nested-Subset Classifier Design for High Accuracy Handwritten Character Recognition (JZ, XD, CL), pp. 2581–2584.
PODSPODS-1999-HaraD #dependence #functional #reasoning
Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.
VLDBVLDB-1999-TanGO #feedback #multi #online #query #thread
Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.
CHICHI-1999-ToyodaS #editing #interface #multi #navigation #network #perspective #predict
Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks Through a Multi-Focus Distortion-Oriented View (MT, ES), pp. 504–511.
CSLCSL-1999-SeidlN #fixpoint #on the
On Guarding Nested Fixpoints (HS, AN), pp. 484–498.
VLDBVLDB-1998-BraumandlCK #database #functional #object-oriented #set
Evaluating Functional Joins Along Nested Reference Sets in Object-Relational and Object-Oriented Databases (RB, JC, AK), pp. 110–122.
KRKR-1998-CheinMS #graph #information management #representation #semantics
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics (MC, MLM, GS), pp. 524–535.
CIKMCIKM-1997-TeschW #multi #transaction
Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.
PPDPPLILP-1997-HerrmannL #parallel
Transformation of Divide & Conquer to Nested Parallel Loops (CAH, CL), pp. 95–109.
PPoPPPPoPP-1997-NarlikarB #implementation #parallel
Space-Efficient Implementation of Nested Parallelism (GJN, GEB), pp. 25–36.
PPoPPPPoPP-1997-SubhlokY #parallel #programming
A New Model for Integrated Nested Task and Data Parallel Programming (JS, BY), pp. 1–12.
ASPLOSASPLOS-1996-McKinleyT #analysis #locality
A Quantitative Analysis of Loop Nest Locality (KSM, OT), pp. 94–104.
CCCC-1996-WangG #named #pipes and filters
Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops (JW, GRG), pp. 1–17.
CIKMCIKM-1995-BertinoSS
Enhanced Nested-Inherited Index for OODBMS (EB, SS, BS), pp. 58–65.
PPoPPPPoPP-1995-GhuloumF
Flattening and Parallelizing Irregular, Recurrent Loop Nests (AMG, ALF), pp. 58–67.
VLDBVLDB-1994-ChawatheCY #on the
On Index Selection Schemes for Nested Object Hierarchies (SSC, MSC, PSY), pp. 331–341.
VLDBVLDB-1994-SteenhagenABB #query
From Nested-Loop to Join Queries in OODB (HJS, PMGA, HMB, RAdB), pp. 618–629.
CIKMCIKM-1994-JiangLB
Re-Evaluating Indexing Schemes for Nested Objects (YhJ, XL, BKB), pp. 439–446.
CIKMCIKM-1994-LiuR #algebra #relational
Algebraic Equivalences Among Nested Relational Expressions (HCL, KR), pp. 234–243.
SACSAC-1994-FlorianiM
Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.
CCCC-1994-SlowikPP #compilation
Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.
DACDAC-1993-PomeranzRU #fault #generative #named #testing
NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits (IP, SMR, PU), pp. 439–445.
HTHT-1993-Noik #network #scalability
Exploring Large Hyperdocuments: Fisheye Views of Nested Networks (EGN), pp. 192–205.
ICDARICDAR-1993-HaoWN #analysis #approach #classification #documentation #layout #segmentation
Nested segmentation: an approach for layout analysis in document classification (XH, JTLW, PAN), pp. 319–322.
SIGMODSIGMOD-1993-MuthR #database #transaction #visualisation
VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.
CIKMCIKM-1993-Lee #algorithm #precise #transaction
Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.
ECOOPECOOP-1993-SteyaertCDHLL
Nested Mixin-Methods in Agora (PS, WC, TD, KDH, CL, MVL), pp. 197–219.
PPoPPPPoPP-1993-BlellochCHSZ #implementation
Implementation of a Portable Nested Data-Parallel Language (GEB, SC, JCH, JS, MZ), pp. 102–111.
ECOOPECOOP-1992-GuerraouiCLR #message passing #protocol
Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
HTHT-1991-CasanovaTLNRS
The Nested Context Model for Hyperdocuments (MAC, LT, MJDL, JLRN, NdLRR, LFGS), pp. 193–201.
SIGMODSIGMOD-1991-ChenK #database #information management #representation
Nested Relation Based Database Knowledge Representation (QC, YK), pp. 328–337.
VLDBVLDB-1991-ZobelTS #database #documentation #performance #relational
Efficiency of Nested Relational Document Database Systems (JZ, JAT, RSD), pp. 91–102.
PODSPODS-1990-FeketeLW #graph #transaction
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
VLDBVLDB-1990-Hulin #normalisation #on the
On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.
PPDPPLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.
PODSPODS-1989-FuK #concurrent #transaction
Concurrency Control of Nested Transactions Accessing B-Trees (AWCF, TK), pp. 270–285.
SIGMODSIGMOD-1989-Colby #algebra #optimisation #query #recursion
A Recursive Algebra and Query Optimization for Nested Relations (LSC), pp. 273–283.
SIGMODSIGMOD-1989-TanselG
Nested Historical Relations (AUT, LG), pp. 284–294.
VLDBVLDB-1989-Muralikrishna #algorithm #data flow #optimisation #query
Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.
VLDBVLDB-1989-RothermelM #named #transaction
ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.
SEKESEKE-1989-Czejdo #database #query #recursion #specification #using
Recursive Query Specification Using Nested Databases (BDC), pp. 140–145.
PODSPODS-1988-ParedaensG #algebra #using
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.
SIGMODSIGMOD-1988-Fischer #question
Nested Relations: A Step Forward — or Backward? (PCF), p. 2.
SIGMODSIGMOD-1988-GyssensG #algebra #programming #relational #set
The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.
VLDBVLDB-1988-AspnesFLMW #concurrent #formal method #transaction
A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.
VLDBVLDB-1988-DeshpandeG #database #implementation #relational
An Implementation for Nested Relational Databases (AD, DVG), pp. 76–87.
VLDBVLDB-1988-HafezO #normalisation
The Partial Normalized Storage Model of Nested Relations (AH, ), pp. 100–111.
ICALPICALP-1988-RajasekaranR
Nested Annealing: A Provable Improvement to Simulated Annealing (SR, JHR), pp. 455–472.
ECOOPECOOP-1988-BuhrZ #object-oriented
Nesting in an Object-Oriented Language is NOT for the Birds (PAB, CRZ), pp. 128–145.
PODSPODS-1987-FeketeLMW #transaction
Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.
SIGMODSIGMOD-1987-GanskiW #optimisation #query #revisited #sql
Optimization of Nested SQL Queries Revisited (RAG, HKTW), pp. 23–33.
SIGMODSIGMOD-1987-HarderR #concept #transaction
Concepts for Transaction Recovery in Nested Transactions (TH, KR), pp. 239–248.
SIGMODSIGMOD-1987-RothK #database #design #normalisation #relational
The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.
VLDBVLDB-1987-Dayal #approach #quantifier #query
Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers (UD), pp. 197–208.
VLDBVLDB-1987-Moss #transaction
Log-Based Recovery for Nested Transactions (JEBM), pp. 427–432.
VLDBVLDB-1987-SchollPS #kernel #relational
Supporting Flat Relations by a Nested Relational Kernel (MHS, HBP, HJS), pp. 137–146.
CADECADE-1986-Traugott
Nested Resolution (JT), pp. 394–402.
PODSPODS-1985-OzsoyogluY #normalisation
A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.
VLDBVLDB-1985-FischerG
Determining when a Structure is a Nested Relation (PCF, DVG), pp. 171–180.
VLDBVLDB-1984-LohmanDHKS #database #distributed #optimisation #query #relational
Optimization of Nested Queries in a Distributed Relational Database (GML, DD, LMH, RK, PGS), pp. 403–415.
VLDBVLDB-1984-Walter #approach #commit #database #multi #transaction
Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.
SIGIRSIGIR-1984-Schek #architecture #transaction
Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.
PODSPODS-1983-Lynch #concurrent #transaction
Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.
SIGMODSIGMOD-1983-JarkeK #performance #quantifier #query
Range Nesting: A Fast Method to Evaluate Quantified Queries (MJ, JK), pp. 196–206.
SOSPSOSP-1983-MuellerMP #transaction
A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.

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.