Stem nest$ (all stems)

220 papers:

DATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification

Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.

DATE-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.

FoSSaCS-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.

TACAS-2015-FiedorHLV #anti

Nested Antichains for WS1S (TF, LH, OL, TV), pp. 658–674.

CIAA-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.

LATA-2015-Cotton-BarrattMO #automaton #memory management

Weak and Nested Class Memory Automata (CCB, ASM, CHLO), pp. 188–199.

GCM-2015-Flick #correctness #graph #on the #recursion #source code

On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.

ICGT-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.

CHI-2015-DittmarH #design

Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.

ICML-2015-NaessethLS #monte carlo

Nested Sequential Monte Carlo Methods (CAN, FL, TBS), pp. 1292–1301.

SAC-2015-DabrowskiLP #compilation #concurrent #thread

Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.

ASPLOS-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.

CSL-2015-GabbayGP

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.

LICS-2015-ChatterjeeHO #automaton

Nested Weighted Automata (KC, TAH, JO), pp. 725–737.

SAT-2015-IserMS #recognition

Recognition of Nested Gates in CNF Formulas (MI, NM, CS), pp. 255–271.

PODS-2014-KolaitisPSS #dependence #reasoning

Nested dependencies: structure and reasoning (PGK, RP, ES, VS), pp. 176–187.

SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational

Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.

DLT-2014-ReynierT #automaton #transducer

Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.

LATA-2014-DrosteD #automaton #infinity #logic #word

Weighted Automata and Logics for Infinite Nested Words (MD, SD), pp. 323–334.

ICGT-2014-ArendtHRT #constraints #graph #invariant #ocl

From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.

ICEIS-v1-2014-KaddesASBAB #behaviour #transaction

Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.

CIKM-2014-ZhukovskiyGS #rank

Supervised Nested PageRank (MZ, GG, PS), pp. 1059–1068.

ICML-c2-2014-RippelGA #learning #order

Learning Ordered Representations with Nested Dropout (OR, MAG, RPA), pp. 1746–1754.

KR-2014-BienvenuCOS #logic #query

Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).

SAC-2014-AhmedWK #clustering #energy #named #performance

EENC — energy efficient nested clustering in UASN (SHA, AW, DK), pp. 706–710.

SAC-2014-DabrowskiLP #concurrent #thread

Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.

SAC-2014-SuzakiYTOS #protocol #testing #virtual machine

Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.

PPoPP-2014-YangZ #concurrent #named #parallel #thread

CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.

IJCAR-2014-JeanninP #difference #hybrid #logic #named

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.

IJCAR-2014-OlivettiP #calculus #implementation #logic #named

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.

CASE-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.

DAC-2013-LiuYLW #modelling #optimisation

Polyhedral model based mapping optimization of loop nests for CGRAs (DL, SY, LL, SW), p. 8.

PODS-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.

ESOP-2013-EneaSS #composition #invariant

Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.

FoSSaCS-2013-BolligGM #specification #word

Weighted Specifications over Nested Words (BB, PG, BM), pp. 385–400.

FoSSaCS-2013-Strassburger #logic

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics (LS), pp. 209–224.

CIAA-2013-ChistikovM #theorem #word

A Uniformization Theorem for Nested Word to Word Transductions (DVC, RM), pp. 97–108.

CIAA-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.

ICML-c3-2013-AhmedHS #documentation #modelling #process

Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.

OOPSLA-2013-ZhaoLBCS #parallel

Isolation for nested task parallelism (JZ, RL, ZB, SC, VS), pp. 571–588.

GPCE-2013-ChapinSSW #named #network #programming #staged

Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.

PPoPP-2013-BergstromFRRRS #parallel

Data-only flattening for nested data parallelism (LB, MF, MR, JHR, SR, AS), pp. 81–92.

SAT-2013-BubeckB #modelling #quantifier

Nested Boolean Functions as Models for Quantified Boolean Formulas (UB, HKB), pp. 267–275.

DATE-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.

FoSSaCS-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.

CIAA-2012-DrosteP #automaton #logic #word

