Stem fli$ (all stems)

125 papers:

DATE-2015-KobbeBH #adaptation #modelling #on the fly #performance

Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.

DATE-2015-YangRMDV #embedded #framework #generative #on the fly #random #testing

Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.

FASE-2015-BrennerGS #distributed #on the fly #specification #synthesis

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.

MSR-2015-SlagWB #stack overflow #why

One-Day Flies on StackOverflow — Why the Vast Majority of StackOverflow Users Only Posts Once (RS, MdW, AB), pp. 458–461.

PLDI-2015-GammieHE #garbage collection #on the fly

Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.

DHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation

A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.

SAC-2015-BohdanowiczFFMN #locality

RSSI-based localization of a wireless sensor node with a flying robot (FB, HF, RF, DM, FN, IS), pp. 708–715.

ICSE-v2-2015-WuestSG #collaboration #on the fly #sketching

FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly (DW, NS, MG), pp. 685–688.

ASPLOS-2015-KimKSZX #comparison #execution #fine-grained #on the fly

Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.

ASPLOS-2015-ZhaoS #automaton #on the fly #parallel

On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.

SIGMOD-2014-AugstenM0K #database #on the fly #relational #similarity

On-the-fly token similarity joins in relational databases (NA, AM, TN, AK), pp. 1495–1506.

TACAS-2014-WijsB #manycore #named #on the fly #using

GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.

KDD-2014-BadanidiyuruMKK #on the fly #streaming #summary

Streaming submodular maximization: massive data summarization on the fly (AB, BM, AK, AK), pp. 671–680.

ISMM-2014-UgawaJR #garbage collection #on the fly

Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.

CBSE-2013-PlateniusDBSE #bibliography #fuzzy #on the fly

A survey of fuzzy service matching approaches in the context of on-the-fly computing (MCP, MvD, SB, WS, GE), pp. 143–152.

DATE-2013-FreitasRS #concurrent #consistency #memory management #on the fly #verification

On-the-fly verification of memory consistency with concurrent relaxed scoreboards (LSF, EAR, LCVdS), pp. 631–636.

HT-2013-MarieCGR #linked data #on the fly #open data

Composite interests’ exploration thanks to on-the-fly linked data spreading activation (NM, OC, FG, MR), pp. 31–40.

ESOP-2013-MatsudaW #named

FliPpr: A Prettier Invertible Printing System (KM, MW), pp. 101–120.

TACAS-2013-BacciBLM #on the fly #similarity

On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.

RecSys-2013-WangHZL #collaboration #multi #on the fly #online #recommendation

Online multi-task collaborative filtering for on-the-fly recommender systems (JW, SCHH, PZ, ZL), pp. 237–244.

OOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem

On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.

OOPSLA-2013-MitchellS #capacity #on the fly

On-the-fly capacity planning (NM, PFS), pp. 849–866.

ESEC-FSE-2013-Platenius #fuzzy #on the fly

Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.

CASE-2012-LiLCS #3d

Extended RRT-based path planning for flying robots in complex 3D environments with narrow passages (DL, QL, NC, JS), pp. 1173–1178.

DAC-2012-ZhaoF #on the fly #performance #simulation #towards

Towards efficient SPICE-accurate nonlinear circuit simulation with on-the-fly support-circuit preconditioners (XZ, ZF), pp. 1119–1124.

DATE-2012-VeljkovicRV #generative #implementation #low cost #on the fly #random #testing

Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.

STOC-2012-Lopez-AltTV #encryption #multi #on the fly

On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption (ALA, ET, VV), pp. 1219–1234.

ICALP-v2-2012-KrystaV #design #on the fly #online #random

Online Mechanism Design (Randomized Rounding on the Fly) (PK, BV), pp. 636–647.

CHI-2012-LichtschlagHKB #comprehension #experience #named #user interface

Fly: studying recall, macrostructure understanding, and user experience of canvas presentations (LL, TH, TK, JOB), pp. 1307–1310.

