Stem built$ (all stems)

83 papers:

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

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

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

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

DATE-2014-KoundinyaTFPBS #multi

Multi resolution touch panel with built-in fingerprint sensing support (PK, ST, TF, VP, JB, WS), pp. 1–6.

HCI-AS-2014-DotencoGG #smarttech #using

Smartphone Input Using Its Integrated Projector and Built-In Camera (SD, TG, FG), pp. 124–133.

KEOD-2014-SongJ #empirical

A Task-Aware Empirical Know-How Map Built on Domain Q&A (BS, ZJ), pp. 410–416.

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

KEOD-2013-ChulyadyoHB #approach #automation #ontology

Core Ontology based Approach for Treating the Flatness of Automatically Built Ontology (RC, MH, GB), pp. 316–323.

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

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

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

CASE-2012-ShinPKA #analysis #linear

Structural analysis of built-in sensor frame in jaws with linear type gripper (DHS, TSP, YGK, JA), pp. 810–814.

DATE-2012-AbdallahSMA #testing

Testing RF circuits with true non-intrusive built-in sensors (LA, HGDS, SM, JA), pp. 1090–1095.

SMT-2012-ConchonMRI #axiom #float #smt

Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.

DAC-2011-YinKL #effectiveness

High effective-resolution built-in jitter characterization with quantization noise shaping (LY, YK, PL), pp. 765–770.

DATE-2011-MotaS #detection #testing

A true power detector for RF PA built-in calibration and testing (PFdM, JMdS), pp. 365–370.

DATE-2011-Pomeranz #functional #generative #testing

Built-in generation of functional broadside tests (IP), pp. 1297–1302.

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

DATE-2011-WangCC #self

An all-digital built-in self-test technique for transfer function characterization of RF PLLs (PYW, HMC, KTC), pp. 359–364.

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

CIKM-2011-LuCAK #clustering #documentation #segmentation #topic

Legal document clustering with built-in topic segmentation (QL, JGC, KAK, WK), pp. 383–392.

CADE-2011-BaumgartnerT #evolution #similarity

Model Evolution with Equality Modulo Built-in Theories (PB, CT), pp. 85–100.

DATE-2010-ElmW #named #self

BISD: Scan-based Built-In self-diagnosis (ME, HJW), pp. 1243–1248.

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

SAC-2009-BacharM #classification #novel #ranking

A novel distance-based classifier built on pattern ranking (DB, RM), pp. 1427–1432.

ECSA-2008-Atkinson #architecture #component #testing #verification

Component-Oriented Verification of Software Architectures through Built-in Tests (CA), p. 2.

DATE-2008-ChattopadhyayZ #debugging #online

Built-in Clock Skew System for On-line Debug and Repair (AC, ZZ), pp. 248–251.

RTA-2008-FalkeK #data type #dependence #semantics

Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures (SF, DK), pp. 94–109.

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

SIGAda-2007-Jarzombek #assurance #named

Wanted: software with assurance built-in (JJ), pp. 9–10.

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

RE-2007-DorrHKLA #user satisfaction

Built-in User Satisfaction — Feature Appraisal and Prioritization with AMUSE (JD, SH, DK, DL, PA), pp. 101–110.

SAC-2007-MaoLZ #component #design #testing

Regression testing for component-based software via built-in test design (CM, YL, JZ), pp. 1416–1421.

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

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

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

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

SAC-2004-LiebmannD #adaptation #architecture

Adaptive data dissemination and caching for edge service architectures built with the J2EE (EL, SD), pp. 1717–1724.

DATE-2003-NicolaidisAB #configuration management #self

Optimal Reconfiguration Functions for Column or Data-bit Built-In Self-Repair (MN, NA, SB), pp. 10590–10595.

DATE-2003-PradhanLC #detection #fault #generative #named #novel

EBIST: A Novel Test Generator with Built-In Fault Detection Capability (DKP, CL, KC), pp. 10224–10229.

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

ECOOP-2003-Abadi #security

Built-in Object Security (MA), p. 1.

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

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

DAC-2001-NouraniA #self

Built-In Self-Test for Signal Integrity (MN, AA), pp. 792–797.

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

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

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

DATE-2000-PomeranzR #generative #sequence #testing

Built-In Generation of Weighted Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 298–304.

DATE-2000-SuCHCL #metric

All Digital Built-in Delay and Crosstalk Measurement for On-Chip Buses (CS, YTC, MJH, GNC, CLL), pp. 527–531.

DATE-2000-TsiatouhasHAN #fault #self #testing

A Versatile Built-In Self-Test Scheme for Delay Fault Testing (YT, TH, AA, DN), p. 756.

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

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

ICSE-2000-CoppitS00a #named

Galileo: a tool built from mass-market applications (DC, KJS), pp. 750–753.

LICS-2000-GodoyN

Paramodulation with Built-in Abelian Groups (GG, RN), pp. 413–424.

DAC-1999-KimHT #on the #self #synthesis

On ILP Formulations for Built-In Self-Testable Data Path Synthesis (HBK, DSH, TT), pp. 742–747.

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

DATE-1999-ChakrabortyGBKM #design #physics #self

A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.

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

DATE-1999-NiggemeyerR #parametricity #self

Parametric Built-In Self-Test of VLSI Systems (DN, MR), p. 376–?.

DATE-1999-ZarrinehU #architecture #memory management #on the #programmable

On Programmable Memory Built-In Self Test Architectures (KZ, SJU), pp. 708–713.

ICDAR-1999-MiletzkiBS #learning

Continuous Learning Systems: Postal Address Readers with Built-In Learning Capability (UM, TB, HS), pp. 329–332.

CSMR-1999-WangKW #component #maintenance #testing

A Method for Built-in Tests in Component-based Software Maintenance (YW, GK, HW), pp. 186–189.

PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming

Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.

DATE-1998-BogueGJZ #self

Built-In Self-Test with an Alternating Output (TB, MG, HJ, YZ), pp. 180–184.

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

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

EDTC-1997-VriesZBR #self

Built-in self-test methodology for A/D converters (RdV, TZ, EMJGB, PPLR), pp. 353–358.

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

ICLP-1997-AjiliK #composition #constraints #framework #unification

A Modular Framework for the Combination of Unification and Built-In Constraints (FA, CK), pp. 331–345.

ITiCSE-1996-BatlleMP #education #framework

A built-in educational platform for integrating computer engineering technologies (JB, JM, LP), p. 229.

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

CSL-1996-KreidlerS #monad

Monadic NP and Built-in Trees (MK, DS), pp. 260–275.

ICALP-1995-Schwentick #graph #monad

Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree (TS), pp. 405–416.

ESEC-1995-Matsumoto

Quantitative Evaluations of Software Built in with Domain-specific Disciplines (MJM), pp. 438–456.

ALP-1992-AptMP #first-order #formal method #prolog

A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.

CLP-1990-AndreoliP90 #inheritance #linear #logic #process

Linear Objects in a Logic Processes with Built-in Inheritance (JMA, RP), pp. 495–510.

RTA-1989-Vorobyov #induction

Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction (SGV), pp. 492–512.

ALP-1988-Bockmayr

Narrowing with Built-In Theories (AB), pp. 83–92.

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

DAC-1987-TanTBVP #performance #self #simulation

A Fast Signature Simulation Tool for Built-In Self-Testing Circuits (SBT, KT, KB, PV, RP), pp. 17–25.

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