Weighted Nested Word Automata and Logics over Strong Bimonoids (MD, BP), pp. 138–148.

ICALP-v2-2012-Broadbent #automaton

Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata (CHB), pp. 153–164.

ICFP-2012-BergstromR #gpu

Nested data-parallelism on the gpu (LB, JHR), pp. 247–258.

KDD-2012-SpeiserALS #on the

On nested palindromes in clickstream data (MS, GA, AL, JS), pp. 1460–1468.

POPL-2012-ChughRJ #logic #type system

Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.

CGO-2012-ZouR #detection #parallel #source code

Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.

CAV-2012-DriscollTR #automaton #library #named

OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.

ICLP-2012-NievesL #logic programming #source code

Possibilistic Nested Logic Programs (JCN, HL), pp. 267–276.

SAT-2012-GaspersS #satisfiability

Strong Backdoors to Nested Satisfiability (SG, SS), pp. 72–85.

CASE-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.

DATE-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.

VLDB-2011-KimRA #algebra #pipes and filters #using

From SPARQL to MapReduce: The Journey Using a Nested TripleGroup Algebra (HK, PR, KA), pp. 1426–1429.

FoSSaCS-2011-DaxK #automaton #word

Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.

LATA-2011-OkhotinS #ambiguity #automaton #complexity #word

Descriptional Complexity of Unambiguous Nested Word Automata (AO, KS), pp. 414–426.

PPDP-2011-Guenot #proving #reduction #λ-calculus

Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.

LDTA-2011-EconomopoulosF #higher-order #syntax

Higher-order transformations with nested concrete syntax (GRE, BF), p. 4.

SOSP-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.

VLDB-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.

SAS-2010-FarzanK #analysis #composition #concurrent #source code

Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.

LATA-2010-KanazawaS #context-free grammar #multi #power of

The Copying Power of Well-Nested Multiple Context-Free Grammars (MK, SS), pp. 344–355.

ICGT-2010-EhrigHLOG #confluence

Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.

ICPR-2010-VerschaeR #detection #multi

Coarse-To-Fine Multiclass Nested Cascades for Object Detection (RV, JRdS), pp. 344–347.

POPL-2010-HeizmannHP

Nested interpolants (MH, JH, AP), pp. 471–482.

OSDI-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.

PPoPP-2010-BarretoDFGK #memory management #parallel #transaction

Leveraging parallel nesting in transactional memory (JB, AD, PF, RG, MK), pp. 91–100.

IJCAR-2010-AravantinosCP #decidability

A Decidable Class of Nested Iterated Schemata (VA, RC, NP), pp. 293–308.

ASE-2009-VakilianDBOAJ #summary

Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.

PODS-2009-DeHaan #equivalence #query #semantics

Equivalence of nested queries with mixed semantics (DD), pp. 207–216.

DLT-2009-Kanazawa #context-free grammar #multi

The Pumping Lemma for Well-Nested Multiple Context-Free Languages (MK), pp. 312–325.

LATA-2009-FredrikssonG #string

Nested Counters in Bit-Parallel String Matching (KF, SG), pp. 338–349.

LATA-2009-Salomaa #automaton #complexity #word

State Complexity of Nested Word Automata (KS), pp. 59–70.

GT-VMT-2009-RensinkK #graph transformation

Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.

SEKE-2009-IlievaO #analysis #design #object-oriented #representation

Nested NL Representation for OO Analysis and Design (MI, OO), pp. 49–54.

ECOOP-2009-CutsemBDM #using

Adding State and Visibility Control to Traits Using Lexical Nesting (TVC, AB, SD, WDM), pp. 220–243.

ECOOP-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.

PPoPP-2009-AgrawalLS #transaction

Safe open-nested transactions through ownership (KA, ITAL, JS), pp. 151–162.

PPoPP-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.

PPoPP-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.

CAV-2009-FarzanMS

Meta-analysis for Atomicity Violations under Nested Locking (AF, PM, FS), pp. 248–262.

CAV-2009-GawlitzaS #fixpoint #game studies

Games through Nested Fixpoints (TG, HS), pp. 291–305.

