Stem implic$ (all stems)

245 papers:

DATE-2015-YanF #design #energy #mobile #optimisation

Energy-efficient cache design in emerging mobile platforms: the implications and optimizations (KY, XF), pp. 375–380.

VLDB-2015-RahmanLT0D #database #privacy #ranking

Privacy Implications of Database Ranking (MFR, WL, ST, NZ, GD), pp. 1106–1117.

CHI-2015-ShihBHC

Unequal Time for Unequal Value: Implications of Differing Motivations for Participation in Timebanking (PCS, VB, KH, JMC), pp. 1075–1084.

CSCW-2015-SnyderMCCSAG #named #social

MoodLight: Exploring Personal and Social Implications of Ambient Display of Biosensor Data (JS, MM, JTC, PFC, ES, SA, GG), pp. 143–153.

HCI-IT-2015-RemJ #design #user interface

Implications for Design of Personal Mobility Devices with Balance-Based Natural User Interfaces (AR, SGJ), pp. 363–375.

SEKE-2015-NetoSZD #network #using

Using implications from FCA to represent a two mode network data (SMN, MAJS, LEZ, SMD), pp. 256–259.

SAC-2015-LeeRH #file system #memory management #performance

Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.

SAC-2015-PaakkonenP

The implications of disk-based RAID and virtualization for write-intensive services (PP, DP), pp. 2288–2291.

ASPLOS-2015-HauswaldLZLRKDM #named

Sirius: An Open End-to-End Voice and Vision Personal Assistant and Its Implications for Future Warehouse Scale Computers (JH, MAL, YZ, CL, AR, AK, RGD, TNM, VP, LT, JM), pp. 223–238.

HPCA-2015-TiwariGRMRVOLDN #comprehension #design #fault #gpu #scalability

Understanding GPU errors on large-scale HPC systems and the implications for system design and operation (DT, SG, JHR, DM, PR, SSV, DAGdO, DL, ND, POAN, LC, ASB), pp. 331–342.

PPoPP-2015-BaldassinBA #memory management #performance #transaction

Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.

CADE-2015-EchenimPT #equation #generative #logic #quantifier

Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.

LICS-2015-AtseriasB #probability

Entailment among Probabilistic Implications (AA, JLB), pp. 621–632.

DAC-2014-Kose #challenge

Thermal Implications of On-Chip Voltage Regulation: Upcoming Challenges and Possible Solutions (SK), p. 6.

DATE-2014-Bolle #roadmap

The connected car and its implication to the automotive chip roadmap (MB), p. 1.

DATE-2014-YangMPOP #logic #using

Complementary resistive switch based stateful logic operations using material implication (YY, JM, DKP, MO, SP), pp. 1–4.

CIAA-2014-RashidY #automaton #quantum

Implications of Quantum Automata for Contextuality (JR, AY), pp. 318–331.

CHI-2014-AthukoralaLKJOTJ #behaviour #how #mobile

How carat affects user behavior: implications for mobile battery awareness applications (KA, EL, MvK, AJ, AJO, ST, GJ), pp. 1029–1038.

CHI-2014-BachynskyiOPW #human-computer #simulation

Is motion capture-based biomechanical simulation valid for HCI studies?: study and implications (MB, AO, GP, TW), pp. 3215–3224.

CHI-2014-ObristTH #case study #experience #smell

Opportunities for odor: experiences with smell and implications for technology (MO, ANT, KH), pp. 2843–2852.

CHI-2014-SasWDFZ #design #generative #research

Generating implications for design through design research (CS, SW, SD, JF, JZ), pp. 1971–1980.

DUXU-DI-2014-Souto #design #experience #interactive #learning #user interface #visualisation

Interactive Visualizations in Learning Mathematics: Implications for Information Design and User Experience (VTS), pp. 472–480.

HCI-AS-2014-SchinkingerT #design

Design Implications to Systems Supporting Informal Caregivers’ Daily Life (SS, HT), pp. 341–350.

HCI-AS-2014-TsengT #complexity #correlation #design #online #trust #visual notation

The Correlation between Visual Complexity and User Trust in On-line Shopping: Implications for Design (KTT, YCT), pp. 90–99.

SIGIR-2014-SmuckerGT

Mouse movement during relevance judging: implications for determining user attention (MDS, XSG, AT), pp. 979–982.

HPCA-2014-0001A #clustering #energy

Implications of high energy proportional servers on cluster-wide energy proportionality (DW, MA), pp. 142–153.

IJCAR-2014-EchenimPT #equation #logic

A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.

RTA-TLCA-2014-Schmitz #logic

Implicational Relevance Logic is 2-ExpTime-Complete (SS), pp. 395–409.

