Stem out$ (all stems)

191 papers:

CASE-2015-JinQH #fault #geometry #predict

Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.

DATE-2015-DoumaAP #estimation #execution #performance #precise

Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.

HT-2015-AinsworthNS #web

Only One Out of Five Archived Web Pages Existed as Presented (SGA, MLN, HVdS), pp. 257–266.

SIGMOD-2015-JiZJNHF #data type #execution #quality #query

Quality-Driven Continuous Query Execution over Out-of-Order Data Streams (YJ, HZ, ZJ, AN, GH, CF), pp. 889–894.

VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency

The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.

VLDB-2015-GoelPABMFGMBL #architecture #realtime #scalability #towards

Towards Scalable Real-time Analytics: An Architecture for Scale-out of OLxP Workloads (AKG, JP, NA, PB, SM, FF, FG, CM, TB, WL), pp. 1716–1727.

MSR-2015-ChowdhuryH #mining #stack overflow #topic

Mining StackOverflow to Filter Out Off-Topic IRC Discussion (SAC, AH), pp. 422–425.

CHI-2015-GanglbauerFG #what #why

Why and what did we throw out?: Probing on Reflection through the Food Waste Diary (EG, GF, FG), pp. 1105–1114.

CHI-2015-HongGAA #crowdsourcing

In-group Questions and Out-group Answers: Crowdsourcing Daily Living Advice for Individuals with Autism (HH, EG, GDA, RIA), pp. 777–786.

CHI-2015-ReillyEWTE #artificial reality

Mapping out Work in a Mixed Reality Project Room (DFR, AE, AW, AT, WKE), pp. 887–896.

LCT-2015-TriantafyllouT #student

Out of Classroom Instruction in the Flipped Classroom: The Tough Task of Engaging the Students (ET, OT), pp. 714–723.

KDD-2015-OkumuraST #analysis #classification #incremental #linear #problem

Quick Sensitivity Analysis for Incremental Data Modification and Its Application to Leave-one-out CV in Linear Classification Problems (SO, YS, IT), pp. 885–894.

SIGIR-2015-SallesGRR #automation #classification #effectiveness #fault #named #random

BROOF: Exploiting Out-of-Bag Errors, Boosting and Random Forests for Effective Automated Classification (TS, MAG, VR, LCdR), pp. 353–362.

HPCA-2015-LiuLJCT #comprehension #empirical

Understanding the virtualization “Tax” of scale-out pass-through GPUs in GaaS clouds: An empirical study (ML, TL, NJ, AC, VT), pp. 259–270.

SOSP-2015-0002BMZ #graph #named

Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.

CSL-2015-CapriottiKV

Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.

ASE-2014-BergmayrTW #evolution

From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.

DAC-2014-MukherjeeL

Leveraging pre-silicon data to diagnose out-of-specification failures in mixed-signal circuits (PM, PL), p. 6.

DATE-2014-HoffmanRAA #analysis #fault #memory management

Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.

VLDB-2014-HassanSWZLYY #automation #monitoring

Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.

GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).

CHI-2014-BreretonRSH #design #research

Beyond ethnography: engagement and reciprocity as foundations for design research out here (MB, PR, RS, ALH), pp. 1183–1186.

CHI-2014-EveleighJBBC #design

Designing for dabblers and deterring drop-outs in citizen science (AE, CJ, AB, PB, ALC), pp. 2985–2994.

CHI-2014-RzeszotarskiSMMM #twitter

Is anyone out there?: unpacking Q&A hashtags on twitter (JMR, ESS, JNM, AMH, MRM), pp. 2755–2758.

CSCW-2014-MatthiesenBP #development #how #quote

“Figure out how to code with the hands of others”: recognizing cultural blind spots in global software development (SM, PB, LMP), pp. 1107–1119.

CAiSE-2014-FolinoGP #low level #mining #modelling #multi #predict #process

Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.

CIKM-2014-BottcherLZ #equivalence #query

