Stem anoth$ (all stems)

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

ASE-2014-UbayashiALLHK #compilation #verification

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

PPoPP-2014-YanLZZ #framework #named

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

LICS-CSL-2014-ChenM #classification #complexity #graph #query

One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries (HC, MM), p. 10.

VLDB-2013-0007DSF #named

Mosquito: Another One Bites the Data Upload STream (SR, JD, SS, TF), pp. 1274–1277.

ITiCSE-2013-Townsend #web #women

Regional conferences for women: another world wide web (GCT), p. 360.

ICMT-2013-WillinkHK #qvt

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

CHI-2012-HayashiRNTRP #named

TimeBlocks: mom, can I have another block of time (EH, MAR, ZHN, NT, SR, EP), pp. 1713–1716.

SAC-2012-EmirisMM #algorithm #diagrams

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

HIMI-v2-2011-BattisteLLNBKJ #question

Is ACARS and FANS-1A Just Another Data Link to the Controller? (VB, JL, SVL, JHN, LPB, RWK, WWJ), pp. 453–462.

ICLP-2011-BochmanL #equivalence

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

CIKM-2010-RohLP

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

TAP-2010-Ernst #feedback #how #proving #testing

How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback (MDE), pp. 1–2.

DAC-2009-CongNPJBGRRS #question

Moore’s Law: another casualty of the financial meltdown? (JC, NSN, RP, WHJ, JB, MG, RR, PR, HS), pp. 202–203.

CIKM-2009-DuchateauCBM

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

SEKE-2009-GratiTG #diagrams #interactive #quality

Another New Criterion to Improve the Interaction Diagrams Quality (LG, MT, FG), pp. 613–618.

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.

KDD-2008-ShengPI #data mining #mining #multi #quality #using

Get another label? improving data quality and data mining using multiple, noisy labelers (VSS, FJP, PGI), pp. 614–622.

MSR-2006-RoblesGMA #evolution #mining #scalability

Mining large software compilations over time: another perspective of software evolution (GR, JMGB, MM, JJA), pp. 3–9.

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.

LOPSTR-2005-GallagherPA #abstract domain #type system

Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.

CAV-2005-MeirS #logic #similarity

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

SAC-2004-Lagorio #compilation #java #towards

Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.

CSL-2004-Hyvernat #linear #logic

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

DATE-2003-SchlebuschSSGMLGSK #design #problem #question #transaction

Transaction Based Design: Another Buzzword or the Solution to a Design Problem? (HJS, GS, DS, DG, CM, CKL, FG, SS, JK), pp. 10876–10879.

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

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

ESOP-2002-AspinallH #type system

Another Type System for In-Place Update (DA, MH), pp. 36–52.

SIGMOD-2000-ShuklaD #database #named #question #tutorial

Tutorial: LDAP Directory Services — Just Another Database Application? (SS, AD), p. 580.

ICML-2000-KaynakA #classification #multi

MultiStage Cascading of Multiple Classifiers: One Man’s Noise is Another Man’s Data (CK, EA), pp. 455–462.

ICPR-v2-2000-MascarillaF #classification

Another Look at Combining Rejection-Based Pattern Classifiers (LM, CF), pp. 2156–2159.

TOOLS-EUROPE-2000-Guerreiro #c++

Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.

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.

HCI-EI-1999-Chavan #question

Another Software for Another Society? (ALC), pp. 511–515.

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.

LOPSTR-1998-FuchsSS #logic #specification

Attempto Controlled English — Not Just Another Logic Specification Language (NEF, US, RS), pp. 1–20.

ITiCSE-WGR-1997-Turner #education #question

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

CAV-1994-ClarkeGH #ltl #model checking

Another Look at LTL Model Checking (EMC, OG, KH), pp. 415–427.

ICLP-1994-ClergerieL #logic programming #named

LPDA: Another look at Tabulation in Logic Programming (EVdlC, BL), pp. 470–486.

HT-1993-IchimuraM #hypermedia

Another Dimension to Hypermedia Access (SI, YM), pp. 63–72.

CHI-1992-ApollonioCLDG #named

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

TOOLS-EUROPE-1992-ZeidlerG #named

Distribution: Another Milestone of Application Management Issues (CZ, WG), pp. 87–99.

CC-1992-Assmann #problem

Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.

CC-1992-Baum #attribute grammar #composition

Another Kind of Modular Attribute Grammars (BB), pp. 44–50.

HT-1991-Gloor #named #navigation

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

VLDB-1989-Gallaire #database

From a laguna to open waters: Another view on the next generations of databases (HG), p. 1.

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.

ICALP-1987-BaetenG #abstraction #algebra #process

Another Look at Abstraction in Process Algebra (Extended Abstract) (JCMB, RJvG), pp. 84–94.

ESOP-1986-GlaserH #implementation

Another Implementation Technique for Applicative Languages (HG, SH), pp. 70–81.

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.