SAS-2013-WhiteM #algebra #analysis #memory management #optimisation #using

Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation (LW, AM), pp. 433–453.

CHI-2013-ShrinivasanJSCHDM #design

Deep conservation in urban India and its implications for the design of conservation technologies (YBS, MJ, DPS, AC, EMH, TD, JM), pp. 1969–1978.

HCI-IMT-2013-LeeBN #visual notation

Use of Reference Frame in Haptic Virtual Environments: Implications for Users with Visual Impairments (JYL, SB, CSN), pp. 610–617.

DAC-2012-RoaCJ #logic

Material implication in CMOS: a new kind of logic (ER, WHC, BJ), pp. 1258–1259.

DATE-2012-LeMKV #debugging #satisfiability #using

Non-solution implications using reverse domination in a modern SAT-based debugging environment (BL, HM, BK, AGV), pp. 629–634.

DATE-2012-ZhangWLJC #design #symmetry

Asymmetry of MTJ switching and its implication to STT-RAM designs (YZ, XW, YL, AKJ, YC), pp. 1313–1318.

CHI-2012-DenefK #design #pattern matching

Talking about implications for design in pattern language (SD, DVK), pp. 2509–2518.

CHI-2012-FosterLWBL #design #effectiveness #energy #implementation #quote

“Watts in it for me?”: design implications for implementing effective energy interventions in organisations (DF, SWL, JW, MB, CL), pp. 2357–2366.

CHI-2012-TangHS #social

The implications of offering more disclosure choices for social location sharing (KPT, JIH, DPS), pp. 391–394.

CIKM-2012-LiSG #exclamation #network #online #social

Collective intelligence in the online social network of yahoo!answers and its implications (ZL, HS, JEG), pp. 455–464.

KDD-2012-MatsubaraSPLF #information management

Rise and fall patterns of information diffusion: model and implications (YM, YS, BAP, LL, CF), pp. 6–14.

KR-2012-Huang #reasoning

Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning (JH).

SAC-2012-BelohlavekV #database #semantics #similarity

Attribute implications in similarity-based databases: semantic entailment and nonredundant bases (RB, VV), pp. 840–846.

SAC-2012-NathML #classification #fault #on the #testing

On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.

ICSE-2012-MusluBHEN #ide #recommendation

Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.

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.

HPCA-2012-LimTSACRW #memory management

System-level implications of disaggregated memory (KTL, YT, JRS, AA, JC, PR, TFW), pp. 189–200.

HPDC-2012-DinuN #comprehension

Understanding the effects and implications of compute node related failures in hadoop (FD, TSEN), pp. 187–198.

ICST-2012-RamlerKP #combinator #design #lessons learnt

Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications (RR, TK, WP), pp. 569–572.

CBSE-2011-Gregersen #composition

Implications of modular systems on dynamic updating (ARG), pp. 169–178.

WICSA-2011-GalsterA #architecture #problem #variability

Handling Variability in Software Architecture: Problems and Implications (MG, PA), pp. 171–180.

ASE-2011-Haiduc #automation #concept #detection #quality #query

Automatically detecting the quality of the query and its implications in IR-based concept location (SH), pp. 637–640.

DATE-2011-KhatibA #design #streaming

Buffering implications for the design space of streaming MEMS storage (MGK, LA), pp. 253–256.

DATE-2011-XuDJX #design

Design implications of memristor-based RRAM cross-point structures (CX, XD, NPJ, YX), pp. 734–739.

VLDB-2011-YangPS #graph #mining #multi #performance

Fast Sparse Matrix-Vector Multiplication on GPUs: Implications for Graph Mining (XY, SP, PS), pp. 231–242.

SCAM-J-2009-PhalpAJVK11 #case study #comprehension #requirements

The role of comprehension in requirements and implications for use case descriptions (KP, AA, SJ, JV, JMK), pp. 461–486.

CHI-2011-BaumerS #design

When the implication is not to design (technology) (EPSB, MSS), pp. 2271–2274.

CHI-2011-CostaCS #collaboration #coordination #distributed #evolution #generative #scalability #tool support

The scale and evolution of coordination needs in large-scale distributed projects: implications for the future generation of collaborative tools (JMdRC, MC, CRBdS), pp. 3151–3160.

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.

SPLC-2011-Bosch #architecture #ecosystem

Software Ecosystems — Implications for Strategy, Business Model and Architecture (JB), p. 351.

SOSP-2011-ChenSGK #analysis #design #enterprise #multi

Design implications for enterprise storage systems via multi-dimensional trace analysis (YC, KS, GRG, RHK), pp. 43–56.

SAT-2011-HeuleJB #graph #performance

Efficient CNF Simplification Based on Binary Implication Graphs (MH, MJ, AB), pp. 201–215.