Pulling Conjunctive Query Equivalence out of the Bag (SB, SL, LZ), pp. 41–50.

ICPR-2014-AokiFKM #algorithm #architecture #visual notation

KIZUKI Processing for Visual Inspection: A Smart Pattern Pop-Out Algorithm Based on Human Visual Architecture (KA, TF, HK, YM), pp. 2317–2322.

ICPR-2014-PuigcerverTV #keyword #query

Word-Graph-Based Handwriting Keyword Spotting of Out-of-Vocabulary Queries (JP, AHT, EV), pp. 2035–2040.

KDD-2014-AnagnostopoulosT #big data #scalability

Scaling out big data missing value imputations: pythia vs. godzilla (CA, PT), pp. 651–660.

KEOD-2014-Aalst #mining #people #process #what

No Knowledge Without Processes — Process Mining as a Tool to Find Out What People and Organizations Really Do (WMPvdA), pp. 1–11.

FSE-2014-LerchHBM #analysis #named #performance #scalability

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.

ASPLOS-2014-NovakovicDBFG

Scale-out NUMA (SN, AD, EB, BF, BG), pp. 3–18.

DATE-2013-ChenD #parallel #predict #simulation #using

Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.

DATE-2013-CoppolaFGK #embedded #manycore

From embedded multi-core SoCs to scale-out processors (MC, BF, JG, GK), pp. 947–951.

ICDAR-2013-OpreanLPM #recognition #using #web #word

Using the Web to Create Dynamic Dictionaries in Handwritten Out-of-Vocabulary Word Recognition (CO, LLS, AP, CM), pp. 989–993.

ICDAR-2013-SekiAYNSN #documentation #image

Color Drop-Out Binarization Method for Document Images with Color Shift (MS, EA, TY, HN, HS, TN), pp. 123–127.

SIGMOD-2013-FernandezMKP #fault tolerance #using

Integrating scale out and fault tolerance in stream processing using operator state management (RCF, MM, EK, PP), pp. 725–736.

SIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis

Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.

MSR-2013-DullemondGSD #distributed #microblog #problem

Fixing the “out of sight out of mind” problem: one year of mood-based microblogging in a distributed software team (KD, BvG, MADS, AvD), pp. 267–276.

GT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).

DHM-SET-2013-KawabataMYKKGH #evaluation

Effect Evaluation of Recreational Coloring Carried Out at Pay Nursing Home (SK, NM, AY, YK, NK, AG, HH), pp. 214–222.

HCI-IMT-2013-YoshikawaMKST #using

A Remote Pointing Technique Using Pull-out (TY, YM, TK, BS, JT), pp. 416–426.

HILT-2013-Whalen #analysis #architecture #development #formal method #modelling #scalability #using

Up and out: scaling formal analysis using model-based development and architecture modeling (MWW), pp. 41–42.

CIKM-2013-FerenceYL #network #recommendation #social

Location recommendation for out-of-town users in location-based social networks (GF, MY, WCL), pp. 721–726.

KDD-2013-Ramakrishnan

Scale-out beyond map-reduce (RR), p. 1.

RE-2013-NistalaK #analysis #approach #consistency #requirements #validation

An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.

SAC-2013-MaunzVH #graph #mining

Out-of-bag discriminative graph mining (AM, DV, CH), pp. 109–114.

ICSE-2013-MaozS #specification

Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.

ASPLOS-2013-McFarlinTZ #performance #question

Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.

SAT-2013-LagniezB

Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.

DATE-2012-ChenHD #design #parallel #simulation

Out-of-order parallel simulation for ESL design (WC, XH, RD), pp. 141–146.

DATE-2012-RosiereDDW #design

An out-of-order superscalar processor on FPGA: The ReOrder Buffer design (MR, JLD, ND, FW), pp. 1549–1554.

SIGMOD-2012-Vahdat #data transformation #network

Symbiosis in scale out networking and data management (AV), pp. 579–580.

CSMR-2012-MurgiaTMCCMS #empirical #refactoring

