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:
test (28)
self (17)
base (15)
system (11)
use (8)

Stem built$ (all stems)

83 papers:

SIGMODSIGMOD-2015-DietrichG #database #debugging #sql
A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger (BD, TG), pp. 865–870.
HCIDHM-EH-2015-MaruyamaKD #adaptation #scalability #simulation
MoCap-Based Adaptive Human-Like Walking Simulation in Laser-Scanned Large-Scale as-Built Environments (TM, SK, HD), pp. 193–204.
ICEISICEIS-v3-2015-NetoMKBRG #recognition #smarttech #visual notation
A Wearable Face Recognition System Built into a Smartwatch and the Visually Impaired User (LdSBN, VRMLM, FLK, MCCB, AdRR, SKG), pp. 5–12.
DATEDATE-2014-JeongOSNS #parametricity #self
Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.
DATEDATE-2014-KoundinyaTFPBS #multi
Multi resolution touch panel with built-in fingerprint sensing support (PK, ST, TF, VP, JB, WS), pp. 1–6.
HCIHCI-AS-2014-DotencoGG #smarttech #using
Smartphone Input Using Its Integrated Projector and Built-In Camera (SD, TG, FG), pp. 124–133.
KEODKEOD-2014-SongJ #empirical
A Task-Aware Empirical Know-How Map Built on Domain Q&A (BS, ZJ), pp. 410–416.
HCIDUXU-NTE-2013-CaladoSCC #artificial reality #bibliography #case study #interactive #perspective
Virtual Reality Applied to the Study of the Interaction between the User and the Built Space: A Literature Review (AVSC, MMS, FC, WC), pp. 345–351.
KEODKEOD-2013-ChulyadyoHB #approach #automation #ontology
Core Ontology based Approach for Treating the Flatness of Automatically Built Ontology (RC, MH, GB), pp. 316–323.
ESEC-FSEESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
CASECASE-2012-KimHMH #development #empirical #maintenance
Development of a seismic-wind load effect experiment system for built-in guide rail building maintenance robot (SWK, DH, SMM, JH), pp. 1016–1021.
CASECASE-2012-KimLKCH #algorithm
Proposal of built-in-guide-rail type building façade cleaning robot and its motion planning algorithm (DHK, SL, MK, BIC, CSH), pp. 1004–1009.
CASECASE-2012-ShinPKA #analysis #linear
Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.
DATEDATE-2012-AbdallahSMA #testing
Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.
SMTSMT-2012-ConchonMRI #axiom #float #smt
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
DACDAC-2011-YinKL #effectiveness
High effective-resolution built-in jitter characterization with quantization noise shaping (LY, YK, PL), pp. 765–770.
DATEDATE-2011-MotaS #detection #testing
A true power detector for RF PA built-in calibration and testing (PFdM, JMdS), pp. 365–370.
DATEDATE-2011-Pomeranz #functional #generative #testing
Built-in generation of functional broadside tests (IP), pp. 1297–1302.
DATEDATE-2011-StranoGLFGB #architecture #scalability #self
Exploiting Network-on-Chip structural redundancy for a cooperative and scalable built-in self-test architecture (AS, CGR, DL, MF, MEG, DB), pp. 661–666.
DATEDATE-2011-WangCC #self
An all-digital built-in self-test technique for transfer function characterization of RF PLLs (PYW, HMC, KTC), pp. 359–364.
ICALPICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
CIKMCIKM-2011-LuCAK #clustering #documentation #segmentation #topic
Legal document clustering with built-in topic segmentation (QL, JGC, KAK, WK), pp. 383–392.
CADECADE-2011-BaumgartnerT #evolution #similarity
Model Evolution with Equality Modulo Built-in Theories (PB, CT), pp. 85–100.
DATEDATE-2010-ElmW #named #self
BISD: Scan-based Built-In self-diagnosis (ME, HJW), pp. 1243–1248.
ICTSSICTSS-2010-PielGG #component #data flow #integration #scalability #testing
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems (ÉP, AGS, HGG), pp. 79–94.
SACSAC-2009-BacharM #classification #novel #ranking
A novel distance-based classifier built on pattern ranking (DB, RM), pp. 1427–1432.
ECSAECSA-2008-Atkinson #architecture #component #testing #verification
Component-Oriented Verification of Software Architectures through Built-in Tests (CA), p. 2.
DATEDATE-2008-ChattopadhyayZ #debugging #online
Built-in Clock Skew System for On-line Debug and Repair (AC, ZZ), pp. 248–251.
RTARTA-2008-FalkeK #data type #dependence #semantics
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.
HCIHCI-AS-2007-Moallem #enterprise #how
Excellence in Ease of Use with Rich Functionality How Enterprise Software Applications with Rich Functionality Can Be Built to Excel in Ease of Use (AM), pp. 672–681.
AdaSIGAda-2007-Jarzombek #assurance #named
Wanted: software with assurance built-in (JJ), pp. 9–10.
SIGIRSIGIR-2007-KneesPSW #metric #music #similarity
A music search engine built upon audio-based and web-based similarity measures (PK, TP, MS, GW), pp. 447–454.
RERE-2007-DorrHKLA #user satisfaction
Built-in User Satisfaction — Feature Appraisal and Prioritization with AMUSE (JD, SH, DK, DL, PA), pp. 101–110.
SACSAC-2007-MaoLZ #component #design #testing
Regression testing for component-based software via built-in test design (CM, YL, JZ), pp. 1416–1421.
DATEDATE-2006-TsengLC #2d #using
A built-in redundancy-analysis scheme for RAMs with 2D redundancy using 1D local bitmap (TWT, JFL, DMC), pp. 53–58.
EDOCEDOC-2006-BrennerAPMMS #component #re-engineering #testing #verification
Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing (DB, CA, BP, RM, MM, DS), pp. 175–184.
ITiCSEITiCSE-2005-KrebsLOT #algorithm #assessment #feedback #flexibility #generative #student #visualisation
Student-built algorithm visualizations for assessment: flexible generation, feedback and grading (MK, TL, TO, ST), pp. 281–285.
DATEDATE-v1-2004-VazquezLHRH #parametricity #self
A Method for Parameter Extraction of Analog Sine-Wave Signals for Mixed-Signal Built-In-Self-Test Applications (DV, GL, GH, AR, JLH), pp. 298–305.
SACSAC-2004-LiebmannD #adaptation #architecture
Adaptive data dissemination and caching for edge service architectures built with the J2EE (EL, SD), pp. 1717–1724.
DATEDATE-2003-NicolaidisAB #configuration management #self
Optimal Reconfiguration Functions for Column or Data-bit Built-In Self-Repair (MN, NA, SB), pp. 10590–10595.
DATEDATE-2003-PradhanLC #detection #fault #generative #named #novel
EBIST: A Novel Test Generator with Built-In Fault Detection Capability (DKP, CL, KC), pp. 10224–10229.
SIGIRSIGIR-2003-BeitzelJCGF #automation #evaluation #retrieval #using #web
Using manually-built web directories for automatic evaluation of known-item retrieval (SMB, ECJ, AC, DAG, OF), pp. 373–374.
ECOOPECOOP-2003-Abadi #security
Built-in Object Security (MA), p. 1.
DATEDATE-2002-LechugaMMB #detection #fault
Built-In Dynamic Current Sensor for Hard-to-Detect Faults in Mixed-Signal Ics (YL, RM, MM, SB), pp. 205–211.
SATSAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #standard #towards #using
Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.
DACDAC-2001-NouraniA #self
Built-In Self-Test for Signal Integrity (MN, AA), pp. 792–797.
ITiCSEITiCSE-2001-VanT #evaluation #optimisation #student
A “frequently asked questions” management system that supports voting, built for student evaluation and optimization purposes (HLV, AT), p. 184.
CCCC-2001-RountevR #analysis #library #points-to #source code
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries (AR, BGR), pp. 20–36.
LICSLICS-2001-GodoyN #constraints #deduction #monad #on the
On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (GG, RN), pp. 38–47.
DATEDATE-2000-PomeranzR #generative #sequence #testing
Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.
DATEDATE-2000-SuCHCL #metric
All Digital Built-in Delay and Crosstalk Measurement for On-Chip Buses (CS, YTC, MJH, GNC, CLL), pp. 527–531.
DATEDATE-2000-TsiatouhasHAN #fault #self #testing
A Versatile Built-In Self-Test Scheme for Delay Fault Testing (YT, TH, AA, DN), p. 756.
ICEISICEIS-2000-Seddon #case study #framework #multi #question
Case Study: Can a Multi Terabyte Data Warehouse Be Built on a ORACLE/UNIX Platform? (DS), p. XLV.
ICPRICPR-v2-2000-LaoKST #3d #invariant #recognition #using
3D Template Matching for Pose Invariant Face Recognition Using 3D Facial Model Built with Isoluminance Line Based Stereo Vision (SL, MK, YS, FT), pp. 2911–2916.
ICSEICSE-2000-CoppitS00a #named
Galileo: a tool built from mass-market applications (DC, KJS), pp. 750–753.
LICSLICS-2000-GodoyN
Paramodulation with Built-in Abelian Groups (GG, RN), pp. 413–424.
DACDAC-1999-KimHT #on the #self #synthesis
On ILP Formulations for Built-In Self-Testable Data Path Synthesis (HBK, DSH, TT), pp. 742–747.
DACDAC-1999-PomeranzR #generative #sequence #testing
Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences (IP, SMR), pp. 754–759.
DATEDATE-1999-ChakrabortyGBKM #design #physics #self
A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.
DATEDATE-1999-LechnerFRH #automation #performance #self
A Digital Partial Built-In Self-Test for a High Performance Automatic Gain Control Circuit (AL, JF, AR, BH), pp. 232–238.
DATEDATE-1999-NiggemeyerR #parametricity #self
Parametric Built-In Self-Test of VLSI Systems (DN, MR), p. 376–?.
DATEDATE-1999-ZarrinehU #architecture #memory management #on the #programmable
On Programmable Memory Built-In Self Test Architectures (KZ, SJU), pp. 708–713.
ICDARICDAR-1999-MiletzkiBS #learning
Continuous Learning Systems: Postal Address Readers with Built-In Learning Capability (UM, TB, HS), pp. 329–332.
CSMRCSMR-1999-WangKW #component #maintenance #testing
A Method for Built-in Tests in Component-based Software Maintenance (YW, GK, HW), pp. 186–189.
PPDPPPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming
Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
DATEDATE-1998-BogueGJZ #self
Built-In Self-Test with an Alternating Output (TB, MG, HJ, YZ), pp. 180–184.
PODSPODS-1998-KolaitisMT #complexity #on the #problem #query
On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates (PGK, DLM, MNT), pp. 197–204.
CSMRCSMR-1998-OhtaMI #on the #source code #verification
On Constructing a Tool to Verify Programs for Processors Built in Machines (TO, NM, YI), pp. 52–59.
DATEEDTC-1997-VriesZBR #self
Built-in self-test methodology for A/D converters (RdV, TZ, EMJGB, PPLR), pp. 353–358.
EDOCEDOC-1997-FujisakiHK #distributed #fault tolerance #network #scalability #using
A Scalable Fault-Tolerant Network Management System Built Using Distributed Object Technology (TF, MH, KK), pp. 140–148.
ICLPICLP-1997-AjiliK #composition #constraints #framework #unification
A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.
ITiCSEITiCSE-1996-BatlleMP #education #framework
A built-in educational platform for integrating computer engineering technologies (JB, JM, LP), p. 229.
HPCAHPCA-1996-KarlssonS #clustering #evaluation #multi #performance
Performance Evaluation of a Cluster-Based Multiprocessor Built from ATM Switches and Bus-Based Multiprocessor Servers (MK, PS), pp. 4–13.
CSLCSL-1996-KreidlerS #monad
Monadic NP and Built-in Trees (MK, DS), pp. 260–275.
ICALPICALP-1995-Schwentick #graph #monad
Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree (TS), pp. 405–416.
ESECESEC-1995-Matsumoto
Quantitative Evaluations of Software Built in with Domain-specific Disciplines (MJM), pp. 438–456.
PPDPALP-1992-AptMP #first-order #formal method #prolog
A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.
ICLPCLP-1990-AndreoliP90 #inheritance #linear #logic #process
Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.
RTARTA-1989-Vorobyov #induction
Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.
PPDPALP-1988-Bockmayr
Narrowing with Built-In Theories (AB), pp. 83–92.
DACDAC-1987-LiuSU #array #design #logic #named #programmable #scalability #self
BIST-PLA: A Built-in Self-Test Design of Large Programmable Logic Arrays (CYL, KKS, SJU), pp. 385–391.
DACDAC-1987-TanTBVP #performance #self #simulation
A Fast Signature Simulation Tool for Built-In Self-Testing Circuits (SBT, KT, KB, PV, RP), pp. 17–25.
DACDAC-1983-GriersonCRHKKMMN #array #collaboration #design #development
The UK5000 — successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test (JRG, BC, DR, REH, HK, JCK, JAM, JMM, CON), pp. 629–636.

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.