DLT-2010-Kari

DNA Computing and Its Implications for Theoretical Computer Science (LK), p. 32.

CHI-2010-MedlerM #design #game studies

The implications of improvisational acting and role-playing on design methodologies (BM, BM), pp. 483–492.

CSCW-2010-Cataldo #collaboration #development #distributed #fault #tool support

Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.

ICSE-2010-SahooCA #automation #debugging #empirical

An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.

HPDC-2010-ShibataCT #data access #data-driven #distributed #workflow

File-access patterns of data-intensive workflow applications and their implications to distributed filesystems (TS, SC, KT), pp. 746–755.

DATE-2009-LiC #architecture #bibliography #memory management #tool support

An overview of non-volatile memory technology and the implication for tools and architectures (HL, YC), pp. 731–736.

ICPC-2009-TorchianoS #agile #comprehension #developer #development #maintenance #testing

TDD = too dumb developers? Implications of Test-Driven Development on maintainability and comprehension of software (MT, AS), pp. 280–282.

MSR-2009-GermanPGA

Code siblings: Technical and legal implications of copying code between applications (DMG, MDP, YGG, GA), pp. 81–90.

CHI-2009-SharminBCH #comprehension #design #information management #process #reuse

Understanding knowledge management practices for early design activity and its implications for reuse (MS, BPB, CC, KH), pp. 2367–2376.

HCD-2009-PalviainenV #automation #concept #design #experience #user interface

User Experience in Machinery Automation: From Concepts and Context to Design Implications (JP, KVVM), pp. 1042–1051.

HIMI-II-2009-KarashimaH #case study #information management #scheduling

Implications for Developing Information System on Nursing Administration — Case Study on Nurse Scheduling System - (MK, NH), pp. 529–538.

IDGD-2009-Lee #design #experience #interactive #social #user interface

Culture and Co-experience: Cultural Variation of User Experience in Social Interaction and Its Implications for Interaction Design (JJL), pp. 39–48.

KEOD-2009-MatusiewiczMR #logic

Reduced Implicate Tries and Logical Operations (AM, NVM, ER), pp. 456–459.

ASPLOS-2009-PistolDL #architecture

Architectural implications of nanoscale integrated sensing and computing (CP, CD, ARL), pp. 13–24.

WICSA-2008-AvritzerPC #architecture #coordination #development

Coordination Implications of Software Architecture in a Global Software Development Project (AA, DJP, YC), pp. 107–116.

DAC-2008-KshirsagarEB #analysis #performance

Analysis and implications of parasitic and screening effects on the high-frequency/RF performance of tunneling-carbon nanotube FETs (CK, MNEZ, KB), pp. 250–255.

DATE-2008-Abraham #dependence #roadmap

Implications of Technology Trends on System Dependability (JAA), p. 940.

ITiCSE-2008-MurphyT #education #research #self

Dangers of a fixed mindset: implications of self-theories research for computer science education (LM, LT), pp. 271–275.

DLT-J-2007-Link08 #database #dependence #multi #on the

On the Implication of Multivalued Dependencies in Partial Database Relations (SL), pp. 691–715.

ICALP-B-2008-GreimelBJV

Open Implication (KG, RB, BJ, MYV), pp. 361–372.

CSCW-2008-EricksonDKH #named

Assistance: the work practices of human administrative assistants and their implications for it and organizations (TE, CMD, WAK, MEH), pp. 609–618.

CSCW-2008-SzostekKEH #communication #comprehension #social

Understanding the implications of social translucence for systems supporting communication at work (AMS, EK, BE, MH), pp. 649–658.

RecSys-2008-Teppan #recommendation

Implications of psychological phenomenons for recommender systems (ECT), pp. 323–326.

FSE-2008-StylosM #api

The implications of method placement on API learnability (JS, BAM), pp. 105–112.

ASPLOS-2008-LiRSAAZ #comprehension #design #fault

Understanding the propagation of hard errors to software and implications for resilient system design (MLL, PR, SKS, SVA, VSA, YZ), pp. 265–276.

HPCA-2008-LeeB #architecture #design #optimisation

Roughness of microarchitectural design topologies and its implications for optimization (BCL, DMB), pp. 240–251.

HPCA-2008-LeighRS #architecture #convergence

Fabric convergence implications on systems architecture (KL, PR, JS), pp. 15–26.

PPoPP-2008-TatikondaP #adaptation #approach #architecture #manycore #memory management #mining

An adaptive memory conscious approach for mining frequent trees: implications for multi-core architectures (ST, SP), pp. 263–264.

ICST-2008-LindstromOA #empirical #execution #realtime #testing

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.

IJCAR-2008-BonacinaD #canonical