ECMFA-2012-AtkinsonGK #modelling #multi #on the fly

On-the-Fly Emendation of Multi-level Models (CA, RG, BK), pp. 194–209.

ICSE-2012-SongT12a #debugging #detection #metadata #on the fly

Detecting metadata bugs on the fly (MS, ET), pp. 1455–1456.

LDTA-2012-VieraSD

Grammar fragments fly first-class (MV, SDS, AD), p. 5.

DAC-2011-KinsmanN #configuration management #on the fly

Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.

HT-2011-WoenselCT #approach #on the fly

A generic approach for on-the-fly adding of context-aware features to existing websites (WVW, SC, ODT), pp. 143–152.

SIGMOD-2011-BaoDM #on the fly #recursion #workflow

Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.

CIAA-2011-CourcelleD

Fly-Automata, Their Properties and Applications (BC, ID), pp. 264–272.

HCI-ITE-2011-NautsDKC

Taking Turns in Flying with a Virtual Wingman (PN, WAvD, EK, AHMC), pp. 575–584.

QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.

ASPLOS-2011-ZhangJGTS #gpu #on the fly

On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.

ICST-2011-TsankovJOS #dynamic analysis #execution

Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.

VLDB-2010-FuscoSV #named #network #on the fly #streaming

Net-Fli: On-the-fly Compression, Archiving and Indexing of Streaming Network Traffic (FF, MPS, MV), pp. 1382–1393.

VLDB-2010-IoannouNNV #on the fly #query

On-the-Fly Entity-Aware Query Processing in the Presence of Linkage (EI, WN, CN, YV), pp. 429–438.

SEFM-2010-Giannakopoulou #quote #verification

“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.

CIKM-2010-FerraginaS #named #on the fly #wiki

TAGME: on-the-fly annotation of short text fragments (by wikipedia entities) (PF, US), pp. 1625–1628.

RecSys-2010-Diaz-AvilesGSN #on the fly

LDA for on-the-fly auto tagging (EDA, MG, AS, WN), pp. 309–312.

HPCA-2010-VujicGCRMA #on the fly

DMA++: on the fly data realignment for on-chip memories (NV, MG, FC, AR, XM, EA), pp. 1–12.

WICSA-ECSA-2009-SpalazzeseII #formal method #on the fly #towards

Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.

ICDAR-2009-KaeL #learning #on the fly #problem

Learning on the Fly: Font-Free Approaches to Difficult OCR Problems (AK, EGLM), pp. 571–575.

VLDB-2009-ChandramouliGM #detection #on the fly #query

On-the-fly Progress Detection in Iterative Stream Queries (BC, JG, DM), pp. 241–252.

ITiCSE-2009-RosslingL #algorithm #on the fly #visualisation

Visualizing compression algorithms on-the-fly (GR, FL), p. 376.

ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.

CHI-2009-LichtschlagKB #named

Fly: a tool to author planar presentations (LL, TK, JOB), pp. 547–556.

HCI-NIMT-2009-SaitoS #exclamation #locality

Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.

CADE-2009-GoreW #on the fly #satisfiability

An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.

SAT-2009-HanS #on the fly

On-the-Fly Clause Improvement (HH, FS), pp. 209–222.

ITiCSE-2008-Esponda #mobile #on the fly

Electronic voting on-the-fly with mobile devices (ME), pp. 93–97.

TACAS-2008-BakewellG #game studies #model checking #on the fly

On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.

ICEIS-ISAS2-2008-KiyomotoOT #automation #generative #on the fly #protocol #security

On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.

ASPLOS-2008-ShenZDLSZ #hardware #on the fly

Hardware counter driven on-the-fly request signatures (KS, MZ, SD, CL, CS, XZ), pp. 189–200.

DAC-2007-ShachamY #on the fly

On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.

DATE-2007-Botti #challenge #embedded #industrial