CSL-2009-SchwinghammerBRY #higher-order #hoare

Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.

CASE-2008-SunZL

An enhanced nested partitions method (JS, QZ, PBL), pp. 377–382.

PODS-2008-CateS #automaton #logic #transitive #xpath

XPath, transitive closure logic, and nested tree walking automata (BtC, LS), pp. 251–260.

ICALP-B-2008-Mathissen #algebra #logic #word

Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.

CIKM-2008-GueniACW #query #xquery

Pruning nested XQuery queries (BG, TA, BC, EW), pp. 541–550.

CIKM-2008-MasudaT #algebra

Nested region algebra extended with variables for tag-annotated text search (KM, JT), pp. 1349–1350.

ICPR-2008-Correa-MorrisRPE #incremental

Incremental nested partition method (JCM, JRS, APP, DLEI), pp. 1–4.

SAC-2008-BartakC #network #recognition

Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.

CGO-2008-KetterlinC #data access #predict #recognition

Prediction and trace compression of data access addresses through nested loop recognition (AK, PC), pp. 94–103.

PPoPP-2008-AgrawalFS #memory management #parallel #transaction

Nested parallelism in transactional memory (KA, JTF, JS), pp. 163–174.

PPoPP-2008-AgrawalLS #transaction

Safer open-nested transactions through ownership (KA, ITAL, JS), pp. 291–292.

PPoPP-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.

CSL-2008-ColcombetL #calculus #problem #μ-calculus

The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (TC, CL), pp. 416–430.

WCRE-2007-ShternT #comparison

Lossless Comparison of Nested Software Decompositions (MS, VT), pp. 249–258.

ICALP-2007-ArenasBL #automaton #fixpoint #regular expression #word

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization (MA, PB, LL), pp. 888–900.

ICML-2007-NiCD #learning #multi #process

Multi-task learning for sequential data via iHMMs and the nested Dirichlet process (KN, LC, DBD), pp. 689–696.

PPoPP-2007-BondhugulaRS #automation

Automatic mapping of nested loops to FPGAS (UB, JR, PS), pp. 101–111.

PPoPP-2007-NiMAHHMSS #memory management #transaction

Open nesting in software transactional memory (YN, VM, ARAT, ALH, RLH, JEBM, BS, TS), pp. 68–78.

LICS-2007-AlurABEIL #first-order #logic #word

First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.

CASE-2006-PiPS #problem

Nested Partitions Method for the Local Pickup and Delivery Problem (LP, YP, LS), pp. 375–380.

SIGMOD-2006-OnoseDPC #query #using #xml

Rewriting nested XML queries using nested views (NO, AD, YP, EC), pp. 443–454.

VLDB-2006-FuxmanHHMPP

Nested Mappings: Schema Mapping Reloaded (AF, MAH, CTHH, RJM, PP, LP), pp. 67–78.

DLT-2006-AlurM #word

Adding Nesting Structure to Words (RA, PM), pp. 1–13.

ICGT-2006-Rensink #graph transformation #quantifier

Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.

CIKM-2006-HeL

Cache-oblivious nested-loop joins (BH, QL), pp. 718–727.

SIGIR-2006-MatveevaBBLW #multi #retrieval

High accuracy retrieval with multiple nested ranker (IM, CB, TB, AL, LW), pp. 437–444.

OOPSLA-2006-NystromQM #composition #scalability

J&: nested intersection for scalable software composition (NN, XQ, ACM), pp. 21–36.

SAC-2006-YaoJ #algorithm

NFP-based nesting algorithm for irregular shapes (LHY, HYJ), pp. 963–967.

ASPLOS-2006-MoravanBMYHLSW #memory management #transaction

Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.

CAV-2006-AlurCM

Languages of Nested Trees (RA, SC, PM), pp. 329–342.

SIGMOD-2005-CaoB #approach #relational #sql

A Nested Relational Approach to Processing SQL Subqueries (BC, AB), pp. 191–202.

VLDB-2005-GuravannavarRS #optimisation #order #parametricity #query

Optimizing Nested Queries with Parameter Sort Orders (RG, HSR, SS), pp. 481–492.