Canonical Inference for Implicational Systems (MPB, ND), pp. 380–395.

SAT-2008-DavisTYZ #design #hardware #performance #satisfiability

Designing an Efficient Hardware Implication Accelerator for SAT Solving (JDD, ZT, FY, LZ), pp. 48–62.

CASE-2007-KaberST #interactive #research

Human-automation Interaction Strategies for Life Science Applications: Implications and Future Research (DK, NS, KT), pp. 615–620.

CASE-2007-KaberST07a #interactive #research

Human-Automation Interaction Strategies for Life Science Applications: Implications and Future Research (DK, NS, KT), p. 92–?.

DAC-2007-Scheffer

CAD Implications of New Interconnect Technologies (LS), pp. 576–581.

HT-2007-BradshawL #recommendation

Annotation consensus: implications for passage recommendation in scientific literature (SB, ML), pp. 209–216.

SAS-2007-Brotherston #induction #logic #reasoning

Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.

CHI-2007-AvrahamiFH #bias #estimation

Biases in human estimation of interruptibility: effects and implications for practice (DA, JF, SEH), pp. 50–60.

CHI-2007-KellarWI #design #monitoring

An exploration of web-based monitoring: implications for design (MK, CRW, KMI), pp. 377–386.

CHI-2007-ObendorfWHM #web

Web page revisitation revisited: implications of a long-term click-stream study of browser usage (HO, HW, EH, MM), pp. 597–606.

CHI-2007-SinghCDAF #design #security #social

Password sharing: implications for security design based on social practice (SS, AC, CD, GA, MF), pp. 895–904.

CHI-2007-ToupsK #coordination #design #education

Implicit coordination in firefighting practice: design implications for teaching fire emergency responders (ZOT, AK), pp. 707–716.

CHI-2007-ZanbakaUGH #design #interface #social

Social responses to virtual humans: implications for future interface design (CAZ, ACU, PG, LFH), pp. 1561–1570.

HCI-IDU-2007-Knapp #case study #experience #modelling #navigation

Mental Models of Chinese and German Users and Their Implications for MMI: Experiences from the Case Study Navigation System (BK), pp. 882–890.

HCI-IPT-2007-TangLK

Center or Corner? The Implications of Mura Locations on LCD Displays (KHT, YHL, KHK), pp. 975–981.

HIMI-IIE-2007-SatoA #analysis #behaviour

Analysis of Naturalistic Driving Behavior While Approaching an Intersection and Implications for Route Guidance Presentation (TS, MA), pp. 618–627.

OCSC-2007-AlShebliGK #social

The Social Implications of an Assisted Living Reminder System (BKA, EG, KK), pp. 239–249.

ICEIS-SAIC-2007-MoretonRC #development

Developing an IT Masterplan: The Implications for Local Systems Development (RM, PR, JC), pp. 375–379.

ICSE-2007-StylosC #parametricity #usability

Usability Implications of Requiring Parameters in Objects’ Constructors (JS, SC), pp. 529–539.

HPCA-2007-AnnavaramGR #variability

Implications of Device Timing Variability on Full Chip Timing (MA, EG, PR), pp. 37–45.

CSL-2007-McCuskerP #game studies

A Games Model of Bunched Implications (GM, DJP), pp. 573–588.

DAC-2006-PantC #grid #physics #power management

Power grid physics and implications for CAD (SP, EC), pp. 199–204.

TACAS-2006-KettleKS

Widening ROBDDs with Prime Implicants (NK, AK, TS), pp. 105–119.

CHI-2006-Dourish #design

Implications for design (PD), pp. 541–550.

CSCW-2006-CataldoWHC #collaboration #coordination #design #identification #requirements #tool support

Identification of coordination requirements: implications for the Design of collaboration and awareness tools (MC, PW, JDH, KMC), pp. 353–362.

CSCW-2006-Danis #collaboration #learning #performance

Forms of collaboration in high performance computing: exploring implications for learning (CD), pp. 501–504.

CIKM-2006-NanavatiGDCDMJ #graph #on the

On the structural properties of massive telecom call graphs: findings and implications (AAN, SG, GD, DC, KD, SM, AJ), pp. 435–444.

ICPR-v1-2006-BethelHG #mining

Mining for Implications in Medical Data (CLB, LOH, DBG), pp. 1212–1215.

SIGIR-2006-Tomlinson #feedback #metric #precise

Early precision measures: implications from the downside of blind feedback (ST), pp. 705–706.

SAC-2006-BurmesterM #forensics

The advent of trusted computing: implications for digital forensics (MB, JM), pp. 283–287.

SAC-2006-GotoC #analysis #logic

A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.

