Stem don$ (all stems)

103 papers:

DAC-2015-DunbarQ

A practical circuit fingerprinting method utilizing observability don’t care conditions (CD, GQ), p. 6.

DAC-2015-WolfF #architecture #continuation #question #what

What don’t we know about CPS architectures? (MW, EF), p. 4.

CSCW-2015-SolomonMW #coordination #exclamation #how

Don’t Wait!: How Timing Affects Coordination of Crowdfunding Donations (JS, WM, RW), pp. 547–556.

HCI-UC-2015-Obwegeser #development #matter #why

Entrepreneurial IS Development: Why Techniques Matter and Methods Don’t (NO), pp. 218–225.

ESEC-FSE-2015-DovgalyukDM #debugging #kernel

Don’t panic: reverse debugging of kernel drivers (PD, DD, VM), pp. 938–941.

CGO-2015-RohouSS #branch #performance #predict #trust

Branch prediction and the performance of interpreters: don’t trust folklore (ER, BNS, AS), pp. 103–114.

ISMM-2015-HusseinHPV #garbage collection #memory management

Don’t race the memory bus: taming the GC leadfoot (AH, ALH, MP, CAV), pp. 15–27.

ICST-2015-0001YPGS #analysis #generative #testing #using

Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.

PLDI-2014-GreenawayLAK #c #verification

Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.

CHI-2014-LucaHZMSHS #authentication #smarttech

Now you see me, now you don’t: protecting smartphone authentication from shoulder surfers (ADL, MH, EvZ, MEM, BES, HH, MS), pp. 2937–2946.

CHI-2014-StawarzCB #design #effectiveness #exclamation

Don’t forget your pill!: designing effective medication reminder apps that support users’ daily routines (KS, ALC, AB), pp. 2269–2278.

RecSys-2014-WaldnerV #exclamation #game studies #recommendation #timeline #twitter

Emphasize, don’t filter!: displaying recommendations in Twitter timelines (WW, JV), pp. 313–316.

CGO-2014-JimboreanKSBK #approach #compilation #hardware #scalability

Fix the code. Don’t tweak the hardware: A new compiler approach to Voltage-Frequency scaling (AJ, KK, VS, DBS, SK), p. 262.

CAV-2014-AlglaveKNP #approach #automation #static analysis

Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.

SIGMOD-2013-YakoutBE #automation #bound #scalability

Don’t be SCAREd: use SCalable Automatic REpairing with maximal likelihood and bounded changes (MY, LBE, AKE), pp. 553–564.

CHI-2013-HuangF #crowdsourcing #exclamation #social

Don’t hide in the crowd!: increasing social transparency between peer workers improves crowdsourcing outcomes (SWH, WTF), pp. 621–630.

HIMI-D-2013-ShengLD #comprehension #eye tracking #using

Eyes Don’t Lie: Understanding Users’ First Impressions on Websites Using Eye Tracking (HS, NSL, SD), pp. 635–641.

ICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #tool support #why

Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.

VLDB-2012-BenderFJKKMMSSZ #how

Don’t Thrash: How to Cache Your Hash on Flash (MAB, MFC, RJ, RK, BCK, DM, PM, PS, RPS, EZ), pp. 1627–1637.

ICSM-2012-BasitAHJ

Things structural clones tell that simple clones don’t (HAB, UA, SH, SJ), pp. 275–284.

CSCW-2012-JonesA #social

We don’t need no stinkin’ badges: examining the social role of badges in the huffington post (JJ, NA), pp. 249–252.

ICPR-2012-FangZ #learning

I don’t know the label: Active learning with blind knowledge (MF, XZ), pp. 2238–2241.

ASPLOS-2012-HwangSS #comprehension #design #fault

Cosmic rays don’t strike twice: understanding the nature of DRAM errors and the implications for system design (AAH, IAS, BS), pp. 111–122.

DATE-2011-ZukoskiCM #logic #synthesis

Reliability-driven don’t care assignment for logic synthesis (AZ, MRC, KM), pp. 1560–1565.

ITiCSE-2011-BellCCDH #programming #student