Refactoring and its Relationship with Fan-in and Fan-out: An Empirical Study (AM, RT, MM, GC, SC, JM, SS), pp. 63–72.

CHI-2012-DuganGMVJLCDB #enterprise #exclamation #quote

“I’d never get out of this !?$%# office”: redesigning time management for the enterprise (CD, WG, MJM, ANV, KJ, SL, LTC, EMD, BB), pp. 1755–1764.

CHI-2012-LeonUSWBC #behaviour #evaluation #online #tool support #usability #why

Why Johnny can’t opt out: a usability evaluation of tools to limit online behavioral advertising (PGL, BU, RS, YW, RB, LFC), pp. 589–598.

CIKM-2012-Prat-PerezDBL #community

Shaping communities out of triangles (APP, DDS, JMB, JLLP), pp. 1677–1681.

POPL-2012-RastogiCH #type inference

The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.

ICSE-2012-GouesDFW #automation #debugging #program repair

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.

ASPLOS-2012-FerdmanAKVAJKPAF #case study #hardware

Clearing the clouds: a study of emerging scale-out workloads on modern hardware (MF, AA, YOK, SV, MA, DJ, CK, ADP, AA, BF), pp. 37–48.

PODS-2011-CohenK #using

Get the most out of your sample: optimal unbiased estimators using partial information (EC, HK), pp. 13–24.

VLDB-2011-ZeitlerR #query

Massive Scale-out of Expensive Continuous Queries (EZ, TR), pp. 1181–1188.

WCRE-2011-MurgiaTCCM #empirical #refactoring

An Empirical Study of Refactoring in the Context of FanIn and FanOut Coupling (AM, RT, SC, GC, MM), pp. 372–376.

ICALP-v1-2011-HermelinMLW

Domination When the Stars Are Out (DH, MM, EJvL, GJW), pp. 462–473.

CHI-2011-Taylor

Out there (AST), pp. 685–694.

HCI-DDA-2011-FeuerstackP #execution #interface #modelling #multimodal

Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.

OCSC-2011-DamianosCD #case study #enterprise #named #network

Handshake: A Case Study for Exploring Business Networking for the Enterprise, Inside and Out (LED, DLC, SD), pp. 162–171.

CIKM-2011-LiuLH #bound #fault #kernel #learning

Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.

SIGIR-2011-ChatzichristofisZA11a

The TREC files: the (ground) truth is out there (SAC, KZ, AA), pp. 1289–1290.

SIGIR-2011-Yom-TovD #physics #social

Out of sight, not out of mind: on the effect of social and physical detachment on information need (EYT, FD), pp. 385–394.

PADL-2011-FodorAR

Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.

PADL-2011-VoellmyH #named #network #programming

Nettle: Taking the Sting Out of Programming Network Routers (AV, PH), pp. 235–249.

RE-2011-GotelM #requirements #traceability

Out of the labyrinth: Leveraging other disciplines for requirements traceability (OG, SJM), pp. 121–130.

SAC-2011-FontesNPC #architecture #detection #learning #problem

An agent-based architecture for supporting the workgroups creation and the detection of out-of-context conversation on problem-based learning in virtual learning environments (LMdOF, FMMN, AÁAP, GALdC), pp. 1175–1180.

SAC-2011-KookHLJK #embedded #linux #memory management #optimisation

Optimization of out of memory killer for embedded Linux environments (JK, SH, WL, EJ, JK), pp. 633–634.

SAC-2011-SimKM #adaptation #approach #embedded #fuzzing #linux #random

Fuzzing the out-of-memory killer on embedded Linux: an adaptive random approach (KYS, FCK, RGM), pp. 387–392.

PPoPP-2011-JenistaED #execution #named

OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.

CADE-2011-ClaessenLS #first-order #logic

Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.

CASE-2010-AshrafTANBT #analysis #array

Structural and microfluidic analysis of MEMS based out-of-plane hollow silicon microneedle array for drug delivery (MWA, ST, NA, AN, ELB, AT), pp. 258–262.