Flying embedded: the industrial scene and challenges for embedded systems in aeronautics and space (JB), p. 1246.

CIAA-2007-KleinB #automaton #on the fly

On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.

SAC-2007-NaiduPH #biology #database #integration #modelling #on the fly

On-the-fly data integration models for biological databases (PGN, MJP, SH), pp. 118–122.

COCV-2007-GallardoJM #analysis #data flow #on the fly #verification

On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.

SIGMOD-2006-KrishnamurthyWF #on the fly

On-the-fly sharing for streamed aggregation (SK, CW, MJF), pp. 623–634.

CIAA-2006-ChengWC #analysis #bisimulation #branch #composition #on the fly

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.

KDD-2006-PanGBXTF #automation #image #mining

Automatic mining of fruit fly embryo images (JYP, AGRB, EPX, AJMT, CF), pp. 693–698.

ASPLOS-2006-ChakrabortyWS #hardware #migration #on the fly

Computation spreading: employing hardware migration to specialize CMP cores on-the-fly (KC, PMW, GSS), pp. 283–292.

CAV-2006-KahlonGS #concurrent #model checking #on the fly #partial order #source code #transaction #using

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions (VK, AG, NS), pp. 286–299.

TestCom-2006-BouazizK #on the fly #realtime #testing

Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.

SIGMOD-2005-HeZC #named #on the fly #query #web

MetaQuerier: querying structured web sources on-the-fly (BH, ZZ, KCCC), pp. 927–929.

VLDB-2005-ZhangHC #database #on the fly #query #web

Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.

TACAS-2005-AlurCEM #detection #on the fly #reachability #recursion #state machine

On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.

TACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named #on the fly

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.

TACAS-2005-HammerKM #ltl #model checking #on the fly

Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.

TACAS-2005-SchwoonE #algorithm #on the fly #verification

A Note on On-the-Fly Verification Algorithms (SS, JE), pp. 174–190.

PLDI-2005-AletaCGK #on the fly

Demystifying on-the-fly spill code (AA, JMC, AG, DRK), pp. 180–189.

IFM-2005-Lang #composition #flexibility #on the fly #partial order #verification

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.

CC-2005-PazPBKR #on the fly #performance

An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.

ICLP-2005-NadathurL #higher-order #on the fly #unification

Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.

SAT-2005-Zhang #on the #on the fly

On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.

ASE-2004-WilliamsMM #c #generative #on the fly #testing

On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.

TACAS-2004-GeldenhuysV #algorithm #ltl #on the fly #performance #verification

Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient (JG, AV), pp. 205–219.

AdaEurope-2004-Nadrchal #on the fly #realtime #requirements

Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.

ICML-2004-MoralesS #behaviour #learning

Learning to fly by combining reinforcement learning with behavioural cloning (EFM, CS).

TACAS-2003-Mateescu #equation #on the fly

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.

WCRE-2003-GannodZM #integration #on the fly #web #web service

On-the-fly Wrapping of Web Services to Support Dynamic Integration (GCG, HZ, SVM), pp. 175–185.

ICML-2003-IsaacS #learning

Goal-directed Learning to Fly (AI, CS), pp. 258–265.

OOPSLA-2003-AzatchiLPP #garbage collection #on the fly

An on-the-fly mark and sweep garbage collector based on sliding views (HA, YL, HP, EP), pp. 269–281.

PPoPP-2003-PoznianskyS #c++ #concurrent #detection #multi #on the fly #performance #source code

Efficient on-the-fly data race detection in multihreaded C++ programs (EP, AS), pp. 179–190.

CAV-2003-Geilen #logic #on the fly #realtime

An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.

ASE-2002-KetfiBC #adaptation #on the fly

Adapting Applications on the Fly (AK, NB, PYC), p. 313.

ICML-2002-Stirling #learning

Learning to Fly by Controlling Dynamic Instabilities (DS), pp. 586–593.

SIGIR-2002-Hurst #authoring #on the fly