IJCAR-2006-DyckhoffKL #bound #calculus #logic

Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic (RD, DK, SL), pp. 347–361.

ITiCSE-2005-Christensen #design #education

Implications of perspective in teaching objects first and object design (HBC), pp. 94–98.

ITiCSE-2005-Holmboe #design #education #object-oriented

The linguistics of object-oriented design: implications for teaching (CH), pp. 188–192.

MSR-2005-YingWA #eclipse #mining #repository #source code

Source code that talks: an exploration of Eclipse task comments and their implication to repository mining (ATTY, JLW, SA), pp. 91–95.

CHI-2005-MarshallB #using

Saving and using encountered information: implications for electronic periodicals (CCM, SAB), pp. 111–120.

ICEIS-v3-2005-BonessHL #requirements

Acknowledging the Implications of Requirements (KB, RH, KL), pp. 337–342.

ECIR-2005-GoutteG #evaluation #precise #probability

A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.

SIGIR-2005-GaussierG

Relation between PLSA and NMF and implications (ÉG, CG), pp. 601–602.

LOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.

ICSE-2005-BasitRJ #case study

Beyond templates: a study of clones in the STL and some general implications (HAB, DCR, SJ), pp. 451–459.

HPCA-2005-RanganathanJ #architecture #enterprise #research #roadmap

Enterprise IT Trends and Implications for Architecture Research (PR, NPJ), pp. 253–256.

ASE-2004-HeimdahlG #modelling #quality #reduction #testing

Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.

ICALP-2004-Williams #algorithm #constraints

A New Algorithm for Optimal Constraint Satisfaction and Its Implications (RW), pp. 1227–1237.

ICEIS-v3-2004-LingsL #automation

Method-in-Action and Method-in-Tool: Some Implications for CASE (BL, BL), pp. 623–628.

KR-2004-ZhouC #semantics

Partial Implication Semantics for Desirable Propositions (YZ, XC), pp. 606–612.

SEKE-2004-LiLCWL #using

Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice (YL, ZL, WC, QW, WL), pp. 402–405.

SAC-2004-UhligBMRD #internet

Implications of the topological properties of Internet traffic on traffic engineering (SU, OB, VM, CR, LD), pp. 339–346.

DAC-2003-TsaiDVI #reduction #scalability

Implications of technology scaling on leakage reduction techniques (YFT, DD, NV, MJI), pp. 187–190.

VLDB-2003-ChaudhuriGN #sql #summary

Primitives for Workload Summarization and Implications for SQL (SC, PG, VRN), pp. 730–741.

CHI-2003-RoddenB #design #evolution #ubiquitous

The evolution of buildings and implications for the design of ubiquitous domestic environments (TR, SB), pp. 9–16.

ICEIS-v4-2003-Cox #communication #design #what

What Is the Value of Emotion in Communication? Implications for User Centred Design (RC), pp. 418–425.

DAC-2002-Higuchi #detection #multi #scalability

An implication-based method to detect multi-cycle paths in large sequential circuits (HH), pp. 164–169.

ICSM-2002-Munson #metric

Implications of Software Measurement to Lehman’s Eight Laws (JCM), p. 69.

CSCW-2002-PranteMS #design #empirical #idea #tool support

Developing CSCW tools for idea finding -: empirical results and implications for design (TP, CM, NAS), pp. 106–115.

SIGAda-2002-McEvilley #ada #assurance #community

The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.

ICSE-2002-Emmerich #component #distributed #re-engineering

Distributed component technologies and their software engineering implications (WE), pp. 537–546.

CSL-2002-Hasegawa #linear #logic

Classical Linear Logic of Implications (MH), pp. 458–472.

DAC-2001-GrobmanTWYTD #challenge #design #physics

Reticle Enhancement Technology: Implications and Challenges for Physical Design (WG, MT, RW, CY, RT, ED), pp. 73–78.

DATE-2001-NovikovG #learning #multi #performance

An efficient learning procedure for multiple implication checks (YN, EIG), pp. 127–135.

CHI-2001-AbergS #empirical #information management #web

An empirical study of human Web assistants: implications for user support in Web information systems (JÅ, NS), pp. 404–411.

CHI-2001-DuhPF #independence #visual notation

An “independent visual background” reduced balance disturbance envoked by visual scene motion: implication for alleviating simulator sickness (HBLD, DEP, TAF), pp. 85–89.

ICML-2001-ZinkevichB #learning #markov #multi #process #symmetry

Symmetry in Markov Decision Processes and its Implications for Single Agent and Multiagent Learning (MZ, TRB), p. 632–?.

SEKE-2001-Marcos #inheritance #multi #taxonomy

Defining taxonomic hierarchies: their implications for multiple inheritance (EM), pp. 336–340.

