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:
text (46)
system (33)
abstract (32)
chip (27)
model (26)

Stem full$ (all stems)

280 papers:

DACDAC-2015-JiangLZYW #effectiveness #feature model #image #performance
A 127 fps in full hd accelerator based on optimized AKAZE with efficiency and effectiveness for image feature extraction (GJ, LL, WZ, SY, SW), p. 6.
DACDAC-2015-LiuSZLQ #generative #statistics
A statistical methodology for noise sensor placement and full-chip voltage map generation (XL, SS, PZ, XL, HQ), p. 6.
SIGMODSIGMOD-2015-DeshpandeRDA #approach #named
ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.
ESOPESOP-2015-SchererR #reduction
Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.
CHICHI-2015-ChanHCYHLC #gesture #named #smarttech
Cyclops: Wearable and Single-Piece Full-Body Gesture Input Devices (LWC, CHH, YLC, SY, DYH, RHL, BYC), pp. 3001–3009.
SIGIRSIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #using
Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.
POPLPOPL-2015-BonchiSZ #abstraction #graph
Full Abstraction for Signal Flow Graphs (FB, PS, FZ), pp. 515–526.
SACSAC-2015-QueirozH #capacity
Translating full duplexity into capacity gains for the high-priority traffic classes of IEEE 802.11 (SQ, RH), pp. 634–639.
DACDAC-2014-PengPL #optimisation #performance
Fast and Accurate Full-chip Extraction and Optimization of TSV-to-Wire Coupling (YP, DP, SKL), p. 6.
DACDAC-2014-WuXKCH #named #simulation #statistics #towards
REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.
DATEDATE-2014-ChenCT #performance #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-2014-PerriconeHNN #3d #case study #design #logic
Design of 3D nanomagnetic logic circuits: A full-adder case study (RP, XSH, JN, MTN), pp. 1–6.
VLDBVLDB-2014-FloratouMO #architecture #database #named
SQL-on-Hadoop: Full Circle Back to Shared-Nothing Database Architectures (AF, UFM, ), pp. 1295–1306.
WRLAWRLA-2014-Riesco #integration #maude
An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
STOCSTOC-2014-BuhrmanCKLS #memory management
Computing with a full memory: catalytic space (HB, RC, MK, BL, FS), pp. 857–866.
HCIHCI-AIMT-2014-BoulabiarCP #2d #3d #case study #gesture #interactive
The Study of the Full Cycle of Gesture Interaction, The Continuum between 2D and 3D (MIB, GC, FP), pp. 24–35.
ICPRICPR-2014-AfzalAFMO #3d #multi #re-engineering
RGB-D Multi-view System Calibration for Full 3D Scene Reconstruction (HA, DA, DF, BM, BEO), pp. 2459–2464.
ICPRICPR-2014-Chetouani #assessment #image #quality
Full Reference Image Quality Assessment: Limitation (AC), pp. 833–837.
SIGIRSIGIR-2014-BastBBH #semantics
Semantic full-text search with broccoli (HB, FB, BB, EH), pp. 1265–1266.
OSDIOSDI-2014-HawblitzelHLNPZZ #automation #security #verification
Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
IJCARIJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
DACDAC-2013-LiP #framework #modelling
An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.
DACDAC-2013-SongLPL #3d #multi #optimisation
Full-chip multiple TSV-to-TSV coupling extraction and optimization in 3D ICs (TS, CL, YP, SKL), p. 7.
DATEDATE-2013-HanCL #compilation
Compiling control-intensive loops for CGRAs with state-based full predication (KH, KC, JL), pp. 1579–1582.
DATEDATE-2013-KhanBBSH #video
An H.264 Quad-FullHD low-latency intra video encoder (MUKK, JMB, LB, MS, JH), pp. 115–120.
VLDBVLDB-2013-Rao0HT #keyword #named #performance
Bitlist: New Full-text Index for Low Space Cost and Efficient Keyword Search (WR, LC, PH, ST), pp. 1522–1533.
ICSMEICSM-2013-ScannielloR #fault #identifier #source code
Dealing with Faults in Source Code: Abbreviated vs. Full-Word Identifier Names (GS, MR), pp. 190–199.
PEPMPEPM-2013-Garcia-PerezN #functional #reduction #semantics
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.
ICALPICALP-v1-2013-KucherovN #constant #realtime
Full-Fledged Real-Time Indexing for Constant Size Alphabets (GK, YN), pp. 650–660.
CHICHI-2013-OulasvirtaRML #capacity
Information capacity of full-body movements (AO, TR, AM, LL), pp. 1289–1298.
CIKMCIKM-2013-BastB #performance #semantics
An index for efficient semantic full-text search (HB, BB), pp. 369–378.
SIGIRSIGIR-2013-PanzeriP #flexibility #named #xml #xquery
Flex-BaseX: an XML engine with a flexible extension of Xquery full-text (EP, GP), pp. 1083–1084.
OOPSLAOOPSLA-2013-PolitzMMWPLCK #named #python
Python: the full monty (JGP, AM, MM, SW, DP, JL, AC, SK), pp. 217–232.
GPCEGPCE-2013-0001RN #abstract syntax tree #declarative #fine-grained #mining #source code
Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes (RD, HR, TNN), pp. 23–32.
PPDPPPDP-2013-Garcia-PerezNM #order #semantics
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order (ÁGP, PN, JJMN), pp. 85–96.
POPLPOPL-2013-LoschP #abstraction
Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
PPoPPPPoPP-2013-ChenC #parallel #scalability
Scalable deterministic replay in a parallel full-system emulator (YC, HC), pp. 207–218.
CSLCSL-2013-CloustonDGT #calculus #linear #logic
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic (RC, JED, RG, AT), pp. 197–214.
CASECASE-2012-AhnPR
The construction of a full-scale wheel/rail roller rig in Korea (KA, JP, SR), pp. 802–803.
DACDAC-2012-MurilloEJYLA #hybrid #simulation
Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DACDAC-2012-ZhouLCKQY #framework #monitoring
An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.
DATEDATE-2012-HanPC #architecture #configuration management #power management
State-based full predication for low power coarse-grained reconfigurable architecture (KH, SP, KC), pp. 1367–1372.
DATEDATE-2012-MittagKJR #constraints #design #geometry #physics
Hierarchical propagation of geometric constraints for full-custom physical design of ICs (MM, AK, GJ, WR), pp. 1471–1474.
DocEngDocEng-2012-MahlowGHS #framework #retrieval #using #xquery
A framework for retrieval and annotation in digital humanities using XQuery full text and update in BaseX (CM, CG, AH, MHS), pp. 195–204.
DocEngDocEng-2012-WongSL #documentation #multi
Full-text search on multi-byte encoded documents (RKW, FS, NL), pp. 227–236.
SIGMODSIGMOD-2012-MeachamS #named #privacy #sql #transaction
JustMyFriends: full SQL, full transactional amenities, and access privacy (AM, DS), pp. 633–636.
VLDBVLDB-2012-LuoLMCZ #data transformation #hybrid #named
hStorage-DB: Heterogeneity-aware Data Management to Exploit the Full Capability of Hybrid Storage Systems (TL, RL, MPM, FC, XZ), pp. 1076–1087.
FoSSaCSFoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.
FoSSaCSFoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
ICALPICALP-v2-2012-MurawskiT #algorithm #game studies
Algorithmic Games for Full Ground References (ASM, NT), pp. 312–324.
CHICHI-2012-GerlingLNM #game studies #interactive
Full-body motion-based game interaction for older adults (KMG, IJL, LN, RLM), pp. 1873–1882.
CAiSECAiSE-2012-PastorE #code generation #modelling #requirements
Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.
CIKMCIKM-2012-LiuZG #analysis #ranking
Full-text citation analysis: enhancing bibliometric and scientific publication ranking (XL, JZ, CG), pp. 1975–1979.
CIKMCIKM-2012-XinKALH #design #modelling
Do ads compete or collaborate?: designing click models with full relationship incorporated (XX, IK, RA, MRL, HH), pp. 1839–1843.
ECIRECIR-2012-AtilganAU #keyword #on the #xml
On the Size of Full Element-Indexes for XML Keyword Search (DA, ISA, ÖU), pp. 556–560.
ECIRECIR-2012-GalleR #clustering
Full and Mini-batch Clustering of News Articles with Star-EM (MG, JMR), pp. 494–498.
ECIRECIR-2012-JonassenB #concurrent #distributed #pipes and filters #retrieval
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.
ISSTAISSTA-2012-SuiYX #analysis #detection #memory management #using
Static memory leak detection using full-sparse value-flow analysis (YS, DY, JX), pp. 254–264.
LICSLICS-2012-Mazza #λ-calculus
An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus (DM), pp. 471–480.
DACDAC-2011-JungMPL #3d #analysis #optimisation #reliability
TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
DACDAC-2011-LiuSCKKL #3d #analysis #optimisation
Full-chip TSV-to-TSV coupling analysis and optimization in 3D IC (CL, TS, JC, JK, JK, SKL), pp. 783–788.
DACDAC-2011-PatelACG #manycore #named
MARSS: a full system simulator for multicore x86 CPUs (AP, FA, SC, KG), pp. 1050–1055.
ICDARICDAR-2011-TerasawaSK #image #performance
A Fast Appearance-Based Full-Text Search Method for Historical Newspaper Images (KT, TS, TK), pp. 1379–1383.
SIGMODSIGMOD-2011-BalesDV #algebra #optimisation #query
Score-consistent algebraic optimization of full-text search queries with GRAFT (NB, AD, VV), pp. 769–780.
STOCSTOC-2011-MoserS #algorithm #satisfiability
A full derandomization of schöning’s k-SAT algorithm (RAM, DS), pp. 245–252.
DLTDLT-2011-KortelainenS #bound #context-free grammar
There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.
PPoPPPPoPP-2011-WangLCWCZZ #named #parallel #scalability
COREMU: a scalable and portable parallel full-system emulator (ZW, RL, YC, XW, HC, WZ, BZ), pp. 213–222.
CADECADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CSLCSL-2011-BucciarelliCEM #abstraction #calculus #testing
Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
TLCATLCA-2011-Gimenez #difference #linear #logic #normalisation #proving
Realizability Proof for Normalization of Full Differential Linear Logic (SG), pp. 107–122.
DACDAC-2010-NowrozCR #monitoring
Thermal monitoring of real processors: techniques for sensor allocation and full characterization (ANN, RC, SR), pp. 56–61.
DACDAC-2010-ShenTX #algorithm #analysis #correlation #linear #power management #statistics
A linear algorithm for full-chip statistical leakage power analysis considering weak spatial correlation (RS, SXDT, JX), pp. 481–486.
DATEDATE-2010-FanucciPDSTCLT #programmable
An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability (LF, GP, PD, RS, FT, PC, LL, PT), pp. 526–531.
SIGMODSIGMOD-2010-CampbellKE #sql
Extreme scale with full SQL language support in microsoft SQL Azure (DGC, GK, NE), pp. 1021–1024.
SIGMODSIGMOD-2010-LiuBCDNA #adaptation #approach #documentation #named
Pay-as-you-go: an adaptive approach to provide full context-aware text search over document content (ZHL, TB, SC, JD, AN, VA), pp. 1025–1036.
STOCSTOC-2010-AaronsonD #quantum
A full characterization of quantum advice (SA, AD), pp. 131–140.
IFMIFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics
Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
ICEISICEIS-DISI-2010-KasprzakBCO #effectiveness #enterprise #scalability #using
Access Rights in Enterprise Full-text Search — Searching Large Intranets Effectively using Virtual Terms (JK, MB, MC, TO), pp. 32–39.
ICPRICPR-2010-HarmanciH #adaptation #image #query
Content Adaptive Hash Lookups for Near-Duplicate Image Search by Full or Partial Image Queries (OH, IH), pp. 1582–1585.
ICPRICPR-2010-LiH #image
A Full-View Spherical Image Format (SL, YH), pp. 2337–2340.
LICSLICS-2010-SilesH #similarity #type system
Equality Is Typable in Semi-full Pure Type Systems (VS, HH), pp. 21–30.
DACDAC-2009-VeetilSBSR #analysis #dependence #performance
Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.
DATEDATE-2009-PaciBB #adaptation #bias #communication #effectiveness #variability
Effectiveness of adaptive supply voltage and body bias as post-silicon variability compensation techniques for full-swing and low-swing on-chip communication channels (GP, DB, LB), pp. 1404–1409.
DATEDATE-2009-PengC #parallel #simulation
Parallel transistor level full-chip circuit simulation (HP, CKC), pp. 304–307.
DRRDRR-2009-ZhangLDW #documentation #image #segmentation
Restoring warped document image through segmentation and full-page interpolation (YZ, CL, XD, KW), pp. 1–10.
ICDARICDAR-2009-PalRRK #automation #multi #recognition #string
Indian Multi-Script Full Pin-code String Recognition for Postal Automation (UP, RKR, KR, FK), pp. 456–460.
VLDBVLDB-2009-TerwilligerBM #flexibility #object-oriented #xml
Full-Fidelity Flexible Object-Oriented XML Access (JFT, PAB, SM), pp. 1030–1041.
WRLAWRLA-2008-DuranO09 #implementation #maude #realtime
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.
FoSSaCSFoSSaCS-2009-MurawskiT #abstraction #ml
Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.
PLDIPLDI-2009-Oiwa #compilation #implementation
Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.
IFMIFM-2009-PaceS #challenge #contract #specification
Challenges in the Specification of Full Contracts (GJP, GS), pp. 292–306.
HCIHCD-2009-Kurosu #approach
Full Description Persona vs. Trait List Persona in the Persona-Based sHEM Approach (MK), pp. 230–238.
HCIHCI-NT-2009-DahlAS #mobile #simulation #usability
Evaluating Mobile Usability: The Role of Fidelity in Full-Scale Laboratory Simulations with Mobile ICT for Hospitals (YD, OAA, DS), pp. 232–241.
HCIHCI-VAD-2009-CharissisPV #case study #development #interface
Interface Development for Early Notification Warning System: Full Windshield Head-Up Display Case Study (VC, SP, GV), pp. 683–692.
CIKMCIKM-2009-HeYS #documentation #version control
Compact full-text indexing of versioned document collections (JH, HY, TS), pp. 415–424.
CIKMCIKM-2009-MargaritisA #low cost #online
Low-cost management of inverted files for online full-text search (GM, SVA), pp. 455–464.
CIKMCIKM-2009-MassSS #effectiveness #network #scalability
A scalable and effective full-text search in P2P networks (YM, YS, MSS), pp. 1979–1982.
LOPSTRLOPSTR-2009-PettorossiPS #branch #logic #program transformation
Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.
HPDCHPDC-2009-LiuJLHY #migration #virtual machine
Live migration of virtual machine based on full system trace and replay (HL, HJ, XL, LH, CY), pp. 101–110.
VMCAIVMCAI-2009-GondiPS #monitoring #probability
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
CASECASE-2008-LiF
Full-view car navigator (SL, KF), pp. 744–749.
DACDAC-2008-LiZY #analysis #verification
Full-chip leakage analysis in nano-scale technologies: mechanisms, variation sources, and verification (TL, WZ, ZY), pp. 594–599.
SIGMODSIGMOD-2008-FengFN #order #ranking
Discovering bucket orders from full rankings (JF, QF, WN), pp. 55–66.
ESOPESOP-2008-GiustoG #abstraction
Full Abstraction for Linda (CDG, MG), pp. 78–92.
TACASTACAS-2008-FarzanCCTW #automation #composition #regular expression #verification
Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.
PLDIPLDI-2008-ZeeKR #data type #functional #linked data #open data #verification
Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
ICALPICALP-B-2008-BergerHY #abstraction #logic #mobile #process
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
ICALPICALP-B-2008-Kesner #composition
Perpetuality for Full and Safe Composition (in a Constructive Setting) (DK), pp. 311–322.
SEFMSEFM-2008-Gladisch #branch #generative #testing
Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
ICPRICPR-2008-GuDWW #recognition
Full body tracking-based human action recognition (JG, XD, SW, YW), pp. 1–4.
ICPRICPR-2008-OhyamaNYN
Reversible data hiding of full color JPEG2000 compressed bit-stream preserving bit-depth information (SO, MN, KY, HN), pp. 1–4.
ASPLOSASPLOS-2008-MysoreMAS #comprehension #data flow #visualisation
Understanding and visualizing full systems with data flow tomography (SM, BM, BA, TS), pp. 211–221.
HPCAHPCA-2008-FenschC #hardware
An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.
CASECASE-2007-LiI #image #locality
Qualitative Localization by Full-View Spherical Image (SL, TI), pp. 566–571.
DACDAC-2007-HeloueAN #correlation #estimation #modelling
Modeling and Estimation of Full-Chip Leakage Current Considering Within-Die Correlation (KRH, NA, FNN), pp. 93–98.
DACDAC-2007-LiY #analysis #power management #statistics
Statistical Analysis of Full-Chip Leakage Power Considering Junction Tunneling Leakage (TL, ZY), pp. 99–102.
EDOCEDOC-2007-PesicSA #named #process
DECLARE: Full Support for Loosely-Structured Processes (MP, HS, WMPvdA), pp. 287–300.
ICMLICML-2007-dAspremontBG #analysis #component
Full regularization path for sparse principal component analysis (Ad, FRB, LEG), pp. 177–184.
SIGIRSIGIR-2007-ChenBLCZ #mobile #retrieval #tool support
A full-text retrieval toolkit for mobile desktop search (WC, JB, KL, CC, CZ), p. 905.
SACSAC-2007-QuZGC #framework #named
Unichos: a full system simulator for thin client platform (NQ, YZ, XG, XC), pp. 1552–1556.
HPCAHPCA-2007-AnnavaramGR #variability
Implications of Device Timing Variability on Full Chip Timing (MA, EG, PR), pp. 37–45.
HPDCHPDC-2007-RidruejoMN #component #concept #distributed #memory management #parallel #simulation
Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.
CSLCSL-2007-Abramsky #geometry #interactive #proving
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.
LICSLICS-2007-Tzevelekos #abstraction
Full abstraction for nominal general references (NT), pp. 399–410.
TLCATLCA-2007-Mazza #abstraction #combinator #interactive #symmetry
Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
DACDAC-2006-ChenCCCH #novel
Novel full-chip gridless routing considering double-via insertion (HYC, MFC, YWC, LC, BH), pp. 755–760.
DACDAC-2006-LiLP #analysis #power management #statistics
Projection-based statistical analysis of full-chip leakage power with non-log-normal distributions (XL, JL, LTP), pp. 103–108.
DATEDATE-2006-GarciaMN
Bootstrapped full--swing CMOS driver for low supply voltage operation (JCG, JAMN, SN), pp. 410–411.
DATEDATE-2006-WangM #algorithm #analysis #multi
A logarithmic full-chip thermal analysis algorithm based on multi-layer Green’s function (BW, PM), pp. 39–44.
SIGMODSIGMOD-2006-Amer-YahiaCD #flexibility #performance #xml
Flexible and efficient XML search with complex full-text predicates (SAY, EC, AD), pp. 575–586.
SIGMODSIGMOD-2006-BhaskarBCGSSY #implementation #named #performance #xquery
Quark: an efficient XQuery full-text implementation (AB, CB, MC, LG, JS, FS, FY), pp. 781–783.
VLDBVLDB-2006-CohenFKKS
Full Disjunctions: Polynomial-Delay Iterators in Action (SC, IF, YK, BK, YS), pp. 739–750.
FoSSaCSFoSSaCS-2006-Laird #abstraction #nondeterminism
Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.
FoSSaCSFoSSaCS-2006-LuttgenV #process #semantics
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics (GL, WV), pp. 261–276.
STOCSTOC-2006-Ben-OrPV
Byzantine agreement in the full-information model in O(log n) rounds (MBO, EP, VV), pp. 179–186.
ICALPICALP-v2-2006-PhanST #hybrid
Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability (DHP, RSN, DT), pp. 264–275.
ICALPICALP-v2-2006-Yan #automaton #bound
Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique (QY), pp. 589–600.
ICMLICML-2006-SuZ #classification #network
Full Bayesian network classifiers (JS, HZ), pp. 897–904.
ICPRICPR-v2-2006-OsawaWWY #3d #using
Human Tracking by Particle Filtering Using Full 3D Model of Both Target and Environment (TO, XW, KW, TY), pp. 25–28.
ICPRICPR-v4-2006-Li06b #image
Full-View Spherical Image Camera (SL), pp. 386–390.
SIGIRSIGIR-2006-LarsenTM #documentation #retrieval #xml
Is XML retrieval meaningful to users?: searcher preferences for full documents vs. elements (BL, AT, SM), pp. 663–664.
SIGIRSIGIR-2006-LuC #modelling #network #peer-to-peer
User modeling for full-text federated search in peer-to-peer networks (JL, JPC), pp. 332–339.
IJCARIJCAR-2006-Boldo #algorithm #float #proving
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.
CASECASE-2005-CengicALYF #composition #implementation #using
Implementation of full synchronous composition using IEC 61499 function blocks (GC, , BL, CY, PMF), pp. 267–272.
DACDAC-2005-ChangS #analysis #correlation #power management #process
Full-chip analysis of leakage power under process variations, including spatial correlations (HC, SSS), pp. 523–528.
DACDAC-2005-HoCCC #architecture #multi
Multilevel full-chip routing for the X-based architecture (TYH, CFC, YWC, SJC), pp. 597–602.
DACDAC-2005-HuLWD #analysis #integration #novel #using
Analysis of full-wave conductor system impedance over substrate using novel integration techniques (XH, JHL, JW, LD), pp. 147–152.
DACDAC-2005-KlemasDW #algorithm #order #reduction
Segregation by primary phase factors: a full-wave algorithm for model order reduction (TJK, LD, JKW), pp. 943–946.
DATEDATE-2005-PomeranzR05a #detection #fault #heuristic
The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits (IP, SMR), pp. 1008–1013.
PODSPODS-2005-CohenS #algorithm #incremental
An incremental algorithm for computing ranked full disjunctions (SC, YS), pp. 98–107.
SIGMODSIGMOD-2005-LeFevreDR #named #performance
Incognito: Efficient Full-Domain K-Anonymity (KL, DJD, RR), pp. 49–60.
VLDBVLDB-2005-Amer-YahiaS #challenge #xml
XML Full-Text Search: Challenges and Opportunities (SAY, JS), p. 1368.
WRLAWRLA-2004-DuranEL05 #evaluation #maude
New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.
FoSSaCSFoSSaCS-2005-JeffreyR #abstraction #polymorphism #π-calculus
Full Abstraction for Polymorphic π-Calculus (AJ, JR), pp. 266–281.
PADLPADL-2005-BenzakenCM #paradigm #query #xml
A Full Pattern-Based Paradigm for XML Query Processing (VB, GC, CM), pp. 235–252.
CAVCAV-2005-HeljankoJL #bound #incremental #model checking
Incremental and Complete Bounded Model Checking for Full PLTL (KH, TAJ, TL), pp. 98–111.
DACDAC-2004-KapurL #scalability #simulation
Large-scale full-wave simulation (SK, DEL), pp. 806–809.
DATEDATE-v1-2004-MurgaiRMHT #analysis #modelling
Sensitivity-Based Modeling and Methodology for Full-Chip Substrate Noise Analysis (RM, SMR, TM, TH, MBT), pp. 610–615.
DATEDATE-v2-2004-XiongH #multi
Full-Chip Multilevel Routing for Power and Signal Integrity (JX, LH), pp. 1116–1123.
SIGMODSIGMOD-2004-Amer-YahiaLP #flexibility #named #query #xml
FleXPath: Flexible Structure and Full-Text Querying for XML (SAY, LVSL, SP), pp. 83–94.
SIGMODSIGMOD-2004-BotevSA #xml
A TeXQuery-Based XML Full-Text Search Engine (CB, JS, SAY), pp. 943–944.
ICEISICEIS-v3-2004-HirvonenAP
The Profiles of Projects Supplied by a Full-Scale ICT-Services Provider (APH, JJA, MP), pp. 123–130.
ICPRICPR-v4-2004-ReddyS #estimation #predict
A New Predictive Full-Search Block Motion Estimation (VSKR, SS), pp. 721–724.
LOPSTRLOPSTR-2004-PueblaAH #performance #prolog
Efficient Local Unfolding with Ancestor Stacks for Full Prolog (GP, EA, MVH), pp. 149–165.
LICSLICS-2004-AbramskyGMOS #abstraction #calculus #game studies
Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.
VMCAIVMCAI-2004-Harel #challenge #modelling #multi #towards
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal (DH), pp. 323–324.
PODSPODS-2003-KanzaS
Computing full disjunctions (YK, YS), pp. 78–89.
CSMRCSMR-2003-BaldassarreBCV #maintenance #process #reuse
Full Reuse Maintenance Process for Reducing Software Degradatio (MTB, AB, DC, CAV), p. 289–?.
CHICHI-2003-KurniawanKEB #design #evaluation
Design and user evaluation of a joystick-operated full-screen magnifier (SHK, AK, DGE, PB), pp. 25–32.
TACASTACAS-2002-Ouaknine #abstraction #model checking
Digitisation and Full Abstraction for Dense-Time Model Checking (JO), pp. 37–51.
ICEISICEIS-2002-PequenoV #self #using
Using Full Match Classes for Self-Maintenance of Mediated Views (VMP, VMPV), pp. 148–154.
PPDPPPDP-2002-Chen #integration #type system
Full integration of subtyping and if-expression (GC), pp. 181–188.
DACDAC-2001-LiebmannLHG #design #logic
Enabling Alternating Phase Shifted Mask Designs for a Full Logic Gate Level: Design Rules and Design Rule Checking (LL, JL, FLH, IG), pp. 79–84.
DACDAC-2001-SanieCHM #design #standard
A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.
DATEDATE-2001-ZengABA #identification
Full chip false timing path identification: applications to the PowerPCTM microprocessors (JZ, MSA, JB, JAA), pp. 514–519.
FMFME-2001-CalderMS #logic
An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
TOOLSTOOLS-EUROPE-2001-SnoeckD01a #concept #modelling #object-oriented
Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper) (MS, GD), pp. 170–179.
TOOLSTOOLS-USA-2001-Arsanjani01a #component #lifecycle
Developing Component-Based Software: Arming Yourself for the Full Lifecycle (AA), p. 335.
TLCATLCA-2001-Laurent #geometry #interactive
A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.
DATEDATE-2000-NicoliciA #clustering #multi #power management
Scan Latch Partitioning into Multiple Scan Chains for Power Minimization in Full Scan Sequential Circuits (NN, BMAH), pp. 715–722.
DATEDATE-2000-PomeranzR00a #functional #generative #testing
Functional Test Generation for Full Scan Circuits (IP, SMR), pp. 396–401.
WRLAWRLA-2000-DuranM #maude
Parameterized Theories and Views in Full Maude 2.0 (FD, JM), pp. 316–338.
SASSAS-2000-JaramilloGS #debugging #named
FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
AdaEuropeAdaEurope-2000-LacommeCCN #ada #uml
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.
ICPRICPR-v1-2000-Weik #using
A Passive Full Body Scanner Using Shape from Silhouettes (SW), pp. 1750–1753.
CSLCSL-2000-Laird #finite #modelling
Finite Models and Full Completeness (JL), pp. 384–398.
DACDAC-1999-HuS #named
FAR-DS: Full-Plane AWE Routing with Driver Sizing (JH, SSS), pp. 84–89.
DATEDATE-1999-CarlettaNP #synthesis #testing
Synthesis of Controllers for Full Testability of Integrated Datapath-Controller Pairs (JC, MN, CAP), pp. 278–282.
DATEDATE-1999-LinPR #fault
Full Scan Fault Coverage With Partial Scan (XL, IP, SMR), pp. 468–472.
ICDARICDAR-1999-MartiB #database #recognition
A Full English Sentence Database for Off-line Handwriting Recognition (UVM, HB), pp. 705–708.
HCIHCI-CCAD-1999-PrevotC #automation #design #evaluation #simulation
A vertical situation display for automated aircraft — design and evaluation in full mission simulation (TP, BC), pp. 1266–1270.
LICSLICS-1999-AbramskyM #concurrent #game studies
Concurrent Games and Full Completeness (SA, PAM), pp. 431–442.
LICSLICS-1999-DevarajanHPP #linear #logic #multi
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
LICSLICS-1999-MarzRS #abstraction
Full Abstraction and Universality via Realisability (MM, AR, TS), pp. 174–182.
DACDAC-1998-NassifDH #modelling #robust #verification
Robust Elmore Delay Models Suitable for Full Chip Timing Verification of a 600MHz CMOS Microprocessor (NN, MPD, DHH), pp. 230–235.
DACDAC-1998-SteeleORH #verification
Full-Chip Verification Methods for DSM Power Distribution Systems (GS, DO, SR, SZH), pp. 744–749.
DACDAC-1998-ZhaoDKL #3d #performance
Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green’s Functions (JZ, WWMD, SK, DEL), pp. 224–229.
DATEDATE-1998-Montiel-NelsonASN #compilation #design
A Cell and Macrocell Compiler for GaAs VLSI Full-Custom Design (JAMN, VdA, RS, AN), pp. 947–948.
HTHT-1998-Rosenberg #game studies #programmable
Locus Looks at the Turing Play: Hypertextuality vs. Full Programmability (JR), pp. 152–160.
SIGIRSIGIR-1998-HyoudoNI #comparison #dependence #proximity #retrieval
Comparison Between Proximity Operation and Dependency Operation in Japanese Full-Text Retrieval (YH, KN, TI), pp. 341–342.
LICSLICS-1998-Viswanathan #abstraction #first-order #recursion #type system
Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.
DACDAC-1997-GrundmannDAR #design #performance #using
Designing High Performance CMOS Microprocessors Using Full Custom Techniques (WJG, DD, RLA, NLR), pp. 722–727.
DATEEDTC-1997-Gonzalez-TorresMH #set
Full custom chip set for high speed serial communications up to 2.48 Gbit/s (JGT, PAM, JMH), p. 614.
CSMRCSMR-1997-Meltz #assessment
Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
ICALPICALP-1997-BurkartS #calculus #infinity #model checking #process #μ-calculus
Model Checking the Full Modal μ-Calculus for Infinite Sequential Processes (OB, BS), pp. 419–429.
AdaEuropeAdaEurope-1997-Pichon #ada #integration
CCO-Mars’96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project (PP), pp. 196–208.
ICSEICSE-1997-HumphreyO #process #tutorial
The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.
CSLCSL-1997-HartonasH #concurrent #functional #higher-order
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract) (CH, MH), pp. 239–254.
CSLCSL-1997-Moschovakis #concurrent #game studies #recursion #λ-calculus
A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion (YNM), pp. 341–359.
LICSLICS-1997-Laird #abstraction #functional
Full Abstraction for Functional Languages with Control (JL), pp. 58–67.
DACDAC-1996-PhilippsCL #analysis #performance #reduction
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms (JRP, EC, DDL), pp. 377–382.
PODSPODS-1996-RajaramanU
Integrating Information by Outerjoins and Full Disjunctions (AR, JDU), pp. 238–248.
AdaEuropeAdaEurope-1996-RybinSKF #implementation #prototype
ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.
ICPRICPR-1996-LinT #algorithm #performance #video
Fast full-search block-matching algorithm for motion-compensated video compression (YCL, SCT), pp. 914–918.
POPLPOPL-1996-GreinerB #implementation #parallel
A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.
ISSTAISSTA-1996-CrowleyLL #automation #formal method #testing
Issues in the Full Scale Use of Formal Methods for Automated Testing (JLC, JFL, KAL), pp. 71–78.
LICSLICS-1996-McCusker #abstraction #game studies
Games and Full Abstraction for FPC (GM), pp. 174–183.
CHICHI-1995-Hearst #information management #named #visualisation
TileBars: Visualization of Term Distribution Information in Full Text Information Access (MAH), pp. 59–66.
SIGIRSIGIR-1995-Klein #performance #retrieval
Efficient Recompression Techniques for Dynamic Full-Text Retrieval Systems (STK), pp. 39–47.
LICSLICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
LICSLICS-1995-Lamarche #game studies #linear #logic #semantics
Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.
VLDBVLDB-1994-BrownCC #incremental #information retrieval #performance
Fast Incremental Indexing for Full-Text Information Retrieval (EWB, JPC, WBC), pp. 192–202.
STOCSTOC-1994-OstrovskyRV #performance
Simple and efficient leader election in the full information model (RO, SR, UVV), pp. 234–242.
AdaTRI-Ada-1994-Kempe #ada #data type
Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.
SIGIRSIGIR-1994-Anick #adaptation #information retrieval
Adapting a Full-text Information Retrieval System to the Computer Troubleshooting Domain (PGA), pp. 349–358.
SIGIRSIGIR-1994-MiikeIOS #generative #retrieval
A Full-Text Retrieval System with a Dynamic Abstract Generation Function (SM, EI, KO, KS), pp. 152–161.
TOOLSTOOLS-EUROPE-1994-SappinoVBGMC #lifecycle #object-oriented
Experiencing Full Object-Oriented Lifecycle in a Complex Financial Domain (SS, BV, EB, VG, DM, GC), pp. 217–224.
ICLPICLP-1994-DumortierJ #towards
Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.
LICSLICS-1994-Loader #linear #logic
Linear Logic, Totality and Full Completeness (RL), pp. 292–298.
DACDAC-1993-DaoMHOM
A Compaction Method for Full Chip VLSI Layouts (JD, NM, TH, CO, SM), pp. 407–412.
DACDAC-1993-GanapathyA #pseudo
Selective Pseudo Scan: Combinational ATPG with Reduced Scan in a Full Custom RISC Microprocessor (GG, JAA), pp. 550–555.
ICALPICALP-1993-CohenF #finite #state machine
Products of Finite State Machines with Full Coverage (DMC, MLF), pp. 469–477.
HCIHCI-ACS-1993-Soderberg #design #how
How the Design of the Premises Supports a New Organizational Structure as Viewed by Full-Time Operators in Large-Scaled Tele-Services (IS), pp. 839–844.
SIGIRSIGIR-1993-AnickF #retrieval
Integrating a Dynamic Lexicon with a Dynamic Full-Text Retrieval System (PGA, RAF), pp. 136–145.
SIGIRSIGIR-1993-HearstP #documentation #topic
Subtopic Structuring for Full-Length Document Access (MAH, CP), pp. 59–68.
SIGIRSIGIR-1993-LinoffS #database #scalability
Compression of Indexes with Full Positional Information in Very Large Text Databases (GL, CS), pp. 88–95.
SIGIRSIGIR-1993-SaltonAB #information management #retrieval
Approaches to Passage Retrieval in Full Text Information Systems (GS, JA, CB), pp. 49–58.
CAVCAV-1993-KestenMMP #algorithm #logic
A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.
ICLPICLP-1993-BorgerR #in a nutshell #prolog
Full Prolog in a Nutshell (EB, DR), p. 832.
SIGMODSIGMOD-1992-Wade
Full Distribution in Objectivity/DB (AEW), p. 69.
VLDBVLDB-1992-ZobelMS #database #performance
An Efficient Indexing Technique for Full Text Databases (JZ, AM, RSD), pp. 352–362.
SASWSA-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation (AP, PD, PL), pp. 295–303.
AdaTRI-Ada-C-1992-BailesJSW #ada #declarative #functional #programming
Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
SEKESEKE-1992-Reif #correctness #first-order #specification
Correctness of Full First-Order Specifications (WR), pp. 276–283.
SIGIRSIGIR-1992-AnickF #information retrieval #version control
Versioning a Full-text Information Retrieval System (PGA, RAF), pp. 98–111.
LOPSTRLOPSTR-1992-ParrainDL #abstract interpretation #optimisation #prolog #source code #towards
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation (AP, PD, PL), pp. 228–241.
LOPSTRLOPSTR-1992-Prestwich #prolog
An Unfold Rule for Full Prolog (SDP), pp. 199–213.
POPLPOPL-1992-CartwrightF #abstraction
Observable Sequentiality and Full Abstraction (RC, MF), pp. 328–342.
DACDAC-1991-PanBGGY #design #verification
Timing Verification on a 1.2M-Device Full-Custom CMOS Design (JP, LLB, JG, WJG, YTY), pp. 551–554.
PEPMPEPM-1991-Sahlin #analysis #prolog
Determinacy Analysis for Full Prolog (DS), pp. 23–30.
ICLPICLP-1991-CostaWY #preprocessor #prolog
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model (VSC, DHDW, RY), pp. 443–456.
ICLPICLP-1991-Sato #first-order #logic programming
Full First Order Logic Programming and Truth Predicate (TS), p. 948.
LISPLFP-1990-SitaramF #abstraction #continuation #modelling #reasoning
Reasoning with Continuations II: Full Abstraction for Models of Control (DS, MF), pp. 161–175.
SIGIRSIGIR-1990-Coombs #automation #hypermedia
Hypertext, Full Text, and Automatic Linking (JHC), pp. 83–98.
SIGIRSIGIR-1990-Gauch #evaluation
Evaluation of an Expert System for Searching in Full Text (SG), pp. 255–277.
ICLPNACLP-1990-Sahlin #approach #automation #partial evaluation #prolog
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.
VLDBVLDB-1989-KuntzM #query #visual notation
Pasta-3’s Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power (MK, RM), pp. 97–105.
SIGIRSIGIR-1989-MaarekS #library
Full Text Indexing Based on Lexical Relations An Application: Software Libraries (YSM, FAS), pp. 198–206.
SIGIRSIGIR-1989-MitkasBG
An Optical System for Full Text Search (PAM, PBB, PSG), pp. 98–107.
CSLCSL-1989-Borger #logic #prolog #semantics
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control (EB), pp. 36–64.
LISPLFP-1988-FelleisenWFD #continuation #semantics
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps (MF, MW, DPF, BFD), pp. 52–62.
SIGIRSIGIR-1988-ChouekaFK #retrieval
Compression of Concordances in Full-Text Retrieval Systems (YC, ASF, STK), pp. 597–612.
ICLPJICSCP-1988-BoscoCM88 #functional #logic #power of #programming
Exploiting the Full Power of Logic Plus Functional Programming (PGB, CC, CM), pp. 3–17.
SIGIRSIGIR-1987-ChouekaFKS #query
Improved Techniques for Processing Queries in Full-Text Systems (YC, ASF, STK, ES), pp. 306–315.
SIGIRSIGIR-1987-SmithWF #analysis #named #retrieval
MICROARRAS: An Advanced Full-Text Retrieval and Analysis System (JBS, SFW, GJF), pp. 187–195.
POPLPOPL-1987-HuizingGR #abstraction #realtime #semantics
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.
LICSLICS-1987-HalpernW #abstraction
Full Abstraction and Expressive Completenes for FP (JYH, ELW), pp. 257–271.
ICLPSLP-1987-Kale87 #logic programming #parallel
“Completeness” and “Full Parallelism” of Parallel Logic Programming Schemes (LVK), pp. 125–133.
DACDAC-1986-WatanabeA #design #named
Flute — a floorplanning agent for full custom VLSI design (HW, BDA), pp. 601–607.
SIGIRSIGIR-1986-ChiaramellaDBK #information retrieval #named
IOTA: A Full Text Information Retrieval System (YC, BD, MFB, DK), pp. 207–213.
SIGIRSIGIR-1986-MartinMN #design #distributed #retrieval
A Design of a Distributed Full Text Retrieval System (PM, IAM, BN), pp. 131–137.
CADECADE-1986-PoratF #equation #term rewriting
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems (SP, NF), pp. 21–41.
PODSPODS-1985-Gyssens #dependence #embedded
Embedded Join Dependencies as a Tool for Decomposing Full Join Dependencies (MG), pp. 205–214.
SIGIRSIGIR-1985-TongACT #information retrieval #named
RUBRIC — An Environment for Full Text Information Retrieval (RMT, VNA, JFC, CJT), pp. 243–251.
ICLPSLP-1985-UmrigarP85 #empirical #first-order #logic #programming
An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.
DACDAC-1981-HsuSB #fault #testing
Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.
STOCSTOC-1978-Baudet #algorithm #analysis
An Analysis of the Full αβ Pruning Algorithm (GMB), pp. 296–313.
SIGIRSIGIR-1973-Price #retrieval
Comments on Experiments with Retrieval of Legal Information in Full Text (NP), p. 180–?.
STOCSTOC-1971-GinsburgG #recursion
Intersection-Closed full AFL and the Recursively Enumerable Languages (SG, JG), pp. 121–131.
SIGIRSIGIR-1971-ChouekaCDFS #documentation #retrieval
Full Text Document Retrieval: Hebrew Legal Texts (YC, MC, JD, ASF, MS), pp. 61–79.

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.