Introducing students to computer science with programmes that don’t emphasise programming (TB, PC, QIC, VD, BH), p. 391.

STOC-2011-PatrascuT11a

Don’t rush into a union: take time to find your roots (MP, MT), pp. 559–568.

CHI-2011-SchwindBH #recommendation

I will do it, but i don’t like it: user reactions to preference-inconsistent recommendations (CS, JB, FWH), pp. 349–352.

CHI-2011-WahidMDEH #exclamation

Don’t drop it!: pick it up and storyboard (SW, DSM, JD, NE, SH), pp. 1571–1580.

CSCW-2011-NewmanLMRM #challenge #facebook #health #network #online #problem #social #using

It’s not that I don’t have problems, I’m just not putting them on facebook: challenges and opportunities in using online social networks for health (MWN, DL, SAM, PR, MEM), pp. 341–350.

DUXU-v2-2011-Zeller #design #what

What You See Is What You Don’t Get: Addressing Implications of Information Technology through Design Fiction (LZ), pp. 329–336.

ESEC-FSE-2011-BirdNMGD #exclamation #quality

Don’t touch my code!: examining the effects of ownership on software quality (CB, NN, BM, HG, PTD), pp. 4–14.

SOSP-2011-LloydFKA #consistency #scalability

Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS (WL, MJF, MK, DGA), pp. 401–416.

DAC-2010-ChenW

Node addition and removal in the presence of don’t cares (YCC, CYW), pp. 505–510.

CHI-2010-KarkkainenVV #case study #mobile #process

I don’t mind being logged, but want to remain in control: a field study of mobile activity and context logging (TK, TV, KVVM), pp. 163–172.

CHI-2010-QuinnT #effectiveness #independence #performance #usability

Attractive phones don’t have to work better: independent effects of attractiveness, effectiveness, and efficiency on perceived usability (JMQ, TQT), pp. 353–362.

CHI-2010-WangG #exclamation

Don’t just stare at me! (NW, JG), pp. 1241–1250.

SOFTVIS-2010-Booch #developer #diagrams #question #why

Why don’t developers draw diagrams? (GB), pp. 3–4.

KR-2010-Halpern10a

I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).

DAC-2009-ChouCK #synthesis

Handling don’t-care conditions in high-level synthesis and application for reducing initialized registers (HZC, KHC, SYK), pp. 412–415.

DAC-2009-RedfordSSHZM #named #question

DFM: don’t care or competitive weapon? (MR, JS, PS, CH, YZ, KM), pp. 296–297.

DATE-2009-ChangBM #design #using

Customizing IP cores for system-on-chip designs using extensive external don’t-cares (KHC, VB, ILM), pp. 582–585.

CHI-2009-ZhouAZ #maintenance #why

I just don’t know why it’s gone: maintaining informal information use in inpatient care (XZ, MSA, KZ), pp. 2061–2070.

CIKM-2009-ArmstrongMWZ #ad hoc #retrieval

Improvements that don’t add up: ad-hoc retrieval results since 1998 (TGA, AM, WW, JZ), pp. 601–610.

KDD-2009-HanhijarviOVPTM #data mining #mining

Tell me something I don’t know: randomization strategies for iterative data mining (SH, MO, NV, KP, NT, HM), pp. 379–388.

POPL-2009-GotsmanCPV #algorithm #proving

Proving that non-blocking algorithms don’t block (AG, BC, MJP, VV), pp. 16–28.

DAC-2008-Abdollahi

Signature based Boolean matching in the presence of don’t cares (AA), pp. 642–647.

CHI-2008-ButlerJP #policy #wiki

Don’t look now, but we’ve created a bureaucracy: the nature and roles of policies and rules in wikipedia (BSB, EJ, JP), pp. 1101–1110.

CHI-2008-PeltonenKSJIEOS #exclamation #interactive #multi #scalability

It’s Mine, Don’t Touch!: interactions at a large multi-touch display in a city centre (PP, EK, AS, GJ, TI, JE, AO, PS), pp. 1285–1294.

CSCW-2008-HancockTF #symmetry