ICEIS-v1-2005-YangLOA #generative #graph #named #xml

DWG2XML: Generating XML Nested Tree Structure from Directed Weighted Graph (KYY, ACWL, TÖ, RA), pp. 19–26.

CADE-2005-LevyNV #unification

Well-Nested Context Unification (JL, JN, MV), pp. 149–163.

TLCA-2005-Laird

The Elimination of Nesting in SPCF (JL), pp. 234–245.

VLDB-2004-DongHT #query #xml

Containment of Nested XML Queries (XD, AYH, IT), pp. 132–143.

FASE-2004-Bocchi #composition #transaction

Compositional Nested Long Running Transactions (LB), pp. 194–208.

TACAS-2004-AlurEM #logic

A Temporal Logic of Nested Calls and Returns (RA, KE, PM), pp. 467–481.

WCRE-2004-ShternT #comparison #framework

A Framework for the Comparison of Nested Software Decompositions (MS, VT), pp. 284–292.

ICALP-2004-AbbottAG #induction #representation #using

Representing Nested Inductive Types Using W-Types (MA, TA, NG), pp. 59–71.

ICEIS-v1-2004-AbdouliSAB #distributed #realtime #transaction

Enhancing the Success Ratio of Distributed Real-Time Nested Transactions (MA, BS, LA, AB), pp. 233–240.

ICEIS-v1-2004-DutaBA #named #relational #xml

Conv2XML: Relational Schema Conversion to XML Nested-Based Schema (ACD, KB, RA), pp. 210–215.

ICML-2004-FrankK #multi #problem

Ensembles of nested dichotomies for multi-class problems (EF, SK).

ICPR-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.

ICPR-v2-2004-HuangAWL #detection #multi

Boosting Nested Cascade Detector for Multi-View Face Detection (CH, HA, BW, SL), pp. 415–418.

OOPSLA-2004-NystromCM #inheritance #scalability

Scalable extensibility via nested inheritance (NN, SC, ACM), pp. 99–115.

PPDP-2004-AntoyJ #formal method #implementation

Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.

SAC-2004-BuckerRW #parallel

A class of OpenMP applications involving nested parallelism (HMB, AR, AW), pp. 220–224.

SAC-2004-DutaBA #named #xml

ConvRel: relationship conversion to XML nested structures (ACD, KB, RA), pp. 698–702.

SAC-2004-GoumasDAK #automation #code generation #parallel

Automatic parallel code generation for tiled nested loops (GIG, ND, MA, NK), pp. 1412–1419.

ICLP-2004-LinkeTW #logic programming #on the #source code

On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.

DATE-2003-FalkM #control flow #source code

Control Flow Driven Splitting of Loop Nests at the Source Code Level (HF, PM), pp. 10410–10415.

FoSSaCS-2003-AbelMU #data type #higher-order

Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (AA, RM, TU), pp. 54–69.

TACAS-2003-BraghinCFFLP #analysis #bound #named

BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.

IFL-2003-GrelckST #array

With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.

VMCAI-2003-BraghinCFLP #analysis #complexity #mobile

Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.

ICGT-2002-Hoffmann #abstraction #graph transformation

Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.

CAiSE-2002-FilhaSLE #query #representation #using #web

Using Nested Tables for Representing and Querying Semistructured Web Data (IMREF, ASdS, AHFL, DWE), pp. 719–723.

SAC-2002-GoumasAK #architecture #automation #code generation #parallel

Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.

CSL-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.

ICLP-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.

DAC-2001-Bondalapati #architecture #configuration management #using

Parallelizing DSP Nested Loops on Reconfigurable Architectures using Data Context Switching (KB), pp. 273–276.

DAC-2001-RamanujamHKN #embedded #memory management #requirements

Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.

PLDI-2001-ChatterjeePHL #analysis #behaviour

Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.

ICALP-2001-LinCJW #problem #sequence

The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations (GHL, ZZC, TJ, JW), pp. 444–455.

CC-2001-MuthukumarD #pipes and filters

Software Pipelining of Nested Loops (KM, GD), pp. 165–181.

