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:
optim (4)
base (4)
tree (4)
execut (3)
schedul (3)

Stem dag$ (all stems)

37 papers:

DATEDATE-2015-Baruah #graph #scheduling
The federated scheduling of constrained-deadline sporadic DAG task systems (SB), pp. 1323–1328.
PEPMPEPM-2015-BahrA #graph #traversal
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain (PB, EA), pp. 27–38.
PLDIPLDI-2015-LalQ #graph #source code
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs (AL, SQ), pp. 280–290.
SACSAC-2015-FonsecaNRP #execution #parallel #realtime
A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SIGMODSIGMOD-2012-HellingsFH #bisimulation #graph #performance
Efficient external-memory bisimulation on DAGs (JH, GHLF, HJH), pp. 553–564.
VLDBVLDB-2012-ZengH #algorithm #graph #pattern matching
Comments on “Stack-based Algorithms for Pattern Matching on DAGs” (QZ, HZ), pp. 668–679.
ICMLICML-2012-Busa-FeketeBK #classification #graph #performance #using
Fast classification using sparse decision DAGs (RBF, DB, BK), p. 99.
SACSAC-2012-DragoB #analysis #architecture #design #graph #manycore #named
DAG3: a tool for design and analysis of applications for multicore architectures (MLD, JB), pp. 1159–1164.
ICMLICML-2011-BiK #classification #multi
MultiLabel Classification on Tree- and DAG-Structured Hierarchies (WB, JTK), pp. 17–24.
DATEDATE-2010-IqbalSH10a #estimation #execution #graph #monte carlo #named
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.
SIGMODSIGMOD-2010-MortonBG #graph #named #pipes and filters
ParaTimer: a progress indicator for MapReduce DAGs (KM, MB, DG), pp. 507–518.
SEKESEKE-2010-KalayciDFES #adaptation #distributed #execution #workflow
Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
CGOCGO-2008-KoesG #graph
Near-optimal instruction selection on dags (DRK, SCG), pp. 45–54.
DLTDLT-2007-Priese #automaton #finite #graph
Finite Automata on Unranked and Unordered DAGs (LP), pp. 346–360.
CAiSECAiSE-2007-EderW #comparison #detection #graph #ontology #using
Change Detection in Ontologies Using DAG Comparison (JE, KW), pp. 21–35.
LICSLICS-2007-Nguyen #proving
Separating DAG-Like and Tree-Like Proof Systems (PN), pp. 235–244.
DACDAC-2006-MishchenkoCB #fresh look #logic #synthesis
DAG-aware AIG rewriting a fresh look at combinational logic synthesis (AM, SC, RKB), pp. 532–535.
DLTDLT-2006-MenzelPS #graph
Some Examples of Semi-rational DAG Languages (JRM, LP, MS), pp. 351–362.
ICMLICML-2006-LiM #correlation #modelling #topic
Pachinko allocation: DAG-structured mixture models of topic correlations (WL, AM), pp. 577–584.
KRKR-2006-WachterH #graph #representation
Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.
HPDCHPDC-2006-MalewiczFRW #evaluation
A Tool for Prioritizing DAGMan Jobs and Its Evaluation (GM, ITF, ALR, MW), pp. 156–168.
VLDBVLDB-2005-ChenGK #algorithm #graph #pattern matching
Stack-based Algorithms for Pattern Matching on DAGs (LC, AG, MEK), pp. 493–504.
ESOPESOP-2005-ShiversW #bottom-up
Bottom-Up β-Reduction: Uplinks and λ-DAGs (OS, MW), pp. 217–232.
DLTDLT-2005-Priese #graph #set
Semi-rational Sets of DAGs (LP), pp. 385–396.
PEPMPEPM-2002-SecherS #graph
From checking to inference via driving and dag grammars (JPS, MHS), pp. 41–51.
SACSAC-2000-LeeKHL #dependence #graph #scheduling #using
Task Scheduling using a Block Dependency DAG for Block-Oriented Sparse Cholesky Factorization (HL, JK, SJH, SL), pp. 641–648.
DATEDATE-1999-AlippiFPS #approach #configuration management #design
A DAG-Based Design Approach for Reconfigurable VLIW Processors (CA, WF, LP, MS), pp. 778–779.
POPLPOPL-1999-Ertl #graph
Optimal Code Selection in DAGs (MAE), pp. 242–249.
DACDAC-1998-KukimotoBS #graph
Delay-Optimal Technology Mapping by DAG Covering (YK, RKB, PS), pp. 348–351.
ICMLICML-1997-TingW #modelling
Stacking Bagged and Dagged Models (KMT, IHW), pp. 367–375.
PPDPPLILP-1996-Kessler #graph #scheduling
Scheduling Expression DAGs for Minimal Register Need (CWK), pp. 228–242.
POPLPOPL-1996-GhiyaH #analysis #c #graph #pointer
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.
KDDKDD-1994-Gaines #exception #graph
Exception Dags as Knowledge Structures (BRG), pp. 13–24.
PLDIPLDI-1989-CytronHH #automation #generative #graph #parallel
Automatic Generation of DAG Parallelism (RC, MH, WCH), pp. 54–68.
DACDAC-1987-Keutzer #graph #named #optimisation
DAGON: Technology Binding and Local Optimization by DAG Matching (KK), pp. 341–347.
POPLPOPL-1983-BackMR #algorithm #graph #performance
Derivation of Efficient DAG Marking Algorithms (RJB, HM, KJR), pp. 20–27.
ICALPICALP-1979-KamimuraS #graph
DAGs and Chomsky Hierarchy (Extended Abstract) (TK, GS), pp. 331–337.

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.