BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
on the fly
Google on the fly

Tag #on the fly

112 papers:

MoDELSMoDELS-2019-SanchezZRKP #execution #modelling #query
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models (BS0, AZ, HHR, DSK, RFP), pp. 205–215.
OOPSLAOOPSLA-2019-MiltnerGLLRSTU #on the #synthesis
On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.
CAVCAV-2019-Siegel #partial order #reduction #what
What's Wrong with On-the-Fly Partial Order Reduction (SFS), pp. 478–495.
FSEFSE-2016-Apel0MMS #composition #model checking #specification
On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.
ICTSSICTSS-2016-YevtushenkoEE #adaptation #implementation #nondeterminism #sequence #specification #testing
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications (NY, KEF, AE), pp. 139–152.
CIKMCIKM-2015-JeongKL #using
A Flash-aware Buffering Scheme using On-the-fly Redo (KSJ, SWK, SL), pp. 1683–1686.
PLDIPLDI-2015-GammieHE #garbage collection
Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.
ICSEICSE-v2-2015-WuestSG #collaboration #sketching
FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly (DW, NS, MG), pp. 685–688.
ASPLOSASPLOS-2015-KimKSZX #comparison #execution #fine-grained
Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
ASPLOSASPLOS-2015-ZhaoS #automaton #parallel
On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
DATEDATE-2015-KobbeBH #adaptation #modelling #performance
Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATEDATE-2015-YangRMDV #embedded #framework #generative #platform #random #testing
Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
FASEFASE-2015-BrennerGS #distributed #specification #synthesis
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
SIGMODSIGMOD-2014-AugstenM0K #database #relational #similarity
On-the-fly token similarity joins in relational databases (NA, AM, TN, AK), pp. 1495–1506.
KDDKDD-2014-BadanidiyuruMKK #streaming #summary
Streaming submodular maximization: massive data summarization on the fly (AB, BM, AK, AK), pp. 671–680.
ISMMISMM-2014-UgawaJR #garbage collection
Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.
TACASTACAS-2014-WijsB #manycore #named #using
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
CBSECBSE-2013-PlateniusDBSE #fuzzy #overview
A survey of fuzzy service matching approaches in the context of on-the-fly computing (MCP, MvD, SB, WS, GE), pp. 143–152.
HTHT-2013-MarieCGR #linked data #open data
Composite interests’ exploration thanks to on-the-fly linked data spreading activation (NM, OC, FG, MR), pp. 31–40.
RecSysRecSys-2013-WangHZL #collaboration #multi #online #recommendation
Online multi-task collaborative filtering for on-the-fly recommender systems (JW, SCHH, PZ, ZL), pp. 237–244.
OOPSLAOOPSLA-2013-BaoZ #detection #execution #float #problem
On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.
OOPSLAOOPSLA-2013-MitchellS #capacity
On-the-fly capacity planning (NM, PFS), pp. 849–866.
ESEC-FSEESEC-FSE-2013-Platenius #fuzzy
Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.
DATEDATE-2013-FreitasRS #concurrent #consistency #memory management #verification
On-the-fly verification of memory consistency with concurrent relaxed scoreboards (LSF, EAR, LCVdS), pp. 631–636.
TACASTACAS-2013-BacciBLM #similarity
On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
ICALPICALP-v2-2012-KrystaV #design #online #random
Online Mechanism Design (Randomized Rounding on the Fly) (PK, BV), pp. 636–647.
ECMFAECMFA-2012-AtkinsonGK #modelling #multi
On-the-Fly Emendation of Multi-level Models (CA, RG, BK), pp. 194–209.
ICSEICSE-2012-SongT12a #debugging #detection #metadata
Detecting metadata bugs on the fly (MS, ET), pp. 1455–1456.
DACDAC-2012-ZhaoF #performance #simulation #towards
Towards efficient SPICE-accurate nonlinear circuit simulation with on-the-fly support-circuit preconditioners (XZ, ZF), pp. 1119–1124.
DATEDATE-2012-VeljkovicRV #generative #implementation #low cost #random #testing
Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.
STOCSTOC-2012-Lopez-AltTV #encryption #multi
On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption (ALA, ET, VV), pp. 1219–1234.
HTHT-2011-WoenselCT #approach
A generic approach for on-the-fly adding of context-aware features to existing websites (WVW, SC, ODT), pp. 143–152.
SIGMODSIGMOD-2011-BaoDM #recursion #workflow
Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.
QAPLQAPL-2011-AndreychenkoCW #infinity #markov #modelling
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.
ASPLOSASPLOS-2011-ZhangJGTS #gpu
On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.
DACDAC-2011-KinsmanN #configuration management
Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.
VLDBVLDB-2010-FuscoSV #named #network #streaming
Net-Fli: On-the-fly Compression, Archiving and Indexing of Streaming Network Traffic (FF, MPS, MV), pp. 1382–1393.
VLDBVLDB-2010-IoannouNNV #query
On-the-Fly Entity-Aware Query Processing in the Presence of Linkage (EI, WN, CN, YV), pp. 429–438.
CIKMCIKM-2010-FerraginaS #named #wiki
TAGME: on-the-fly annotation of short text fragments (by wikipedia entities) (PF, US), pp. 1625–1628.
RecSysRecSys-2010-Diaz-AvilesGSN
LDA for on-the-fly auto tagging (EDA, MG, AS, WN), pp. 309–312.
HPCAHPCA-2010-VujicGCRMA
DMA++: on the fly data realignment for on-chip memories (NV, MG, FC, AR, XM, EA), pp. 1–12.
WICSA-ECSAWICSA-ECSA-2009-SpalazzeseII #formal method #towards
Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.
ICDARICDAR-2009-KaeL #learning #problem
Learning on the Fly: Font-Free Approaches to Difficult OCR Problems (AK, EGLM), pp. 571–575.
VLDBVLDB-2009-ChandramouliGM #detection #query
On-the-fly Progress Detection in Iterative Stream Queries (BC, JG, DM), pp. 241–252.
ITiCSEITiCSE-2009-RosslingL #algorithm #visualisation
Visualizing compression algorithms on-the-fly (GR, FL), p. 376.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
CADECADE-2009-GoreW #satisfiability
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
ICSTSAT-2009-HanS
On-the-Fly Clause Improvement (HH, FS), pp. 209–222.
ITiCSEITiCSE-2008-Esponda #mobile
Electronic voting on-the-fly with mobile devices (ME), pp. 93–97.
ICEISICEIS-ISAS2-2008-KiyomotoOT #automation #generative #protocol #security
On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
ASPLOSASPLOS-2008-ShenZDLSZ #hardware
Hardware counter driven on-the-fly request signatures (KS, MZ, SD, CL, CS, XZ), pp. 189–200.
TACASTACAS-2008-BakewellG #game studies #model checking
On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
CIAACIAA-2007-KleinB #automaton
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.
SACSAC-2007-NaiduPH #biology #database #integration #modelling
On-the-fly data integration models for biological databases (PGN, MJP, SH), pp. 118–122.
COCVCOCV-2007-GallardoJM #analysis #data flow #verification
On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
DACDAC-2007-ShachamY
On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.
PDPPDP-2007-TudrujM #clustering #communication #matrix #parallel
Dynamic SMP Clusters with Communication on the Fly in SoC Technology Applied for Medium-Grain Parallel Matrix Multiplication (MT, LM), pp. 270–277.
SIGMODSIGMOD-2006-KrishnamurthyWF
On-the-fly sharing for streamed aggregation (SK, CW, MJF), pp. 623–634.
CIAACIAA-2006-ChengWC #analysis #bisimulation #branch #composition
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.
ASPLOSASPLOS-2006-ChakrabortyWS #hardware #migration
Computation spreading: employing hardware migration to specialize CMP cores on-the-fly (KC, PMW, GSS), pp. 283–292.
CAVCAV-2006-KahlonGS #concurrent #model checking #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.
ICTSSTestCom-2006-BouazizK #realtime #testing
Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.
SIGMODSIGMOD-2005-HeZC #named #query #web
MetaQuerier: querying structured web sources on-the-fly (BH, ZZ, KCCC), pp. 927–929.
VLDBVLDB-2005-ZhangHC #database #query #web
Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.
IFMIFM-2005-Lang #composition #flexibility #partial order #verification
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.
PLDIPLDI-2005-AletaCGK
Demystifying on-the-fly spill code (AA, JMC, AG, DRK), pp. 180–189.
CCCC-2005-PazPBKR #performance
An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.
TACASTACAS-2005-AlurCEM #detection #reachability #recursion #state machine
On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.
TACASTACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.
TACASTACAS-2005-HammerKM #ltl #model checking
Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.
TACASTACAS-2005-SchwoonE #algorithm #verification
A Note on On-the-Fly Verification Algorithms (SS, JE), pp. 174–190.
ICLPICLP-2005-NadathurL #higher-order #unification
Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.
ICSTSAT-2005-Zhang #on the
On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.
AdaEuropeAdaEurope-2004-Nadrchal #realtime #requirements
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.
ASEASE-2004-WilliamsMM #c #generative #testing
On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.
TACASTACAS-2004-GeldenhuysV #algorithm #ltl #performance #verification
Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient (JG, AV), pp. 205–219.
WCREWCRE-2003-GannodZM #integration #web #web service
On-the-fly Wrapping of Web Services to Support Dynamic Integration (GCG, HZ, SVM), pp. 175–185.
OOPSLAOOPSLA-2003-AzatchiLPP #garbage collection
An on-the-fly mark and sweep garbage collector based on sliding views (HA, YL, HP, EP), pp. 269–281.
PDPPDP-2003-TudrujM #clustering #communication #configuration management #execution
Communication on the Fly and Program Execution Control in a System of Dynamically Configurable SMP Clusters (MT, LM), pp. 67–74.
PPoPPPPoPP-2003-PoznianskyS #c++ #concurrent #detection #multi #performance #source code
Efficient on-the-fly data race detection in multihreaded C++ programs (EP, AS), pp. 179–190.
TACASTACAS-2003-Mateescu #equation
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.
CAVCAV-2003-Geilen #logic #realtime
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.
SIGIRSIGIR-2002-Hurst #authoring
Indexing, searching, and retrieving of recorded live presentations with the AOF (authoring on the fly) search engine (WH), p. 447.
ASEASE-2002-KetfiBC #adaptation
Adapting Applications on the Fly (AK, NB, PYC), p. 313.
OOPSLAOOPSLA-2001-LevanoniP #garbage collection #java
An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.
DATEDATE-2001-MacchiaruloBM #generative #layout
On-the-fly layout generation for PTL macrocells (LM, LB, EM), pp. 546–551.
PLDIPLDI-2000-DomaniKP #garbage collection #java
A generational on-the-fly garbage collector for Java (TD, EKK, EP), pp. 274–284.
ISMMISMM-2000-DomaniKLSBLLPY #garbage collection #implementation #java
Implementing an On-the-Fly Garbage Collector for Java (TD, EKK, EL, EES, KB, IL, YL, EP, IY), pp. 155–166.
FMFM-v1-1999-Couvreur #linear #logic #verification
On-the-Fly Verification of Linear Temporal Logic (JMC), pp. 253–271.
FMFM-v1-1999-TripakisA #synthesis
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.
AdaSIGAda-1999-BernsteinD #ada #optimisation
Optimizing Ada on the fly (SJB, RSD), pp. 169–179.
DATEDATE-1999-SantosJ #equivalence
Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.
CAVCAV-1998-AbdullaBJ #analysis #bound
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (PAA, AB, BJ), pp. 305–318.
CAVCAV-1998-BeerBL #model checking
On-the-Fly Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.
TPDLECDL-1997-DartoisSSTMF #approach #documentation #encapsulation #multi #set
Building a Multi-lingual Electronic Text Collection of Folk Tales as a Set of Encapsulated Document Objects: An Approach for Casual Users to Browse Multi-lingual Documents on the Fly (MD, AM, TF, TS, SS, KT), pp. 215–231.
CAVCAV-1997-GyurisS #model checking #symmetry
On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.
CAVCAV-1996-FernandezJJV #generative #testing #using #verification
Using On-The-Fly Verification Techniques for the Generation of test Suites (JCF, CJ, TJ, CV), pp. 348–359.
DL-1995-AdarH #image
On-the-fly Hyperlink Creation for Page Images (EA, JH).
ISMMIWMM-1995-MaedaKITHN #garbage collection
On-the-fly Global Garbage Collection Based on Partly Mark-Sweep (MM, HK, YI, TT, AH, JN), pp. 283–296.
LICSLICS-1995-BhatCG #model checking #performance
Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.
SASSAS-1994-MuellerW #analysis #behaviour #performance #simulation
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
CAVCAV-1994-Peled #model checking #partial order #reduction
Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
CAVCAV-1993-Valmari #set #verification
On-the-Fly Verification with Stubborn Sets (AV), pp. 397–408.
ASPLOSASPLOS-1991-Keppel #interface
A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.
CAVCAV-1991-FernandezM #behaviour #verification
“On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.
CAVCAV-1991-JardJ #algorithm #bound #verification
Bounded-memory Algorithms for Verification On-the-fly (CJ, TJ), pp. 192–202.
PLDIPLDI-1989-Schonberg #detection
On-The-Fly Detection of Access Anomalies (ES), pp. 285–297.
PLDIBest-of-PLDI-1989-Schonberg89a #detection
On-the-fly detection of access anomalies (with retrospective) (ES), pp. 313–327.
VLDBVLDB-1985-Pu #consistency #database #incremental
On-the-Fly, Incremental, Consistent Reading of Entire Databases (CP), pp. 369–375.
ICALPICALP-1982-Ben-Ari #algorithm #garbage collection #proving
On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.
ICSEICSE-1976-Fabry #design #how
How to Design a System in Which Modules Can Be Changed on the Fly (RSF), pp. 470–476.

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.