DATE-2010-LiZYZ #functional

Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.

ITiCSE-2010-FerreGSS

Starting out at university with team projects (XF, AG, MGST, MAS), p. 327.

CHI-2010-SongKLS #comparative #evaluation #scalability #visualisation

A comparative evaluation on tree visualization methods for hierarchical structures with large fan-outs (HS, BHK, BL, JS), pp. 223–232.

CHI-2010-WangZC #gesture #mobile #named #predict #problem

SHRIMP: solving collision and out of vocabulary problems in mobile predictive input with motion gesture (JW, SZ, JFC), pp. 15–24.

ICPR-2010-SilvaLSBKT #classification #documentation

Enhancing the Filtering-Out of the Back-to-Front Interference in Color Documents with a Neural Classifier (GdFPeS, RDL, JMS, SB, AK, MT), pp. 2415–2419.

RecSys-2010-XieLW #recommendation

Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.

HPCA-2010-GreskampKT #configuration management #multi #named #performance #thread

LeadOut: Composing low-overhead frequency-enhancing techniques for single-thread performance in configurable multicores (BG, URK, JT), pp. 1–12.

HPCA-2010-HiltonR #energy #execution #named

BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.

DAC-2009-MarcilioSAR #behaviour #novel #verification

A novel verification technique to uncover out-of-order DUV behaviors (GM, LCVdS, BA, SR), pp. 448–453.

DocEng-2009-PeroniV #order

Annotations with EARMARK for arbitrary, overlapping and out-of order markup (SP, FV), pp. 171–180.

DocEng-2009-ZubiagaMF #classification #social #web

Getting the most out of social annotations for web page classification (AZ, RM, VF), pp. 74–83.

ICDAR-2009-QuiniouCA #fault #recognition #word

Handling Out-of-Vocabulary Words and Recognition Errors Based on Word Linguistic Context for Handwritten Sentence Recognition (SQ, MC, ÉA), pp. 466–470.

SIGMOD-2009-WeiLLGRC

Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies (MW, ML, ML, DG, EAR, KTC), pp. 1031–1034.

ITiCSE-2009-IglesiasMRJ #education #named

APEINTA: a spanish educational project aiming for inclusive education in and out of the classroom (AI, LM, PR, JJ), p. 393.

HCI-VAD-2009-PohlDM #generative #ide #multi

From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.

HIMI-II-2009-HasegawaOWMM #estimation #mobile #using

Legible Character Size on Mobile Terminal Screens: Estimation Using Pinch-in/Out on the iPod Touch Panel (SH, MO, TW, SM, MM), pp. 395–402.

ICEIS-J-2009-BacarinMM #contract #multi

Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.

ICEIS-SAIC-2009-CastroFSC #learning #programming

Fleshing Out Clues on Group Programming Learning (TC, HF, LS, ANdCJ), pp. 68–73.

ECIR-2009-UdupaSBB #information retrieval #mining #query #quote

“They Are Out There, If You Know Where to Look”: Mining Transliterations of OOV Query Terms for Cross-Language Information Retrieval (RU, KS, AB, AB), pp. 437–448.

CGO-2009-BoissinotDRDG #correctness #performance #quality

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.

HPCA-2009-StephensonZR #lightweight #order

Lightweight predication support for out of order processors (MS, LZ, RR), pp. 201–212.

DAC-2008-TarjanBS #named

Federation: repurposing scalar cores for out-of-order instruction issue (DT, MB, KS), pp. 772–775.

DRR-2008-BrinkKS #automation #identification #verification

Automatic removal of crossed-out handwritten text and the effect on writer verification and identification (AB, HvdK, LS), p. 68150.

HT-2008-KetterlEB #learning #social #web

Social selected learning content out of web lectures (MK, JE, JB), pp. 231–232.

PODS-2008-CormodeKT

Time-decaying aggregates in out-of-order streams (GC, FK, ST), pp. 89–98.

