24 papers:
LATA-2015-BoassonC- Rational Selecting Relations and Selectors (LB, OC), pp. 716–726.
DATE-2014-AlordaCB #embedded #power management #reliability- Word-line power supply selector for stability improvement of embedded SRAMs in high reliability applications (BA, CC, SAB), pp. 1–6.
CHI-2014-AuSL #linear #named- LinearDragger: a linear selector for target acquisition on touch screens (OKCA, XS, RWHL), pp. 2607–2616.
ASE-2013-ArthoHPTWY #communication #distributed #model checking- Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ICML-2012-GeistSLG #approach #difference #learning- A Dantzig Selector Approach to Temporal Difference Learning (MG, BS, AL, MG), p. 49.
SAT-2012-XuHHL #algorithm #component- Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (LX, FH, HH, KLB), pp. 228–241.
POPL-2010-DiasR #automation #declarative #generative #using- Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
ICEIS-DISI-2009-SantosB #optimisation #performance #query- A Bit-selector Technique for Performance Optimization of Decision-support Queries (RJS, JB), pp. 151–157.
- ICEIS-DISI-2007-Baina #named #workflow
- WFESelector — A tool for comparing and selecting workflow engines (KB), pp. 330–337.
DAC-2006-MrugalskiRT #programmable- Test response compactor with programmable selector (GM, JR, JT), pp. 1089–1094.
CIKM-2006-OlssonO #classification- Combining feature selectors for text classification (JSO, DWO), pp. 798–799.
TACAS-2005-BouajjaniHMV #model checking #source code #verification- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking (AB, PH, PM, TV), pp. 13–29.
- DAC-2004-WohlWP #architecture #scalability
- Scalable selector architecture for x-tolerant deterministic BIST (PW, JAW, SP), pp. 934–939.
ICALP-2003-BonisGV #framework #testing- Generalized Framework for Selectors with Applications in Optimal Group Testing (ADB, LG, UV), pp. 81–96.
- EDTC-1997-LeupersM #generative #modelling
- Retargetable generation of code selectors from HDL processor models (RL, PM), pp. 140–144.
ECOOP-1997-OnoderaN #optimisation #smalltalk- Optimizing Smalltalk by Selector Code INdexing Can Be Practical (TO, HN), pp. 302–323.
ICDAR-v1-1995-StrathyS #classification #multi #network- A two-stage multi-network OCR system with a soft pre-classifier and a network selector (NWS, CYS), pp. 78–81.
- CHI-1994-AhlbergS94d #agile
- The alphaslider: a compact and rapid selector (CA, BS), pp. 365–371.
OOPSLA-1993-Driesen #array- Selector Table Indexing & Sparse Arrays (KD), pp. 259–270.
- CHI-1992-Johnson #interface #named
- Selectors: Going Beyond User-Interface Widgets (JAJ), pp. 273–279.
CC-1992-Emmelmann #specification #testing- Testing Completeness of Code Selector Specifications (HE), pp. 163–175.
- DAC-1991-Karplus91a #array #named #programmable
- Amap: A Technology Mapper for Selector-Based Field-Programmable Gate Arrays (KK), pp. 244–247.
LICS-1987-GoguenM #algebra #multi #order- Order-Sorted Algebra solves the Constructor-Selector, Multiple (JAG, JM), pp. 18–29.
SIGMOD-1976-Tsichritzis #named- LSL: A Link and Selector Language (DT), pp. 123–133.
