Stem tripl$ (all stems)

83 papers:

DATE-2015-LiuLY #approach #effectiveness

An effective triple patterning aware grid-based detailed routing approach (ZL, CL, EFYY), pp. 1641–1646.

VLDB-2015-WylotCG #query #web

A Demonstration of TripleProv: Tracking and Querying Provenance over Web Data (MW, PCM, PTG), pp. 1992–2003.

LATA-2015-GonzeJ #on the #probability

On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.

ICGT-2015-LeblebiciAS #graph grammar #multi #tool support

Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.

ICGT-2015-LeblebiciAST #graph grammar #multi

Multi-amalgamated Triple Graph Grammars (EL, AA, AS, GT), pp. 87–103.

SIGIR-2015-BastBH

Relevance Scores for Triples from Type-Like Relations (HB, BB, EH), pp. 243–252.

MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar

Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.

MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar

Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.

BX-2015-AnjorinLKSS #approach #graph grammar #guidelines

A Systematic Approach and Guidelines to Developing a Triple Graph Grammar (AA, EL, RK, AS, PS), pp. 81–95.

SAC-2015-CorcoglionitiRM #rdf #sorting #streaming #using

Processing billions of RDF triples on a single machine using streaming and sorting (FC, MR, MM, MA), pp. 368–375.

DATE-2014-BurlyaevFG

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.

FASE-2014-AnjorinSLS #graph grammar #refinement #using

Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.

GT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental #tool support

A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).

ICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis

A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.

CSCW-2014-LeeT

Sounds of silence: exploring contributions to conversations, non-responses and the impact of mediating technologies in triple space (JSL, DGT), pp. 1561–1572.

CIKM-2014-RahmanH #network #strict #using

Sampling Triples from Restricted Networks using MCMC Strategy (MR, MAH), pp. 1519–1528.

CIKM-2014-WuZYJL #distributed #named #rdf #semantics

SemStore: A Semantic-Preserving Distributed RDF Triple Store (BW, YZ, PY, HJ, LL), pp. 509–518.

ECMFA-2014-AnjorinRDS #graph grammar #performance

Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.

ICMT-2014-BlouinPDSD #case study #experience #graph grammar #modelling

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report (DB, AP, PD, FS, JPD), pp. 106–121.

ICMT-2014-HermannGNEBMPEE #graph grammar #in the large

Triple Graph Grammars in the Large for Translating Satellite Procedures (FH, SG, NN, HE, BB, GM, AP, TE, CE), pp. 122–137.

ICMT-2014-OrejasP #correctness #graph grammar #incremental

Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.

ASPLOS-2014-JungCSK #array #named #performance

Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.

DAC-2013-KuangY #approach #composition #layout #performance

An efficient layout decomposition approach for triple patterning lithography (JK, EFYY), p. 6.

VLDB-2013-YuanLWJZL #named #performance #rdf #scalability

TripleBit: a Fast and Compact System for Large Scale RDF Data (PY, PL, BW, HJ, WZ, LL), pp. 517–528.

AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.

BX-2013-HildebrandtLGRGSLAS #bibliography #graph grammar #tool support

A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.

ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.

DAC-2012-0002ZW #comparison

Triple patterning aware routing and its comparison with double patterning aware routing in 14nm technology (QM, HZ, MDFW), pp. 591–596.

DAC-2012-FangCC #algorithm #composition #layout #novel

A novel layout decomposition algorithm for triple patterning lithography (SYF, YWC, WYC), pp. 1185–1190.

HT-2012-Staab #how

How to do things with triples (SS), pp. 1–2.

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

ICGT-2012-AnjorinST #graph grammar

Construction of Integrity Preserving Triple Graph Grammars (AA, AS, GT), pp. 356–370.

ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.

ICGT-2012-LauderAVS #graph grammar #performance #precedence

Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.

AMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation

The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.

BX-2012-LambersHGO #bidirectional #graph grammar #model transformation

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.

ECMFA-2012-LauderAVS #bidirectional #graph grammar #model transformation #precedence

Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.

SAC-2012-DrumondRS #information management #knowledge base #predict #rdf

Predicting RDF triples in incomplete knowledge bases with tensor factorization (LD, SR, LST), pp. 326–331.

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.

GCM-2010-GolasEH11 #graph grammar #model transformation #specification

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).

AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.

GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).

OCSC-2011-AliprandiRMTM #dataset #rdf #semantics #web #wiki

Extracting Events from Wikipedia as RDF Triples Linked to Widespread Semantic Web Datasets (CA, FR, AM, MT, SM), pp. 90–99.

