Stem yet$ (all stems)

60 papers:

DAC-2015-LiuZWYX #analysis #difference #encryption #fault #named

DERA: yet another differential fault attack on cryptographic devices based on error rate analysis (YL, JZ, LW, FY, QX), p. 6.

DATE-2015-BringmannEGGMSS #generative #prototype #simulation

The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.

VLDB-2015-NaidanBN #performance #permutation

Permutation Search Methods are Efficient, Yet Faster Search is Possible (BN, LB, EN), pp. 1618–1629.

SIGIR-2015-Kantor #information retrieval

Revisiting the Foundations of IR: Timeless, Yet Timely (PBK), pp. 1125–1127.

ICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse

Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.

OOPSLA-2015-HuAN #android #lightweight

Versatile yet lightweight record-and-replay for Android (YH, TA, IN), pp. 349–366.

SAC-2015-KokoschkaPS

A reputation system supporting unlinkable, yet authorized expert ratings (AK, RP, CS), pp. 2320–2327.

ASE-2014-UbayashiALLHK #compilation #verification

Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.

DATE-2014-KumarYBT #distributed #effectiveness #named

COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors (PK, HY, IB, LT), pp. 1–4.

SIGMOD-2014-IleanaCDK #constraints #query

Complete yet practical search for minimal query reformulations under constraints (II, BC, AD, YK), pp. 1015–1026.

PEPM-2014-KameyamaKS #code generation #combinator

Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.

CHI-2014-LauberB

In-your-face, yet unseen?: improving head-stabilized warnings to reduce reaction time (FL, AB), pp. 3201–3204.

PPoPP-2014-YanLZZ #framework #named

yaSpMV: yet another SpMV framework on GPUs (SY, CL, YZ, HZ), pp. 107–118.

CSMR-2013-LerchM #debugging

Finding Duplicates of Your Yet Unwritten Bug Report (JL, MM), pp. 69–78.

DUXU-NTE-2013-Osen #design #gesture #interface

Minimal Yet Integral — Designing a Gestural Interface (MO), pp. 383–392.

ICMT-2013-WillinkHK #qvt

Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.

SAC-2012-EmirisMM #algorithm #diagrams

Yet another algorithm for generalized Voronoï Diagrams (IZE, AM, BM), pp. 109–110.

DAC-2011-KungHSS #optimisation

Thermal signature: a simple yet accurate thermal index for floorplan optimization (JK, IH, SSS, YS), pp. 108–113.

SIGMOD-2011-ZhangZD #corpus #estimation #mining #performance

Mining a search engine’s corpus: efficient yet unbiased sampling and aggregate estimation (MZ, NZ, GD), pp. 793–804.

CSCW-2011-Murphy-HillM #effectiveness #interactive #tool support

Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.

ICLP-2011-BochmanL #equivalence

Yet Another Characterization of Strong Equivalence (AB, VL), pp. 11–15.

VMCAI-2011-AlbertGM #cost analysis #precise

More Precise Yet Widely Applicable Cost Analysis (EA, SG, ANM), pp. 38–53.

DATE-2010-MoyerKCRHT #assembly #question

Are we there yet? Has IP block assembly become as easy as LEGO? (BM, JK, JC, CR, EH, YT), p. 123.

SIGMOD-2010-AlagiannisDSAP #automation #design #interactive

An automated, yet interactive and portable DB designer (IA, DD, KS, AA, NP), pp. 1183–1186.

CIKM-2010-RohLP

Yet another write-optimized DBMS layer for flash-based solid state storage (HR, DL, SP), pp. 1345–1348.

CIKM-2009-DuchateauCBM

(Not) yet another matcher (FD, RC, ZB, RJM), pp. 1537–1540.

ESEC-FSE-2009-Taylor #architecture

Software architecture: many faces, many places, yet a central discipline (RNT), pp. 303–304.

SLE-2009-Bagge

Yet Another Language Extension Scheme (AHB), pp. 123–132.

HPCA-2009-MatsutaniKAY #architecture #latency #predict

Prediction router: Yet another low latency on-chip router architecture (HM, MK, HA, TY), pp. 367–378.

DATE-2007-PozziP #future of #question