Indexing, searching, and retrieving of recorded live presentations with the AOF (authoring on the fly) search engine (WH), p. 447.

DATE-2001-MacchiaruloBM #generative #layout #on the fly

On-the-fly layout generation for PTL macrocells (LM, LB, EM), pp. 546–551.

CHI-2001-TanRC #3d #navigation

Exploring 3D navigation: combining speed-coupled flying with orbiting (DST, GGR, MC), pp. 418–425.

OOPSLA-2001-LevanoniP #garbage collection #java #on the fly

An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.

PLDI-2000-DomaniKP #garbage collection #java #on the fly

A generational on-the-fly garbage collector for Java (TD, EKK, EP), pp. 274–284.

ICML-2000-RyanR #learning

Learning to Fly: An Application of Hierarchical Reinforcement Learning (MRKR, MDR), pp. 807–814.

ISMM-2000-DomaniKLSBLLPY #garbage collection #implementation #java #on the fly

Implementing an On-the-Fly Garbage Collector for Java (TD, EKK, EL, EES, KB, IL, YL, EP, IY), pp. 155–166.

DATE-1999-SantosJ #equivalence #on the fly

Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.

FM-v1-1999-Couvreur #linear #logic #on the fly #verification

On-the-Fly Verification of Linear Temporal Logic (JMC), pp. 253–271.

FM-v1-1999-TripakisA #on the fly #synthesis

On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.

SIGAda-1999-BernsteinD #ada #on the fly #optimisation

Optimizing Ada on the fly (SJB, RSD), pp. 169–179.

CAV-1998-AbdullaBJ #analysis #bound #on the fly

On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (PAA, AB, BJ), pp. 305–318.

CAV-1998-BeerBL #model checking #on the fly

On-the-Fly Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.

CAV-1997-GyurisS #model checking #on the fly #symmetry

On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.

CAV-1996-FernandezJJV #generative #on the fly #testing #using #verification

Using On-The-Fly Verification Techniques for the Generation of test Suites (JCF, CJ, TJ, CV), pp. 348–359.

IWMM-1995-MaedaKITHN #garbage collection #on the fly

On-the-fly Global Garbage Collection Based on Partly Mark-Sweep (MM, HK, YI, TT, AH, JN), pp. 283–296.

LICS-1995-BhatCG #model checking #on the fly #performance

Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.

SAS-1994-MuellerW #analysis #behaviour #on the fly #performance #simulation

Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.

CAV-1994-Peled #model checking #on the fly #partial order #reduction

Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.

CAV-1993-Valmari #on the fly #set #verification

On-the-Fly Verification with Stubborn Sets (AV), pp. 397–408.

ML-1992-SammutHKM #learning

Learning to Fly (CS, SH, DK, DM), pp. 385–393.

HT-1991-LaiM #hypermedia

Flying Through Hypertext (PL, UM), pp. 123–132.

ASPLOS-1991-Keppel #interface #on the fly

A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.

CAV-1991-FernandezM #behaviour #on the fly #verification

“On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.

CAV-1991-JardJ #algorithm #bound #on the fly #verification

Bounded-memory Algorithms for Verification On-the-fly (CJ, TJ), pp. 192–202.

PLDI-1989-Schonberg #detection #on the fly

On-The-Fly Detection of Access Anomalies (ES), pp. 285–297.

Best-of-PLDI-1989-Schonberg89a #detection #on the fly

On-the-fly detection of access anomalies (with retrospective) (ES), pp. 313–327.

VLDB-1985-Pu #consistency #database #incremental #on the fly

On-the-Fly, Incremental, Consistent Reading of Entire Databases (CP), pp. 369–375.

ICALP-1982-Ben-Ari #algorithm #garbage collection #on the fly #proving

On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.

ICSE-1976-Fabry #design #how #on the fly

How to Design a System in Which Modules Can Be Changed on the Fly (RSF), pp. 470–476.