I know something you don’t: the use of asymmetric personal information for interpersonal advantage (JTH, CLT, KF), pp. 413–416.

SIGIR-2008-McNameeNM

Don’t have a stemmer?: be un+concern+ed (PM, CKN, JM), pp. 813–814.

ITiCSE-2007-Dickinson #student

“But I Don’t Read Text Printed in Braille Font”…: parables from a business and information technology student (AD), p. 336.

ITiCSE-2007-LevyB #education #tool support

We work so hard and they don’t use it: acceptance of software tools by teachers (RBBL, MBA), pp. 246–250.

TACAS-2007-KuglerPSH #framework #logic #modelling #predict

“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (HK, AP, MJS, EJAH), pp. 343–357.

ILC-2007-WozniakDW #abstraction #data type #policy

Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.

CHI-2007-ReillyI #evaluation #visualisation

White rooms and morphing don’t mix: setting and the evaluation of visualization techniques (DFR, KMI), pp. 111–120.

DAC-2006-ZhuKKS #satisfiability

SAT sweeping with local observability don’t-cares (QZ, NK, AK, ALSV), pp. 229–234.

ITiCSE-2006-BoyleB #question #what

What don’t you know? (RDB, JB), p. 343.

ITiCSE-2006-RobilaR #education

Don’t be a phish: steps in user education (SAR, JWR), pp. 237–241.

WCRE-2006-RatiuD #how #source code

How Programs Represent Reality (and how they don’t) (DR, FD), pp. 83–92.

CSCW-2006-McNeeKK #recommendation #research

Don’t look stupid: avoiding pitfalls when recommending research papers (SMM, NK, JAK), pp. 171–180.

CAV-2006-EisingerK #approach #word

Don’t Care Words with an Application to the Automata-Based Approach for Real Addition (JE, FK), pp. 67–80.

SAT-2006-TangM #quantifier

Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares (DT, SM), pp. 368–381.

DATE-2005-FuYM #satisfiability

Considering Circuit Observability Don’t Cares in CNF Satisfiability (ZF, YY, SM), pp. 1108–1113.

DATE-2005-MishchenkoB #network #optimisation #satisfiability

SAT-Based Complete Don’t-Care Computation for Network Optimization (AM, RKB), pp. 412–417.

DLT-2005-JurdzinskiMOP

Monotone Deterministic RL-Automata Don’t Need Auxiliary Symbols (TJ, FM, FO, MP), pp. 284–295.

RE-2005-SvetinovicBG #analysis #concept #identification #object-oriented #student #why

Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don’t Get It (DS, DMB, MWG), pp. 189–198.

VMCAI-2005-GrumbergLLS #calculus

Don’t Know in the µ-Calculus (OG, ML, ML, SS), pp. 233–249.

DAC-2004-SalujaK #algorithm #approximate #robust

A robust algorithm for approximate compatible observability don’t care (CODC) computation (NS, SPK), pp. 422–427.

DATE-v1-2004-SafarpourVDL #satisfiability

Managing Don’t Cares in Boolean Satisfiability (SS, AGV, RD, JL), pp. 260–265.

STOC-2004-ColeGL #fault #taxonomy

Dictionary matching and indexing with errors and don’t cares (RC, LAG, ML), pp. 91–100.

ICFP-2004-Graham #debugging #programming

Don’t make the wrong mistakes: programming as debugging (PG), p. 66.

SPLC-2004-Krueger #product line #what

Product Line Binding Times: What You Don?t Know Can Hurt You (CWK), pp. 305–306.

DAC-2003-JayakumarPS #estimation

Dos and don’ts of CTL state coverage estimation (NJ, MP, FS), pp. 292–295.

ICEIS-v2-2003-CanforaT #assessment #risk management

Dealing with the “Don’t Know” Answer in Risk Assessment (GC, LT), pp. 229–237.

LCTES-SCOPES-2002-Fettweis #exclamation #named #why

DSPs: why don’t they just go away! (GF), p. 93.

KDD-2001-PadmanabhanZK #personalisation #semistructured data #what