VLDB-2008-LiTSPJM #architecture

Out-of-order processing: a new architecture for high-performance stream systems (JL, KT, VS, VP, TJ, DM), pp. 274–288.

ITiCSE-2008-FurcyNW #sorting

Sorting out sorting: the sequel (DF, TLN, JW), pp. 174–178.

CHI-2008-GaverBLPBBHKVW

Threshold devices: looking out from the home (WWG, AB, AL, SP, JB, JB, JH, TK, NV, AW), pp. 1429–1438.

CSCW-2008-JohansenSHEB #quote

“Garbage in, garbage out”: extracting disease surveillance data from epr systems in primary care (MAJ, JS, PH, GE, JGB), pp. 525–534.

ICML-2008-FrancLM #fault

Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.

KDD-2008-KoenigsteinST #analysis #query #string #using

Spotting out emerging artists using geo-aware analysis of P2P query strings (NK, YS, TT), pp. 937–945.

ICMT-2008-VignagaPB #contract #interactive #model transformation #using

Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.

LCTES-2008-HomayounPMV #adaptation #embedded #energy #performance

Improving performance and reducing energy-delay with adaptive resource resizing for out-of-order embedded processors (HH, SP, MAM, AVV), pp. 71–78.

ICDAR-2007-RosmanTT #motivation

A New Physically Motivated Warping Model for Form Drop-Out (GR, AT, DT), pp. 774–778.

TACAS-2007-BolligKKL #design #game studies #learning #modelling #synthesis

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (BB, JPK, CK, ML), pp. 435–450.

TACAS-2007-HarelS #flexibility #source code

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.

GT-VMT-2007-FussMRS #comparison

The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (CF, CM, UR, ES).

CHI-2007-PeruginiAM #case study #interactive

A study of out-of-turn interaction in menu-based, IVR, voicemail systems (SP, TJA, WFM), pp. 961–970.

HCI-IDU-2007-GokturkC #experience #open source

Out of Box Experience Issues of Free and Open Source Software (MG, GÇ), pp. 774–783.

HCI-IDU-2007-SandhuAA #agile #assessment

Serial Hanging Out: Rapid Ethnographic Needs Assessment in Rural Settings (JSS, PA, DA), pp. 614–623.

HIMI-MTT-2007-ParkK07a #case study #effectiveness #mobile

A Case Study on Effective Application of Inquiry Methods to Find Out Mobile Phone’s New Function (SP, YK), pp. 163–170.

ECIR-2007-Silvestri #documentation #identifier #problem #sorting

Sorting Out the Document Identifier Assignment Problem (FS), pp. 101–112.

KDD-2007-DaiXYY #classification #clustering #documentation

Co-clustering based classification for out-of-domain documents (WD, GRX, QY, YY), pp. 210–219.

HPCA-2007-QuinonesPG #branch #execution #predict

Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.

DAC-2006-StojanovicBDW #effectiveness #implementation #queue

A cost-effective implementation of an ECC-protected instruction queue for out-of-order microprocessors (VS, RIB, JD, RW), pp. 705–708.

DATE-2006-EyermanEB #design #embedded #performance

Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.

CIKM-2006-Girju #semantics

Out-of-context noun phrase semantic interpretation with cross-linguistic evidence (RG), pp. 268–276.

ICPR-v2-2006-PriorW #fault #parametricity #probability #random #using

Parameter Tuning using the Out-of-Bootstrap Generalisation Error Estimate for Stochastic Discrimination and Random Forests (MP, TW), pp. 498–501.

KDD-2006-BuehrerPG #mining

Out-of-core frequent pattern mining on a commodity PC (GB, SP, AG), pp. 86–95.

QAPL-2005-Siveroni06 #algorithm

Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks (IS), pp. 241–257.

CAV-2006-KloseTWW #performance #sequence chart #verification

Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.

DAC-2005-BacchiniMFBNMD #question #verification

Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.

