BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
order (38)
use (17)
base (16)
execut (14)
processor (14)

Stem out$ (all stems)

191 papers:

CASECASE-2015-JinQH #fault #geometry #predict
Out-of-plane geometric error prediction for additive manufacturing (YJ, SJQ, QH), pp. 918–923.
DATEDATE-2015-DoumaAP #estimation #execution #performance #precise
Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
HTHT-2015-AinsworthNS #web
Only One Out of Five Archived Web Pages Existed as Presented (SGA, MLN, HVdS), pp. 257–266.
SIGMODSIGMOD-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.
VLDBVLDB-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.
VLDBVLDB-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.
MSRMSR-2015-ChowdhuryH #mining #stack overflow #topic
Mining StackOverflow to Filter Out Off-Topic IRC Discussion (SAC, AH), pp. 422–425.
CHICHI-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.
CHICHI-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.
CHICHI-2015-ReillyEWTE #artificial reality
Mapping out Work in a Mixed Reality Project Room (DFR, AE, AW, AT, WKE), pp. 887–896.
HCILCT-2015-TriantafyllouT #student
Out of Classroom Instruction in the Flipped Classroom: The Tough Task of Engaging the Students (ET, OT), pp. 714–723.
KDDKDD-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.
SIGIRSIGIR-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.
HPCAHPCA-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.
SOSPSOSP-2015-0002BMZ #graph #named
Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.
CSLCSL-2015-CapriottiKV
Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.
ASEASE-2014-BergmayrTW #evolution
From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
DACDAC-2014-MukherjeeL
Leveraging pre-silicon data to diagnose out-of-specification failures in mixed-signal circuits (PM, PL), p. 6.
DATEDATE-2014-HoffmanRAA #analysis #fault #memory management
Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.
VLDBVLDB-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-VMTGT-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).
CHICHI-2014-BreretonRSH #design #research
Beyond ethnography: engagement and reciprocity as foundations for design research out here (MB, PR, RS, ALH), pp. 1183–1186.
CHICHI-2014-EveleighJBBC #design
Designing for dabblers and deterring drop-outs in citizen science (AE, CJ, AB, PB, ALC), pp. 2985–2994.
CHICHI-2014-RzeszotarskiSMMM #twitter
Is anyone out there?: unpacking Q&A hashtags on twitter (JMR, ESS, JNM, AMH, MRM), pp. 2755–2758.
CSCWCSCW-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.
CAiSECAiSE-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.
CIKMCIKM-2014-BottcherLZ #equivalence #query
Pulling Conjunctive Query Equivalence out of the Bag (SB, SL, LZ), pp. 41–50.
ICPRICPR-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.
ICPRICPR-2014-PuigcerverTV #keyword #query
Word-Graph-Based Handwriting Keyword Spotting of Out-of-Vocabulary Queries (JP, AHT, EV), pp. 2035–2040.
KDDKDD-2014-AnagnostopoulosT #big data #scalability
Scaling out big data missing value imputations: pythia vs. godzilla (CA, PT), pp. 651–660.
KEODKEOD-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.
FSEFSE-2014-LerchHBM #analysis #named #performance #scalability
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ASPLOSASPLOS-2014-NovakovicDBFG
Scale-out NUMA (SN, AD, EB, BF, BG), pp. 3–18.
DATEDATE-2013-ChenD #parallel #predict #simulation #using
Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATEDATE-2013-CoppolaFGK #embedded #manycore
From embedded multi-core SoCs to scale-out processors (MC, BF, JG, GK), pp. 947–951.
ICDARICDAR-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.
ICDARICDAR-2013-SekiAYNSN #documentation #image
Color Drop-Out Binarization Method for Document Images with Color Shift (MS, EA, TY, HN, HS, TN), pp. 123–127.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-KlonatosNSKK #algorithm #automation #synthesis
Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
MSRMSR-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-VMTGT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
HCIDHM-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.
HCIHCI-IMT-2013-YoshikawaMKST #using
A Remote Pointing Technique Using Pull-out (TY, YM, TK, BS, JT), pp. 416–426.
HILTHILT-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.
CIKMCIKM-2013-FerenceYL #network #recommendation #social
Location recommendation for out-of-town users in location-based social networks (GF, MY, WCL), pp. 721–726.
KDDKDD-2013-Ramakrishnan
Scale-out beyond map-reduce (RR), p. 1.
RERE-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.
SACSAC-2013-MaunzVH #graph #mining
Out-of-bag discriminative graph mining (AM, DV, CH), pp. 109–114.
ICSEICSE-2013-MaozS #specification
Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.
ASPLOSASPLOS-2013-McFarlinTZ #performance #question
Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.
ICSTSAT-2013-LagniezB
Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.
DATEDATE-2012-ChenHD #design #parallel #simulation
Out-of-order parallel simulation for ESL design (WC, XH, RD), pp. 141–146.
DATEDATE-2012-RosiereDDW #design
An out-of-order superscalar processor on FPGA: The ReOrder Buffer design (MR, JLD, ND, FW), pp. 1549–1554.
SIGMODSIGMOD-2012-Vahdat #data transformation #network
Symbiosis in scale out networking and data management (AV), pp. 579–580.
CSMRCSMR-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.
CHICHI-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.
CHICHI-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.
CIKMCIKM-2012-Prat-PerezDBL #community
Shaping communities out of triangles (APP, DDS, JMB, JLLP), pp. 1677–1681.
POPLPOPL-2012-RastogiCH #type inference
The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.
ICSEICSE-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.
ASPLOSASPLOS-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.
PODSPODS-2011-CohenK #using
Get the most out of your sample: optimal unbiased estimators using partial information (EC, HK), pp. 13–24.
VLDBVLDB-2011-ZeitlerR #query
Massive Scale-out of Expensive Continuous Queries (EZ, TR), pp. 1181–1188.
WCREWCRE-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.
ICALPICALP-v1-2011-HermelinMLW
Domination When the Stars Are Out (DH, MM, EJvL, GJW), pp. 462–473.
CHICHI-2011-Taylor
Out there (AST), pp. 685–694.
HCIHCI-DDA-2011-FeuerstackP #execution #interface #modelling #multimodal
Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.
HCIOCSC-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.
CIKMCIKM-2011-LiuLH #bound #fault #kernel #learning
Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.
SIGIRSIGIR-2011-ChatzichristofisZA11a
The TREC files: the (ground) truth is out there (SAC, KZ, AA), pp. 1289–1290.
SIGIRSIGIR-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.
PADLPADL-2011-FodorAR
Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.
PADLPADL-2011-VoellmyH #named #network #programming
Nettle: Taking the Sting Out of Programming Network Routers (AV, PH), pp. 235–249.
RERE-2011-GotelM #requirements #traceability
Out of the labyrinth: Leveraging other disciplines for requirements traceability (OG, SJM), pp. 121–130.
SACSAC-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.
SACSAC-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.
SACSAC-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.
PPoPPPPoPP-2011-JenistaED #execution #named
OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.
CADECADE-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.
CASECASE-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.
DATEDATE-2010-LiZYZ #functional
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.
ITiCSEITiCSE-2010-FerreGSS
Starting out at university with team projects (XF, AG, MGST, MAS), p. 327.
CHICHI-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.
CHICHI-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.
ICPRICPR-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.
RecSysRecSys-2010-XieLW #recommendation
Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.
HPCAHPCA-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.
HPCAHPCA-2010-HiltonR #energy #execution #named
BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
DACDAC-2009-MarcilioSAR #behaviour #novel #verification
A novel verification technique to uncover out-of-order DUV behaviors (GM, LCVdS, BA, SR), pp. 448–453.
DocEngDocEng-2009-PeroniV #order
Annotations with EARMARK for arbitrary, overlapping and out-of order markup (SP, FV), pp. 171–180.
DocEngDocEng-2009-ZubiagaMF #classification #social #web
Getting the most out of social annotations for web page classification (AZ, RM, VF), pp. 74–83.
ICDARICDAR-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.
SIGMODSIGMOD-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.
ITiCSEITiCSE-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.
HCIHCI-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.
HCIHIMI-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.
ICEISICEIS-J-2009-BacarinMM #contract #multi
Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
ICEISICEIS-SAIC-2009-CastroFSC #learning #programming
Fleshing Out Clues on Group Programming Learning (TC, HF, LS, ANdCJ), pp. 68–73.
ECIRECIR-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.
CGOCGO-2009-BoissinotDRDG #correctness #performance #quality
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.
HPCAHPCA-2009-StephensonZR #lightweight #order
Lightweight predication support for out of order processors (MS, LZ, RR), pp. 201–212.
DACDAC-2008-TarjanBS #named
Federation: repurposing scalar cores for out-of-order instruction issue (DT, MB, KS), pp. 772–775.
DRRDRR-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.
HTHT-2008-KetterlEB #learning #social #web
Social selected learning content out of web lectures (MK, JE, JB), pp. 231–232.
PODSPODS-2008-CormodeKT
Time-decaying aggregates in out-of-order streams (GC, FK, ST), pp. 89–98.
VLDBVLDB-2008-LiTSPJM #architecture
Out-of-order processing: a new architecture for high-performance stream systems (JL, KT, VS, VP, TJ, DM), pp. 274–288.
ITiCSEITiCSE-2008-FurcyNW #sorting
Sorting out sorting: the sequel (DF, TLN, JW), pp. 174–178.
CHICHI-2008-GaverBLPBBHKVW
Threshold devices: looking out from the home (WWG, AB, AL, SP, JB, JB, JH, TK, NV, AW), pp. 1429–1438.
CSCWCSCW-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.
ICMLICML-2008-FrancLM #fault
Stopping conditions for exact computation of leave-one-out error in support vector machines (VF, PL, KRM), pp. 328–335.
KDDKDD-2008-KoenigsteinST #analysis #query #string #using
Spotting out emerging artists using geo-aware analysis of P2P query strings (NK, YS, TT), pp. 937–945.
ICMTICMT-2008-VignagaPB #contract #interactive #model transformation #using
Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
LCTESLCTES-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.
ICDARICDAR-2007-RosmanTT #motivation
A New Physically Motivated Warping Model for Form Drop-Out (GR, AT, DT), pp. 774–778.
TACASTACAS-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.
TACASTACAS-2007-HarelS #flexibility #source code
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.
GT-VMTGT-VMT-2007-FussMRS #comparison
The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (CF, CM, UR, ES).
CHICHI-2007-PeruginiAM #case study #interactive
A study of out-of-turn interaction in menu-based, IVR, voicemail systems (SP, TJA, WFM), pp. 961–970.
HCIHCI-IDU-2007-GokturkC #experience #open source
Out of Box Experience Issues of Free and Open Source Software (MG, ), pp. 774–783.
HCIHCI-IDU-2007-SandhuAA #agile #assessment
Serial Hanging Out: Rapid Ethnographic Needs Assessment in Rural Settings (JSS, PA, DA), pp. 614–623.
HCIHIMI-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.
ECIRECIR-2007-Silvestri #documentation #identifier #problem #sorting
Sorting Out the Document Identifier Assignment Problem (FS), pp. 101–112.
KDDKDD-2007-DaiXYY #classification #clustering #documentation
Co-clustering based classification for out-of-domain documents (WD, GRX, QY, YY), pp. 210–219.
HPCAHPCA-2007-QuinonesPG #branch #execution #predict
Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.
DACDAC-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.
DATEDATE-2006-EyermanEB #design #embedded #performance
Efficient design space exploration of high performance embedded out-of-order processors (SE, LE, KDB), pp. 351–356.
CIKMCIKM-2006-Girju #semantics
Out-of-context noun phrase semantic interpretation with cross-linguistic evidence (RG), pp. 268–276.
ICPRICPR-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.
KDDKDD-2006-BuehrerPG #mining
Out-of-core frequent pattern mining on a commodity PC (GB, SP, AG), pp. 86–95.
QAPLQAPL-2005-Siveroni06 #algorithm
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks (IS), pp. 241–257.
CAVCAV-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.
DACDAC-2005-BacchiniMFBNMD #question #verification
Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.
ITiCSEITiCSE-2005-BiancoT #process #question #why
Why are children left out of the CS rethinking process? (GMB, ST), p. 352.
GPCEGPCE-2005-Ahlander #sorting
Sorting Out the Relationships Between Pairs of Iterators, Values, and References (), pp. 342–356.
PPoPPPPoPP-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.
ASEASE-2004-SmithWHDLC #requirements
An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
VLDBVLDB-2004-ZhangLLW #detection #named
HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data (JZ, ML, TWL, HHW), pp. 1265–1268.
CHICHI-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.
CHICHI-2004-OlsenW #multi #named
Fan-out: measuring human control of multiple robots (DRO, SBW), pp. 231–238.
CSCWCSCW-2004-BosSOCN #distributed #simulation
In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
CSCWCSCW-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.
ICPRICPR-v3-2004-YingK #evaluation #performance
Fast Leave-One-Out Evaluation and Improvement on Inference for LS-SVMs (ZY, KCK), pp. 494–497.
CGOCGO-2004-RastelloFG #constraints #optimisation #using
Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.
HPCAHPCA-2004-CristalOLV #commit
Out-of-Order Commit Processors (AC, DO, JL, MV), pp. 48–59.
CAVCAV-2004-Arons #algorithm #execution #verification
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
DATEDATE-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.
HPCAHPCA-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.
CAVCAV-2003-LahiriB #deduction #verification
Deductive Verification of Advanced Out-of-Order Microprocessors (SKL, REB), pp. 341–353.
DATEDATE-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.
WRLAWRLA-2002-CirsteaKL #calculus
Rewriting Calculus with(out) Types (HC, CK, LL), pp. 3–19.
CAiSECAiSE-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.
SIGIRSIGIR-2002-Rijsbergen #information retrieval
Landmarks in information retrieval: the message out of the bottle (CJvR), p. 1.
OOPSLAOOPSLA-2002-SutterBB #c++ #low level #reuse
Sifting out the mud: low level C++ code reuse (BDS, BDB, KDB), pp. 275–291.
HPCAHPCA-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.
ISMMISMM-2002-BlackburnM
In or out?: putting write barriers in their place (SB, KSM), pp. 281–290.
CAVCAV-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.
HTHT-2001-Kouper
Out of nothing: in-depth hyperfication study (IK), pp. 71–72.
TOOLSTOOLS-USA-2001-Devos01a
Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.
HPCAHPCA-2001-MichaudS #data flow #scalability
Data-Flow Prescheduling for Large Instruction Windows in Out-of-Order Processors (PM, AS), pp. 27–36.
CHICHI-2000-ChristianA #experience
Speak out and annoy someone: experience with intelligent kiosks (ADC, BLA), pp. 313–320.
SIGIRSIGIR-2000-WoodlandJJJ #documentation #retrieval #word
Effects of out of vocabulary words in spoken document retrieval (PCW, SEJ, PJ, KSJ), pp. 372–374.
PADLPADL-2000-ChuangM #functional #programming #type system
Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.
POPLPOPL-2000-Agat
Transforming Out Timing Leaks (JA), pp. 40–53.
SASSAS-1999-SreedharJGS
Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.
HPCAHPCA-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.
DACDAC-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.
DATEDATE-1998-MetraFR
Highly Testable and Compact 1-out-of-n Code Checker with Single Output (CM, MF, BR), pp. 981–982.
CSCWCSCW-1998-TrevorRS #architecture
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes (JT, TR, GS), pp. 119–128.
ASPLOSASPLOS-1998-Le #execution #runtime
An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
ASPLOSASPLOS-1998-RanganathanGAB #database #performance
Performance of Database Workloads on Shared-Memory Systems with Out-of-Order Processors (PR, KG, SVA, LAB), pp. 307–318.
ASPLOSASPLOS-1998-SchnarrL #performance #simulation #using
Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.
CAVCAV-1998-SkakkebaekJD #execution #incremental #using #verification
Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
DATEEDTC-1997-PaschalisGGK #fault #self
A totally self-checking 1-out-of-3 code error indicator (AMP, NG, DG, PK), pp. 450–454.
HCIHCI-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.
SIGMODSIGMOD-1996-FernandezS
The Ins and Outs (and Everthing in Between) of Data Warehousing (PMF, DAS), p. 541.
ICPRICPR-1996-HuangHH #adaptation #estimation #performance #video
Adaptive early jump-out technique for fast motion estimation in video coding (HCH, YPH, WLH), pp. 864–868.
AdaEuropeAdaEurope-1995-RognesS #ada #performance
Performance Tuning of a Check-Out System Coded in Ada (BR, PIS), pp. 99–110.
ICSEICSE-1995-GarlanAO #architecture #why
Architectural Mismatch or Why It’s Hard to Build Systems Out Of Existing Parts (DG, RA, JO), pp. 179–185.
HPDCHPDC-1995-Kotz
Disk-Directed I/O for an Out-of-Core Computation (DK), pp. 159–166.
PPoPPPPoPP-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.
CSCWCSCW-1994-HughesKRA #design
Moving Out from the Control Room: Ethnography in System Design (JAH, VK, TR, HA), pp. 429–439.
CAiSECAiSE-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.
OOPSLAOOPSLA-1994-AgesenU
Sifting Out the Gold (OA, DU), pp. 355–370.
ICLPICLP-1993-KraanBB #logic programming #reasoning #synthesis
Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.
CADECADE-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.
CHICHI-1990-Grudin #design #interface
The computer reaches out: the historical continuity of interface design (JG), pp. 261–268.
CADECADE-1990-BundyHSI #induction #proving
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.
SIGIRSIGIR-1988-Pevzner #database #how #why
Precedental Data Bases: How and Why They are Worked Out and Used (BP), pp. 117–125.
ICALPICALP-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.
DACDAC-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.
DACDAC-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.