CIKM-2011-0003L #rdf

Estimating selectivity for joined RDF triple patterns (HH, CL), pp. 1435–1444.

CIKM-2011-BrodtSM #performance #rdf #retrieval

Efficient resource attribute retrieval in RDF triple stores (AB, OS, BM), pp. 1445–1454.

BX-2011-Brandt #enterprise #graph grammar #modelling #on the #requirements

On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling (CB), p. 54.

BX-2011-Kindler #concept #graph grammar #implementation

Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.

BX-2011-Schuerr #graph grammar #in a nutshell

Triple Graph Grammars in a Nutshell (AS), p. 51.

MoDELS-2011-HermannEOCDX #correctness #graph grammar

Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.

MoDELS-2011-HermannEOCDX #correctness #graph grammar

Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.

ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

ICEIS-ISAS-2010-AlvesSC #architecture

A Federated Triple Store Architecture for Healthcare Applications (BA, MS, FC), pp. 207–214.

LOPSTR-2010-StroderSG #analysis #dependence #logic programming #source code #termination

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (TS, PSK, JG), pp. 184–199.

SAC-2010-HarasicAOT #distributed #named #rdf

RDFSwarms: selforganized distributed RDF triple store (MH, AA, PO, RT), pp. 1339–1340.

DATE-2009-LomneMTRSC #evaluation #logic #robust

Evaluation on FPGA of triple rail logic robustness against DPA and DEMA (VL, PM, LT, MR, RS, NC), pp. 634–639.

GT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.

LOPSTR-2009-Schneider-KampGN #dependence #framework #logic programming #source code #termination

The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.

SAC-2009-GroppeGEL #in memory #memory management #performance #strict

Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns (JG, SG, SE, VL), pp. 1231–1238.

CSL-2009-SchwinghammerBRY #higher-order #hoare

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

DATE-2008-MorgadoRR #configuration management #multi #standard

A Triple-Mode Reconfigurable Sigma-Delta Modulator for Multi-Standard Wireless Applications (AM, RdR, JMdlR), pp. 862–867.

GT-VMT-2006-JakobS08 #graph grammar #metamodelling #modelling #using

View Creation of Meta Models by Using Modified Triple Graph Grammars (JJ, AS), pp. 181–190.

GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).

ICGT-2008-Dang #behaviour #graph grammar #ocl #validation

Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.

ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.

ICGT-2008-SchurrK #graph grammar

15 Years of Triple Graph Grammars (AS, FK), pp. 411–425.

ICGT-2008-Striewe #graph grammar #implementation #state machine #using

Using a Triple Graph Grammar for State Machine Implementations (MS), pp. 514–516.

BX-2008-Schuerr1 #graph grammar #tutorial

Triple Graph Grammar (tutorial) (AS), p. 29.

DocEng-2007-GrozaSH #editing #framework

The salt triple: framework editor publisher (TG, AS, SH), pp. 99–100.

AGTIVE-2007-AschenbrennerG #graph #graph grammar #using

Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.

GT-VMT-2007-LaraGB #generative #graph grammar #specification

Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules (JdL, EG, PB).

TOOLS-EUROPE-2007-LohmannGJS #graph grammar #model transformation #workflow

Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations (CL, JG, JJ, TS), pp. 253–273.

ICGT-2006-GuerraL #graph transformation

Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.

ICGT-2006-JakobKS #graph grammar #specification

Non-materialized Model View Specification with Triple Graph Grammars (JJ, AK, AS), pp. 321–335.

MoDELS-2006-GieseW #graph grammar #incremental

Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.

MoDELS-2006-GieseW #graph grammar #incremental

Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.

DATE-2005-KastensmidtSCR #composition #design #logic #on the

On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs (FLK, LS, LC, MSR), pp. 1290–1295.

ECMDA-FA-2005-GrunskeGL #graph grammar #model transformation #specification #visual notation

A Graphical Specification of Model Transformations with Triple Graph Grammars (LG, LG, ML), pp. 284–298.

CIKM-1998-LukF #database #object-oriented

Triple-Node Hierarchies for Object-Oriented Database Indexing (FHWL, AWCF), pp. 386–397.

ICALP-1997-BroersmaKKM #graph #independence #set

Independent Sets in Asteroidal Triple-Free Graphs (HB, TK, DK, HM), pp. 760–770.

ICALP-1995-CorneilOS #algorithm #graph #linear

Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs (DGC, SO, LS), pp. 292–302.

SAC-1993-GrahamI #incremental #linear

Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.