ITiCSE-2005-BiancoT #process #question #why

Why are children left out of the CS rethinking process? (GMB, ST), p. 352.

GPCE-2005-Ahlander #sorting

Sorting Out the Relationships Between Pairs of Iterators, Values, and References (KÅ), pp. 342–356.

PPoPP-2005-GaoSLRLBS #modelling #optimisation #parallel #performance

Performance modeling and optimization of parallel out-of-core tensor contractions (XG, SKS, CCL, JR, QL, GB, PS), pp. 266–276.

ASE-2004-SmithWHDLC #requirements

An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.

VLDB-2004-ZhangLLW #detection #named

HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data (JZ, ML, TWL, HHW), pp. 1265–1268.

CHI-2004-BoardmanS #information management #quote

“Stuff goes into the computer and doesn’t come out”: a cross-tool study of personal information management (RB, MAS), pp. 583–590.

CHI-2004-OlsenW #multi #named

Fan-out: measuring human control of multiple robots (DRO, SBW), pp. 231–238.

CSCW-2004-BosSOCN #distributed #simulation

In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.

CSCW-2004-SetlockFN

Taking it out of context: collaborating within and across cultures in face-to-face settings and via instant messaging (LDS, SRF, CN), pp. 604–613.

ICPR-v3-2004-YingK #evaluation #performance

Fast Leave-One-Out Evaluation and Improvement on Inference for LS-SVMs (ZY, KCK), pp. 494–497.

CGO-2004-RastelloFG #constraints #optimisation #using

Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.

HPCA-2004-CristalOLV #commit

Out-of-Order Commit Processors (AC, DO, JL, MV), pp. 48–59.

CAV-2004-Arons #algorithm #execution #verification

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.

DATE-2003-OhKWS #architecture #feedback #using

Test Pattern Compression Using Prelude Vectors in Fan-Out Scan Chain with Feedback Architecture (NO, RK, TWW, JS), pp. 10110–10115.

HPCA-2003-MutluSWP #execution #scalability

Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors (OM, JS, CW, YNP), pp. 129–140.

CAV-2003-LahiriB #deduction #verification

Deductive Verification of Advanced Out-of-Order Microprocessors (SKL, REB), pp. 341–353.

DATE-2002-Velev #similarity #using #verification

Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer (MNV), pp. 28–35.

WRLA-2002-CirsteaKL #calculus

Rewriting Calculus with(out) Types (HC, CK, LL), pp. 3–19.

CAiSE-2002-PontieriUZ #approach #data flow #integration

An Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats (LP, DU, EZ), pp. 752–756.

SIGIR-2002-Rijsbergen #information retrieval

Landmarks in information retrieval: the message out of the bottle (CJvR), p. 1.

OOPSLA-2002-SutterBB #c++ #low level #reuse

Sifting out the mud: low level C++ code reuse (BDS, BDB, KDB), pp. 275–291.

HPCA-2002-WangWCGKS #execution #memory management

Memory Latency-Tolerance Approaches for Itanium Processors: Out-of-Order Execution vs. Speculative Precomputation (PHW, HW, JDC, EG, RMK, JPS), pp. 187–196.

ISMM-2002-BlackburnM

In or out?: putting write barriers in their place (SB, KSM), pp. 281–290.

CAV-2002-Jacobi #model checking #pipes and filters #verification

Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving (CJ0), pp. 309–323.

HT-2001-Kouper

Out of nothing: in-depth hyperfication study (IK), pp. 71–72.

TOOLS-USA-2001-Devos01a

Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.

HPCA-2001-MichaudS #data flow #scalability

Data-Flow Prescheduling for Large Instruction Windows in Out-of-Order Processors (PM, AS), pp. 27–36.

CHI-2000-ChristianA #experience

Speak out and annoy someone: experience with intelligent kiosks (ADC, BLA), pp. 313–320.

SIGIR-2000-WoodlandJJJ #documentation #retrieval #word