Personalization from incomplete data: what you don’t know can hurt (BP, Z(Z, SOK), pp. 154–163.

TOOLS-EUROPE-2001-Abom01b #component #exclamation #process

Building Business Process Components in the e-Age (Business rules! don’t be an e-diot.) (LA), pp. 163–164.

TOOLS-USA-2001-Abom01a #exclamation

Business Rules! Don’t Be an e-diot (LA), p. 393.

HT-2000-Bernstein

More than legible: on links that readers don’t want to follow (MB), pp. 216–217.

VLDB-2000-KemmeA #consistency #database #lazy evaluation #replication

Don’t Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication (BK, GA), pp. 134–143.

CSEET-2000-DuleyM #education #student

Did We Really Teach That?: A Glimpse of Things Students (Don’t) Learn from Traditional CS1 (RD, SPM), pp. 237–245.

ICSE-2000-OsterweilBEGKM #re-engineering #research #why

Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.

DATE-1999-HongB #analysis #finite #reachability #scalability #state machine #using

Symbolic Reachability Analysis of Large Finite State Machines Using Don’t Cares (YH, PAB), p. 13–?.

HCI-EI-1999-MarcusAFG #design #matter

You don’t have to be Jewish to Design Bagel.com, but it Helps... and Other Matters (AM, JA, VF, EG), pp. 516–520.

ASE-1998-OHalloranS #exclamation #verification

Don’t Verify, Abstract! (CO, AS), pp. 53–62.

DAC-1998-AmonBL #using

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don’t Cares (TA, GB, JL), pp. 586–590.

DAC-1998-HongBLS #embedded

Don’t Care-Based BDD Minimization for Embedded Software (YH, PAB, LL, ES), pp. 506–509.

DATE-1998-Scholl #composition #functional #multi

Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.

DAC-1997-HongBBM #using

Safe BDD Minimization Using Don’t Cares (YH, PAB, JRB, KLM), pp. 208–213.

VLDB-1997-RothS #architecture #data flow #exclamation #legacy

Don’t Scrap It, Wrap It! A Wrapper Architecture for Legacy Data Sources (MTR, PMS), pp. 266–275.

DAC-1995-ChangMC #algorithm #performance #set

An Efficient Algorithm for Local Don’t Care Sets Calculation (SCC, MMS, KTC), pp. 663–667.

DAC-1994-ShipleHSB #heuristic #using

Heuristic Minimization of BDDs Using Don’t Cares (TRS, RH, ALSV, RKB), pp. 225–231.

EDAC-1994-Damiani #finite #nondeterminism #state machine

Nondeterministic finite-state machines and sequential don’t cares (MD), pp. 192–198.

SAC-1994-LogarCWWW #algorithm #image #recognition

A don’t care back propagation algorithm applied to satellite image recognition (AML, EMC, SW, RW, RW), pp. 369–373.

CAV-1994-Kurshan #modelling

Models Whose Checks Don’t Explode (RPK), pp. 222–233.

ICDAR-1993-CollinTV #analysis #documentation

Don’t tell mom I’m doing document analysis; she believes I’m in the computer vision field (SC, KT, PV), pp. 619–622.

DAC-1992-BergamaschiLK #behaviour #optimisation #synthesis #using

Control Optimization in High-Level Synthesis Using Behavioral Don’t Cares (RAB, DAL, AK), pp. 657–661.

HT-1991-Parunak #hypermedia #reasoning #set #taxonomy

Don’t Link Me In: Set Based Hypermedia for Taxonomic Reasoning (HVDP), pp. 233–242.

DAC-1990-SavojB #multi #network

The Use of Observability and External Don’t Cares for the Simplification of Multi-Level Networks (HS, RKB), pp. 297–301.

DAC-1989-SaldanhaWBS #logic #multi #using

Multi-level Logic Simplification Using Don’t Cares and Filters (AS, ARW, RKB, ALSV), pp. 277–282.

ML-1989-VanLehn #problem #what

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

DAC-1988-Diss #compilation

Circuit Compilers don’t have to be Slow (WCD), pp. 622–627.

STOC-1973-LynchMF #set

Sets that Don’t Help (NAL, ARM, MJF), pp. 130–134.