PPoPP-2001-LimLL #array #clustering #using

Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.

ICLP-2001-ErdemL #source code #theorem

Fages’ Theorem for Programs with Nested Expressions (EE, VL), pp. 242–254.

ICFP-2000-ChakravartyK #parallel #programming

More types for nested data parallel programming (MMTC, GK), pp. 94–105.

CIKM-2000-ChoHWH #database #object-oriented

Estimating Nested Selectivity in Object-Oriented Databases (WSC, WSH, KYW, KHH), pp. 94–101.

ICPR-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.

PODS-1999-HaraD #dependence #functional #reasoning

Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.

VLDB-1999-TanGO #feedback #multi #online #query #thread

Online Feedback for Nested Aggregate Queries with Multi-Threading (KLT, CHG, BCO), pp. 18–29.

CHI-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.

CSL-1999-SeidlN #fixpoint #on the

On Guarding Nested Fixpoints (HS, AN), pp. 484–498.

VLDB-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.

KR-1998-CheinMS #graph #information management #representation #semantics

Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics (MC, MLM, GS), pp. 524–535.

CIKM-1997-TeschW #multi #transaction

Global Nested Transaction Management for ODMG-Compliant Multi-Database Systems (TT, JW), pp. 67–74.

PLILP-1997-HerrmannL #parallel

Transformation of Divide & Conquer to Nested Parallel Loops (CAH, CL), pp. 95–109.

PPoPP-1997-NarlikarB #implementation #parallel

Space-Efficient Implementation of Nested Parallelism (GJN, GEB), pp. 25–36.

PPoPP-1997-SubhlokY #parallel #programming

A New Model for Integrated Nested Task and Data Parallel Programming (JS, BY), pp. 1–12.

ASPLOS-1996-McKinleyT #analysis #locality

A Quantitative Analysis of Loop Nest Locality (KSM, OT), pp. 94–104.

CC-1996-WangG #named #pipes and filters

Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops (JW, GRG), pp. 1–17.

CIKM-1995-BertinoSS

Enhanced Nested-Inherited Index for OODBMS (EB, SS, BS), pp. 58–65.

PPoPP-1995-GhuloumF

Flattening and Parallelizing Irregular, Recurrent Loop Nests (AMG, ALF), pp. 58–67.

VLDB-1994-ChawatheCY #on the

On Index Selection Schemes for Nested Object Hierarchies (SSC, MSC, PSY), pp. 331–341.

VLDB-1994-SteenhagenABB #query

From Nested-Loop to Join Queries in OODB (HJS, PMGA, HMB, RAdB), pp. 618–629.

CIKM-1994-JiangLB

Re-Evaluating Indexing Schemes for Nested Objects (YhJ, XL, BKB), pp. 439–446.

CIKM-1994-LiuR #algebra #relational

Algebraic Equivalences Among Nested Relational Expressions (HCL, KR), pp. 234–243.

SAC-1994-FlorianiM

Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.

CC-1994-SlowikPP #compilation

Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.

DAC-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.

HT-1993-Noik #network #scalability

Exploring Large Hyperdocuments: Fisheye Views of Nested Networks (EGN), pp. 192–205.

ICDAR-1993-HaoWN #analysis #approach #classification #documentation #layout #segmentation

Nested segmentation: an approach for layout analysis in document classification (XH, JTLW, PAN), pp. 319–322.

SIGMOD-1993-MuthR #database #transaction #visualisation

VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.

CIKM-1993-Lee #algorithm #precise #transaction

Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.

ECOOP-1993-SteyaertCDHLL

Nested Mixin-Methods in Agora (PS, WC, TD, KDH, CL, MVL), pp. 197–219.

PPoPP-1993-BlellochCHSZ #implementation

Implementation of a Portable Nested Data-Parallel Language (GEB, SC, JCH, JS, MZ), pp. 102–111.

ECOOP-1992-GuerraouiCLR #message passing #protocol

Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.

HT-1991-CasanovaTLNRS

The Nested Context Model for Hyperdocuments (MAC, LT, MJDL, JLRN, NdLRR, LFGS), pp. 193–201.