A future of customizable processors: are we there yet? (LP, PGP), pp. 1224–1225.

CAV-2006-Roe #heuristic #modulo theories #proving #smt #theorem proving

The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover (KR), pp. 467–470.

SEKE-2005-HuaC #specification

Yet Another Purchasing Specification Construction in E-Business (CHH, PMC), pp. 105–108.

CAV-2005-MeirS #logic #similarity

Yet Another Decision Procedure for Equality Logic (OM, OS), pp. 307–320.

DocEng-2004-TroncyC

A reduced yet extensible audio-visual description language (RT, JC), pp. 87–89.

ICPR-v4-2004-LiuS04a #recognition #representation

Simplest Representation Yet for Gait Recognition: Averaged Silhouette (ZL, SS), pp. 211–214.

CSL-2004-Hyvernat #linear #logic

Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.

IWPC-2003-AntoniolPM #abstract syntax tree #ocl #using

YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs (GA, MDP, EM), pp. 13–22.

SAS-2002-VaucheretB #logic programming #performance #precise #source code #type inference

More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.

CADE-2002-SchneckN #approach #scalability

A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code (RRS, GCN), pp. 47–62.

PASTE-2001-Hind #analysis #pointer #problem #question

Pointer analysis: haven’t we solved this problem yet? (MH), pp. 54–61.

KDD-2001-Edelstein #data mining #mining #question

Data mining: are we there yet? (HE), p. 7.

PODS-2000-YuOB #approach #performance

Indexing the Edges — A Simple and Yet Efficient Approach to High-Dimensional Indexing (BCO, KLT, CY, SB), pp. 166–174.

FASE-1999-AttanasioCI #performance #realtime #specification

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.

IFL-1999-Chakravarty #c #haskell

C -> HASKELL, or Yet Another Interfacing Tool (MMTC), pp. 131–148.

SIGIR-1999-Downie #effectiveness #music #retrieval

Music Retrieval as Text Retrieval: Simple Yet Effective (poster abstract) (JSD), pp. 297–298.

ICFP-1998-Mackie #interactive #named

YALE: Yet Another λ Evaluator Based on Interaction Nets (IM), pp. 117–128.

TOOLS-USA-1998-LoweNTZ #inheritance #type system

Weak Subtyping — Yet Another Notion of Inheritance (WL, RN, MT, WZ), pp. 333–345.

ITiCSE-WGR-1997-Turner #education #question

Technology in computing education: yet another bandwagon? (JT), pp. 121–124.

ICALP-1997-HarelS #logic #process

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version) (DH, ES), pp. 408–418.

CSCW-1996-Bazzigaluppi #question #what

Groupware at Work: It’s Here Now, But Do We Know What It Is Yet? (GB), pp. 438–440.

ICPR-1996-CharvillatT #3d #modelling #probability

Registration of stereo-based 3D maps for object modeling: a stochastic yet intelligent solution (VC, BT), pp. 780–785.

ESEC-1993-EmmerichSW #database #re-engineering

Databases for Software Engineering Environments — The Goal has not yet been attained (WE, WS, JW), pp. 145–162.

CHI-1992-ApollonioCLDG #named

YAPO: Yet Another Preview ODA (MAA, GC, PGDL, AD, AG), pp. 583–585.

HT-1991-Gloor #named #navigation

CYBERMAP: Yet Another Way of Navigating in Hyperspace (PAG), pp. 107–121.

VDME-1991-1-BednarczykB #recursion

CPO’s do not form a CPO, and yet Recursion Works (MAB, AMB), pp. 268–278.

ML-1989-VanLehn #problem #what

Discovering Problem Solving Strategies: What Humans Do and Machines Don’t (Yet) (KV), pp. 215–217.

JICSCP-1988-BruffaertsH88 #prolog #proving

Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter (AB, EH), pp. 343–358.

JICSCP-1988-CodognetCF88 #backtracking

Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.

DAC-1985-KrekelbergSJ #compilation

Yet another silicon compiler (DEK, GES, CSJ), pp. 176–182.

SCC-1982-Farrow #attribute grammar #named

LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars (RF), pp. 160–171.