RE-2001-Miller #process #requirements

Business Implications on the Requirements Process (BM), p. 274.

HPDC-2001-HumphreyT #grid #security

Security Implications of Typical Grid Computing Usage Scenarios (MH, MRT), pp. 95–103.

ICLP-2001-OrejasPP #embedded #logic programming #semantics #source code

Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.

DAC-2000-SouriBMS #analysis #design #motivation #multi #performance

Multiple Si layer ICs: motivation, performance analysis, and design implications (SJS, KB, AM, KS), pp. 213–220.

DATE-2000-GulrajaniH #identification #logic #multi

Multi-Node Static Logic Implications for Redundancy Identification (KG, MSH), pp. 729–733.

VLDB-2000-ChoG #crawling #evolution #incremental #web

The Evolution of the Web and Implications for an Incremental Crawler (JC, HGM), pp. 200–209.

CHI-2000-BreretonM #communication #design #how

An observational study of how objects support engineering design thinking and communication: implications for the design of tangible media (MB, BM), pp. 217–224.

ICEIS-2000-Thelwall #web

Implications of Search Engine Coverage on the Viability of Business Web Sites (MT), pp. 533–534.

ICPR-v1-2000-FermullerA #process #statistics

The Statistics of Optical Flow: Implications for the Process of Correspondence in Vision (CF, YA), pp. 1119–1126.

DAC-1999-DeHonW #automation #configuration management #design #what #why

Reconfigurable Computing: What, Why, and Implications for Design Automation (AD, JW), pp. 610–615.

FoSSaCS-1999-ArruabarrenaLN #embedded #logic programming

A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.

ICALP-1999-Umans #complexity #on the #problem

On the Complexity and Inapproximability of Shortest Implicant Problems (CU), pp. 687–696.

CHI-1999-KristoffersenL #empirical #how #interactive #modelling #people

An Empirical Study of How People Establish Interaction: Implications for CSCW Session Management Models (SK, FL), pp. 1–8.

CHI-1999-LongLR #design #gesture

Implications for a Gesture Design Tool (ACLJ, JAL, LAR), pp. 40–47.

HCI-EI-1999-BussemakersHL #categorisation #design #interface

The effect of auditory accessory stimuli on picture categorisation; implications for interface design (MPB, AdH, PMCL), pp. 436–440.

CIKM-1999-ChangS #distributed #performance #semantics

Performance and Implications of Semantic Indexing in a Distributed Environment (CTKC, BRS), pp. 391–398.

SAC-1999-Krishnamurthi #education #email #programming

Integrating E-Mail in a Programming Class: Implications for Teaching Programming (MK), pp. 126–131.

TLCA-1999-OHearn #λ-calculus

Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.

SIGMOD-1998-SarawagiTA #database #mining #relational

Integrating Mining with Relational Database Systems: Alternatives and Implications (SS, ST, RA), pp. 343–354.

ITiCSE-1998-MeyerV #bibliography #education #student

A survey of first computing course students (poster): new findings and their implications for the curriculum (JM, SAV), p. 293.

ICSM-1998-LehmanPR #evolution #maintenance #metric

Implications of Evolution Metrics on Software Maintenance (MML, DEP, JFR), p. 208–?.

STOC-1998-Fredman

Information Theoretic Implications for Pairing Heaps (MLF), pp. 319–326.

CHI-1998-AdlerGHOS #design

A Diary Study of Work-Related Reading: Design Implications for Digital Reading Devices (AA, AG, BLH, KO, AS), pp. 241–248.

CHI-1998-LarsonC #design #information retrieval #memory management #web

Web Page Design: Implications of Memory, Structure and Scent for Information Retrieval (KL, MC), pp. 25–32.

CHI-1998-OHaraSNS #documentation #library #student

Student Readers’ Use of Library Documents: Implications for Library Technologies (KO, FS, WMN, AS), pp. 233–240.

EDOC-1998-SyrbeP #analysis

An enterprise-level analysis of customer-provider relationships and implications for QoS enforcement (JHS, TP), pp. 208–217.

SAC-1998-HallamY #fuzzy #product line #pseudo #strict

Families of fuzzy implication operators within measure M1 and their pseudo-strict (NH, KMY), pp. 262–266.

HPCA-1998-HallaronSG #architecture #product line

Architectural Implications of a Family of Irregular Applications (DRO, JRS, TRG), pp. 80–89.

DAC-1997-PomeranzR #approach #fault #multi #simulation #using

Fault Simulation under the Multiple Observation Time Approach using Backward Implications (IP, SMR), pp. 608–613.

PODS-1997-GuchtDGV #algebra #database #decidability #on the #set