Effects of out of vocabulary words in spoken document retrieval (PCW, SEJ, PJ, KSJ), pp. 372–374.

PADL-2000-ChuangM #functional #programming #type system

Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.

POPL-2000-Agat

Transforming Out Timing Leaks (JA), pp. 40–53.

SAS-1999-SreedharJGS

Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.

HPCA-1999-HilyS #effectiveness #execution #multi #thread

Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.

DAC-1998-TaylorQBDHHR #functional #multi #verification

Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor — The DEC Alpha 21264 Microprocessor (SAT, MQ, DB, ND, SH, JH, CR), pp. 638–643.

DATE-1998-MetraFR

Highly Testable and Compact 1-out-of-n Code Checker with Single Output (CM, MF, BR), pp. 981–982.

CSCW-1998-TrevorRS #architecture

Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes (JT, TR, GS), pp. 119–128.

ASPLOS-1998-Le #execution #runtime

An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.

ASPLOS-1998-RanganathanGAB #database #performance

Performance of Database Workloads on Shared-Memory Systems with Out-of-Order Processors (PR, KG, SVA, LAB), pp. 307–318.

ASPLOS-1998-SchnarrL #performance #simulation #using

Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.

CAV-1998-SkakkebaekJD #execution #incremental #using #verification

Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.

EDTC-1997-PaschalisGGK #fault #self

A totally self-checking 1-out-of-3 code error indicator (AMP, NG, DG, PK), pp. 450–454.

HCI-CC-1997-Blanchard #how #human-computer #interactive #question #standard #what

International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.

SIGMOD-1996-FernandezS

The Ins and Outs (and Everthing in Between) of Data Warehousing (PMF, DAS), p. 541.

ICPR-1996-HuangHH #adaptation #estimation #performance #video

Adaptive early jump-out technique for fast motion estimation in video coding (HCH, YPH, WLH), pp. 864–868.

AdaEurope-1995-RognesS #ada #performance

Performance Tuning of a Check-Out System Coded in Ada (BR, PIS), pp. 99–110.

ICSE-1995-GarlanAO #architecture #why

Architectural Mismatch or Why It’s Hard to Build Systems Out Of Existing Parts (DG, RA, JO), pp. 179–185.

HPDC-1995-Kotz

Disk-Directed I/O for an Out-of-Core Computation (DK), pp. 159–166.

PPoPP-1995-BordawekarCKKP #compilation #parallel #source code

A Model and Compilation Strategy for Out-of-Core Data Parallel Programs (RB, ANC, KK, CK, MHP), pp. 1–10.

CSCW-1994-HughesKRA #design

Moving Out from the Control Room: Ethnography in System Design (JAH, VK, TR, HA), pp. 429–439.

CAiSE-1994-HofmannH #design #information management #quality #requirements #security

Reaching out for Quality: Considering Security Requirements in the Design of Information Systems (HFH, RH), pp. 105–118.

OOPSLA-1994-AgesenU

Sifting Out the Gold (OA, DU), pp. 355–370.

ICLP-1993-KraanBB #logic programming #reasoning #synthesis

Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.

CADE-1992-HeskethBS #reasoning #recursion #source code #synthesis #using

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (JH, AB, AS), pp. 310–324.

CHI-1990-Grudin #design #interface

The computer reaches out: the historical continuity of interface design (JG), pp. 261–268.

CADE-1990-BundyHSI #induction #proving

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.

SIGIR-1988-Pevzner #database #how #why

Precedental Data Bases: How and Why They are Worked Out and Used (BP), pp. 117–125.

ICALP-1986-Lai #communication #detection #distributed #termination

A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract) (THL), pp. 196–205.

DAC-1981-Burdick #design #formal method #process #what

What to do when the seat of your pants wears out — the formalization of the VLSI design process (EB), pp. 708–709.

DAC-1978-El-Ziq #automation #constraints #design #logic #network

Logic design automation of MOS combinational networks with fan-in, fan-out constraints (YMEZ), pp. 240–249.