SIGMOD-1991-ChenK #database #information management #representation

Nested Relation Based Database Knowledge Representation (QC, YK), pp. 328–337.

VLDB-1991-ZobelTS #database #documentation #performance #relational

Efficiency of Nested Relational Document Database Systems (JZ, JAT, RSD), pp. 91–102.

PODS-1990-FeketeLW #graph #transaction

A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.

VLDB-1990-Hulin #normalisation #on the

On Restructuring Nested Relations in Partitioned Normal Form (GH), pp. 626–637.

PLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural

Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.

PODS-1989-FuK #concurrent #transaction

Concurrency Control of Nested Transactions Accessing B-Trees (AWCF, TK), pp. 270–285.

SIGMOD-1989-Colby #algebra #optimisation #query #recursion

A Recursive Algebra and Query Optimization for Nested Relations (LSC), pp. 273–283.

SIGMOD-1989-TanselG

Nested Historical Relations (AUT, LG), pp. 284–294.

VLDB-1989-Muralikrishna #algorithm #data flow #optimisation #query

Optimization and Dataflow Algorithms for Nested Tree Queries (MM), pp. 77–85.

VLDB-1989-RothermelM #named #transaction

ARIES/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions (KR, CM), pp. 337–346.

SEKE-1989-Czejdo #database #query #recursion #specification #using

Recursive Query Specification Using Nested Databases (BDC), pp. 140–145.

PODS-1988-ParedaensG #algebra #using

Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.

SIGMOD-1988-Fischer #question

Nested Relations: A Step Forward — or Backward? (PCF), p. 2.

SIGMOD-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.

VLDB-1988-AspnesFLMW #concurrent #formal method #transaction

A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.

VLDB-1988-DeshpandeG #database #implementation #relational

An Implementation for Nested Relational Databases (AD, DVG), pp. 76–87.

VLDB-1988-HafezO #normalisation

The Partial Normalized Storage Model of Nested Relations (AH, GÖ), pp. 100–111.

ICALP-1988-RajasekaranR

Nested Annealing: A Provable Improvement to Simulated Annealing (SR, JHR), pp. 455–472.

ECOOP-1988-BuhrZ #object-oriented

Nesting in an Object-Oriented Language is NOT for the Birds (PAB, CRZ), pp. 128–145.

PODS-1987-FeketeLMW #transaction

Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.

SIGMOD-1987-GanskiW #optimisation #query #revisited #sql

Optimization of Nested SQL Queries Revisited (RAG, HKTW), pp. 23–33.

SIGMOD-1987-HarderR #concept #transaction

Concepts for Transaction Recovery in Nested Transactions (TH, KR), pp. 239–248.

SIGMOD-1987-RothK #database #design #normalisation #relational

The Design of ¬1NF Relational Databases into Nested Normal Form (MAR, HFK), pp. 143–159.

VLDB-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.

VLDB-1987-Moss #transaction

Log-Based Recovery for Nested Transactions (JEBM), pp. 427–432.

VLDB-1987-SchollPS #kernel #relational

Supporting Flat Relations by a Nested Relational Kernel (MHS, HBP, HJS), pp. 137–146.

CADE-1986-Traugott

Nested Resolution (JT), pp. 394–402.

PODS-1985-OzsoyogluY #normalisation

A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.

VLDB-1985-FischerG

Determining when a Structure is a Nested Relation (PCF, DVG), pp. 171–180.

VLDB-1984-LohmanDHKS #database #distributed #optimisation #query #relational

Optimization of Nested Queries in a Distributed Relational Database (GML, DD, LMH, RK, PGS), pp. 403–415.

VLDB-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.

SIGIR-1984-Schek #architecture #transaction

Nested Transactions in a Combined IRS-DBMS Architecture (HJS), pp. 55–70.

PODS-1983-Lynch #concurrent #transaction

Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.

SIGMOD-1983-JarkeK #performance #quantifier #query

Range Nesting: A Fast Method to Evaluate Quantified Queries (MJ, JK), pp. 196–206.

SOSP-1983-MuellerMP #transaction

A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.