On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases (FD, MG, LV, DVG), pp. 68–77.

SIGMOD-1997-BrinMUT

Dynamic Itemset Counting and Implication Rules for Market Basket Data (SB, RM, JDU, ST), pp. 255–264.

WCRE-1997-BurdM #legacy #non-functional #re-engineering #requirements

The Implications of Non-Functional Requirements for the Reengineering of Legacy Code (EB, MM), p. 215–?.

ICSM-2000-BurdM #maintenance #replication

Investigating the Maintenance Implications of the Replication of Code (EB, MM), p. 322–?.

HCI-SEC-1997-ZhuL #hypermedia #information retrieval

Decision Support for Indexing and Information Retrieval: Implications for Hypertext Systems (WZ, MRL), pp. 747–750.

ACIR-1997-Kando #information management #research

Text-Level Structure of Research Papers: Implications for Text-Based Information Processing Systems (NK).

KDD-1997-Domingos #why

Why Does Bagging Work? A Bayesian Account and its Implications (PMD), pp. 155–158.

PLILP-1997-GiacobazziS #abstract interpretation

Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.

HPDC-1997-Downey #parallel

A Parallel Workload Model and its Implications for Processor Allocation (ABD), pp. 112–123.

PPoPP-1997-LimCCE #communication #performance

Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems (BHL, CCC, GC, TvE), pp. 230–239.

ICLP-1997-Petukhin #embedded

Embedded Implications as a Generalization of Negation as Failure (VP), p. 420.

VLDB-1996-Gupta #industrial

The Changing Landscape of the Software Industry and its Implications for India (UG), p. 2.

CHI-1996-WeisbandK

Self Disclosure on Computer Forms: Meta-Analysis and Implications (SPW, SBK), pp. 3–10.

SIGIR-1996-SpinkGRW #design #elicitation #information retrieval

Elicitations During Information Retrieval: Implications for IR System Design (AS, AG, DR, MMW), pp. 120–127.

DAC-1995-YuguchiNWF #logic #multi

Multi-Level Logic Minimization Based on Multi-Signal Implications (MY, YN, KW, TF), pp. 658–662.

SIGMOD-1995-Bampahl #requirements

Real World Requirements for Decision Support — Implications for RDBMS (SKB), p. 448.

CHI-1995-ParikhL #design #interface

Electronic Futures Markets versus Floor Trading: Implications for Interface Design (SSP, GLL), pp. 296–303.

SIGMOD-1994-DanielsDDEHJJLSSS #design #replication #symmetry

Oracle’s Symmetric Replication Technology and Implications for Application Design (DD, LBD, AD, CE, GH, SJ, BJ, PL, GS, BS, JS), p. 467.

CSEE-1994-AmarBGJ #collaboration #education

Implication of Practitioners in a Post-Graduate Curriculum, a Successful Collaboration (BA, YB, JG, JPJ), pp. 251–261.

ALP-1994-CodishM #algebra #approximate #proving

Proving Implications by Algebraic Approximation (MC, GM), pp. 6–22.

ILPS-1994-Hui-Bon-Hoa

Intuitionistic Implication and Resolution (AHBH), pp. 409–423.

HCI-ACS-1993-Hopkin #automation

Human Factors Implications of Air Traffic Control Automation (VDH), pp. 145–150.

HCI-SHI-1993-Caldwell93a #feedback #social

Social Implications of Feedback and Delay Characteristics in Electronic Communications Usage (BSC), pp. 843–848.

HCI-SHI-1993-YoungM #approach #assessment #learning #problem

A Situated Cognition Approach to Problem Solving with Implications for Computer-Based Learning and Assessment (MFY, MDM), pp. 825–830.

ICML-1993-Idestam-Almquist #anti #recursion

Generalization under Implication by Recursive Anti-unification (PIA), pp. 151–158.

TOOLS-USA-1993-Page-Jones #named #object-oriented

Object-Orientation: Management Implications (MPJ), p. 6.

CADE-1992-Jackson #incremental

Computing Prime Implicates Incrementally (PJ), pp. 253–267.

SIGMOD-1991-IoannidisK #analysis #optimisation #query

Left-Deep vs. Bushy Trees: An Analysis of Strategy Spaces and its Implications for Query Optimization (YEI, YCK), pp. 168–177.

SEI-1991-BarnesR #education #re-engineering

Computing Curricula 1991 — Its Implications for Software Engineering Education (BHB, JBR), pp. 129–147.

SEI-1991-NorthropR #design #evolution #industrial

Design Evolution: Implications for Academia and Industry (LMN, WER), pp. 205–217.

SOSP-1991-VaswaniZ #memory management #multi #scheduling

The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors (RV, JZ), pp. 26–40.

