Tag #on the fly
112 papers:
MoDELS-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.
OOPSLA-2019-MiltnerGLLRSTU #on the #synthesis- On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.
CAV-2019-Siegel #partial order #reduction #what- What's Wrong with On-the-Fly Partial Order Reduction (SFS), pp. 478–495.
FSE-2016-Apel0MMS #composition #model checking #specification- On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.
ICTSS-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.
CIKM-2015-JeongKL #using- A Flash-aware Buffering Scheme using On-the-fly Redo (KSJ, SWK, SL), pp. 1683–1686.
PLDI-2015-GammieHE #garbage collection- Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.
ICSE-v2-2015-WuestSG #collaboration #sketching- FLEXISKETCH TEAM: Collaborative Sketching and Notation Creation on the Fly (DW, NS, MG), pp. 685–688.
ASPLOS-2015-KimKSZX #comparison #execution #fine-grained- Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
- ASPLOS-2015-ZhaoS #automaton #parallel
- On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
DATE-2015-KobbeBH #adaptation #modelling #performance- Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
- DATE-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.
FASE-2015-BrennerGS #distributed #specification #synthesis- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.
SIGMOD-2014-AugstenM0K #database #relational #similarity- On-the-fly token similarity joins in relational databases (NA, AM, TN, AK), pp. 1495–1506.
KDD-2014-BadanidiyuruMKK #streaming #summary- Streaming submodular maximization: massive data summarization on the fly (AB, BM, AK, AK), pp. 671–680.
ISMM-2014-UgawaJR #garbage collection- Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.
TACAS-2014-WijsB #manycore #named #using- GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs (AW, DB), pp. 233–247.
CBSE-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.
HT-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.
RecSys-2013-WangHZL #collaboration #multi #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 #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 capacity planning (NM, PFS), pp. 849–866.
ESEC-FSE-2013-Platenius #fuzzy- Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.
- DATE-2013-FreitasRS #concurrent #consistency #memory management #verification
- On-the-fly verification of memory consistency with concurrent relaxed scoreboards (LSF, EAR, LCVdS), pp. 631–636.
- TACAS-2013-BacciBLM #similarity
- On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
ICALP-v2-2012-KrystaV #design #online #random- Online Mechanism Design (Randomized Rounding on the Fly) (PK, BV), pp. 636–647.
ECMFA-2012-AtkinsonGK #modelling #multi- On-the-Fly Emendation of Multi-level Models (CA, RG, BK), pp. 194–209.
- ICSE-2012-SongT12a #debugging #detection #metadata
- Detecting metadata bugs on the fly (MS, ET), pp. 1455–1456.
DAC-2012-ZhaoF #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 #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 multiparty computation on the cloud via multikey fully homomorphic encryption (ALA, ET, VV), pp. 1219–1234.
- HT-2011-WoenselCT #approach
- A generic approach for on-the-fly adding of context-aware features to existing websites (WVW, SC, ODT), pp. 143–152.
- SIGMOD-2011-BaoDM #recursion #workflow
- Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.
QAPL-2011-AndreychenkoCW #infinity #markov #modelling- On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.
- ASPLOS-2011-ZhangJGTS #gpu
- On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.
- DAC-2011-KinsmanN #configuration management
- Dynamic binary translation to a reconfigurable target for on-the-fly acceleration (PK, NN), pp. 286–287.
VLDB-2010-FuscoSV #named #network #streaming- Net-Fli: On-the-fly Compression, Archiving and Indexing of Streaming Network Traffic (FF, MPS, MV), pp. 1382–1393.
- VLDB-2010-IoannouNNV #query
- On-the-Fly Entity-Aware Query Processing in the Presence of Linkage (EI, WN, CN, YV), pp. 429–438.
- CIKM-2010-FerraginaS #named #wiki
- TAGME: on-the-fly annotation of short text fragments (by wikipedia entities) (PF, US), pp. 1625–1628.
- RecSys-2010-Diaz-AvilesGSN
- LDA for on-the-fly auto tagging (EDA, MG, AS, WN), pp. 309–312.
HPCA-2010-VujicGCRMA - 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 #towards- Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.
ICDAR-2009-KaeL #learning #problem- Learning on the Fly: Font-Free Approaches to Difficult OCR Problems (AK, EGLM), pp. 571–575.
- VLDB-2009-ChandramouliGM #detection #query
- On-the-fly Progress Detection in Iterative Stream Queries (BC, JG, DM), pp. 241–252.
ITiCSE-2009-RosslingL #algorithm #visualisation- Visualizing compression algorithms on-the-fly (GR, FL), p. 376.
- MoDELS-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.
- MoDELS-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.
CADE-2009-GoreW #satisfiability- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
SAT-2009-HanS - On-the-Fly Clause Improvement (HH, FS), pp. 209–222.
- ITiCSE-2008-Esponda #mobile
- Electronic voting on-the-fly with mobile devices (ME), pp. 93–97.
ICEIS-ISAS2-2008-KiyomotoOT #automation #generative #protocol #security- On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
- ASPLOS-2008-ShenZDLSZ #hardware
- Hardware counter driven on-the-fly request signatures (KS, MZ, SD, CL, CS, XZ), pp. 189–200.
- TACAS-2008-BakewellG #game studies #model checking
- On-the-Fly Techniques for Game-Based Software Model Checking (AB, DRG), pp. 78–92.
CIAA-2007-KleinB #automaton- 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 data integration models for biological databases (PGN, MJP, SH), pp. 118–122.
COCV-2007-GallardoJM #analysis #data flow #verification- On-the-Fly Data Flow Analysis Based on Verification Technology (MdMG, CJ, PM), pp. 33–48.
- DAC-2007-ShachamY
- On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.
PDP-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.
- SIGMOD-2006-KrishnamurthyWF
- On-the-fly sharing for streamed aggregation (SK, CW, MJF), pp. 623–634.
- CIAA-2006-ChengWC #analysis #bisimulation #branch #composition
- On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.
- ASPLOS-2006-ChakrabortyWS #hardware #migration
- Computation spreading: employing hardware migration to specialize CMP cores on-the-fly (KC, PMW, GSS), pp. 283–292.
- CAV-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.
- TestCom-2006-BouazizK #realtime #testing
- Symbolic and on the Fly Testing with Real-Time Observers (RB, OK), pp. 306–323.
- SIGMOD-2005-HeZC #named #query #web
- MetaQuerier: querying structured web sources on-the-fly (BH, ZZ, KCCC), pp. 927–929.
- VLDB-2005-ZhangHC #database #query #web
- Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.
IFM-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.
- PLDI-2005-AletaCGK
- Demystifying on-the-fly spill code (AA, JMC, AG, DRK), pp. 180–189.
CC-2005-PazPBKR #performance- An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.
- TACAS-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.
- TACAS-2005-BergaminiDJM #bisimulation #composition #equivalence #named
- BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking (DB, ND, CJ, RM), pp. 581–585.
- TACAS-2005-HammerKM #ltl #model checking
- Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.
- TACAS-2005-SchwoonE #algorithm #verification
- A Note on On-the-Fly Verification Algorithms (SS, JE), pp. 174–190.
ICLP-2005-NadathurL #higher-order #unification- Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.
- SAT-2005-Zhang #on the
- On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.
AdaEurope-2004-Nadrchal #realtime #requirements- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.
ASE-2004-WilliamsMM #c #generative #testing- On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.
- TACAS-2004-GeldenhuysV #algorithm #ltl #performance #verification
- Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient (JG, AV), pp. 205–219.
WCRE-2003-GannodZM #integration #web #web service- On-the-fly Wrapping of Web Services to Support Dynamic Integration (GCG, HZ, SVM), pp. 175–185.
- OOPSLA-2003-AzatchiLPP #garbage collection
- An on-the-fly mark and sweep garbage collector based on sliding views (HA, YL, HP, EP), pp. 269–281.
- PDP-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.
PPoPP-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.
- TACAS-2003-Mateescu #equation
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.
- CAV-2003-Geilen #logic #realtime
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic (MG), pp. 394–406.
SIGIR-2002-Hurst #authoring- Indexing, searching, and retrieving of recorded live presentations with the AOF (authoring on the fly) search engine (WH), p. 447.
- ASE-2002-KetfiBC #adaptation
- Adapting Applications on the Fly (AK, NB, PYC), p. 313.
- OOPSLA-2001-LevanoniP #garbage collection #java
- An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.
- DATE-2001-MacchiaruloBM #generative #layout
- On-the-fly layout generation for PTL macrocells (LM, LB, EM), pp. 546–551.
- PLDI-2000-DomaniKP #garbage collection #java
- A generational on-the-fly garbage collector for Java (TD, EKK, EP), pp. 274–284.
- ISMM-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.
FM-v1-1999-Couvreur #linear #logic #verification- On-the-Fly Verification of Linear Temporal Logic (JMC), pp. 253–271.
- FM-v1-1999-TripakisA #synthesis
- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems (ST, KA), pp. 233–252.
SIGAda-1999-BernsteinD #ada #optimisation- Optimizing Ada on the fly (SJB, RSD), pp. 169–179.
- DATE-1999-SantosJ #equivalence
- Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation (LCVdS, JAGJ), p. 609–?.
- CAV-1998-AbdullaBJ #analysis #bound
- 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 Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.
ECDL-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.
- CAV-1997-GyurisS #model checking #symmetry
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.
- CAV-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).
- IWMM-1995-MaedaKITHN #garbage collection
- 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 #performance- Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.
SAS-1994-MuellerW #analysis #behaviour #performance #simulation- Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
- CAV-1994-Peled #model checking #partial order #reduction
- Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
- CAV-1993-Valmari #set #verification
- On-the-Fly Verification with Stubborn Sets (AV), pp. 397–408.
- ASPLOS-1991-Keppel #interface
- A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.
- CAV-1991-FernandezM #behaviour #verification
- “On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.
- CAV-1991-JardJ #algorithm #bound #verification
- Bounded-memory Algorithms for Verification On-the-fly (CJ, TJ), pp. 192–202.
- PLDI-1989-Schonberg #detection
- On-The-Fly Detection of Access Anomalies (ES), pp. 285–297.
- Best-of-PLDI-1989-Schonberg89a #detection
- On-the-fly detection of access anomalies (with retrospective) (ES), pp. 313–327.
- VLDB-1985-Pu #consistency #database #incremental
- On-the-Fly, Incremental, Consistent Reading of Entire Databases (CP), pp. 369–375.
- ICALP-1982-Ben-Ari #algorithm #garbage collection #proving
- On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.
- ICSE-1976-Fabry #design #how
- How to Design a System in Which Modules Can Be Changed on the Fly (RSF), pp. 470–476.