LICS-1991-LincolnSS

Linearizing Intuitionistic Implication (PL, AS, NS), pp. 51–62.

DAC-1990-ButlerM #design #fault #performance

The Influences of Fault Type and Topology on Fault Model Performance and the Implications to Test and Testable Design (KMB, MRM), pp. 673–678.

CAiSE-1990-Mayhew #development #people #prototype

Software Prototyping: Implications for the People Involved in Systems Development (PJM), pp. 290–305.

POPL-1990-AspertiFG #proving

Implicative Formulae in the “Proofs as Computations” Analogy (AA, GLF, RG), pp. 59–71.

CADE-1990-JacksonP

Computing Prime Implicants (PJ, JP), pp. 543–557.

DAC-1989-McFarland #social

The Social Implications of Computerization: Making the Technology Humane (MCM), pp. 129–134.

HT-1989-NeuwirthK #design #process #tool support

The Role of External Representations in the Writing Process: Implications for the Design of Hypertext-Based Writing Tools (CN, DK), pp. 319–341.

SIGMOD-1989-SunKN #database #problem

Solving Implication Problems in Database Applications (XHS, NK, LMN), pp. 185–192.

CHI-1989-Hendrickson #design #interface #performance #visual notation

Performance, preference, and visual scan patterns on a menu-based system: implications for interface design (JJH), pp. 217–222.

CHI-1989-Raskin

Systemic implications of leap and an improved two-part cursor (JR), pp. 167–170.

CAiSE-1989-Holloway #generative

Organisational Implications Caused by the Fourth Generation Environment (SH).

CAiSE-1989-Sutcliffe #automation #design #interface #tool support

CASE Tools and the Human Computer Interface: Implications for Designers (AS).

ESEC-1989-Dix #re-engineering #refinement

Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.

TAV-1989-PodgurskiC #debugging #dependence #maintenance #testing

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.

SIGMOD-1988-LeuchnerMS #algorithm #dependence #functional #polynomial #testing

A Polynomial Time Algorithm for Testing Implications of a Join Dependency and Embodied Functional Dependencies (JHL, LM, GS), pp. 218–224.

ICSE-1988-Wasserman #development #hardware

Implications of Hardware Advances for Software Development (AIW), pp. 250–253.

CADE-1988-Pfenning #axiom #calculus

Single Axioms in the Implicational Propositional Calculus (FP), pp. 710–713.

HCI-SES-1987-Frese #concept #human-computer #interactive #performance

A Concept of Control: Implications for Stress and Performance in Human-Computer Interaction (MF), pp. 43–50.

HCI-SES-1987-SmithS #feedback #interface

Motor Feedback Control of Human Cognition: Implication for the Cognitive Interface (TJS, KUS), pp. 239–254.

SIGMOD-1985-AgrawalCL #concurrent #modelling #performance

Models for Studying Concurrency Control Performance: Alternatives and Implications (RA, MJC, ML), pp. 108–121.

VLDB-1985-MedeirosT #comprehension #policy

Understanding the Implications of View Update Policies (CBM, FWT), pp. 316–323.

SIGIR-1985-Bookstein #probability #retrieval

Implications of Boolean Structures for Probabilistic Retrieval (AB), pp. 11–17.

ICALP-1984-Welzl #encoding #formal method #graph #graph grammar

Encoding Graphs by Derivations and Implications for the Theory of Graph Grammars (EW), pp. 503–513.

SIGMOD-1983-LohmanSBMC #database #experience

Remotely-Sensed Geophysical Databases: Experience and Implications for Generalized DBMS (GML, JCS, ANB, MDM, AFC), pp. 146–160.

SIGIR-1983-DeJong #information retrieval

Artificial Intelligence Implications for Information Retrieval (GD), pp. 10–17.

DAC-1982-LightnerH #algorithm #functional #megamodelling #testing

Implication algorithms for MOS switch level functional macromodeling implication and testing (MRL, GDH), pp. 691–698.

PODS-1982-Vardi #dependence #finite #problem

The Implication and Finite Implication Problems for Typed Template Dependencies (MYV), pp. 230–238.

STOC-1981-ChandraLM #dependence #embedded #problem

Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.

ICALP-1981-BeeriV #dependence #problem

The Implication Problem for Data Dependencies (CB, MYV), pp. 73–85.

SIGMOD-1979-MaierMS #dependence #testing

Testing Implications of Data Dependencies (Abstract) (DM, AOM, YS), p. 152.

SIGFIDET-1972-Collmeyer #architecture #database #independence

Implications of Data Independence on Architecture of Database Management Systems (AJC), pp. 307–321.

SHARE-1965-Berkeley #automation #social

The social implications of computers and automation (ECB).