Search results for "On-The-Fly"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Tamar Domani, Elliot K. Kolodner, Erez Petrank	A generational on-the-fly garbage collector for Java.	PLDI	2000	DBLP DOI BibTeX RDF	programming languages, garbage collection, memory management, generational garbage collection
54	Yuichiro Hayashi, Kensaku Mori, Jun-ichi Hasegawa, Yasuhito Suenaga, Jun-ichiro Toriwaki	A Method for Detecting Undisplayed Regions in Virtual Colonoscopy and Its Application to Quantitative Evaluation of Fly-Through Methods.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
48	Thomas Wrensch, Jonathan Schifman	An introduction to fly: a smaller smalltalk.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	fly, hosted development, embedded systems, smalltalk, class libraries
48	Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank	An on-the-fly mark and sweep garbage collector based on sliding views.	OOPSLA	2003	DBLP DOI BibTeX RDF	on-the-fly garbage collection, garbage collection, memory management, runtime systems, concurrent garbage collection
42	R. M. Muthukumar, D. Janakiram	Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	on-the-fly garbage collection, Java, programming languages, Garbage collection, memory management, Java virtual machine
42	Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen	Checking safety properties on-the-fly with the sweep-line method.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Sweep-line method, On-the-fly model checking, Datagram Congestion Control Protocol
42	Luuk Groenewegen, Erik P. de Vink	Evolution On-the-Fly with Paradigm.	COORDINATION	2006	DBLP DOI BibTeX RDF	evolution on-the-fly, dynamic consistency, software architecture, migration, self-adaptation, Paradigm
42	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
42	Tamar Domani, Elliot K. Kolodner, Ethan Lewis, Eliot E. Salant, Katherine Barabash, Itai Lahan, Yossi Levanoni, Erez Petrank, Igor Yanover	Implementing an On-the-Fly Garbage Collector for Java.	ISMM	2000	DBLP DOI BibTeX RDF	on-the-fly garbage collection, Java, Java, programming languages, garbage collection, memory management, concurrent garbage collection
42	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities
42	David Szczesny, Sebastian Hessel, Felix Bruns, Attila Bilgic	On-the-fly hardware acceleration for protocol stack processing in next generation mobile devices.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	embedded systems, real-time, hardware acceleration, virtual prototyping, hardware/software co-design, LTE, DMA
42	Radu Mateescu 0001	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
41	Chauncey F. Graetzel, Vasco Medici, Nicola Rohrseitz, Bradley J. Nelson, Steven N. Fry	The Cyborg Fly: A biorobotic platform to investigate dynamic coupling effects between a fruit fly and a robot.	IROS	2008	DBLP DOI BibTeX RDF
38	Mikkel Fly Kragh, Jens Rimestad, Jacob Theilgaard Lassen, Jørgen Berntsen, Henrik Karstoft	Predicting Embryo Viability Based on Self-Supervised Alignment of Time-Lapse Videos.	IEEE Trans. Medical Imaging	2022	DBLP DOI BibTeX RDF
38	Jacob Theilgaard Lassen, Mikkel Fly Kragh, Jens Rimestad, Martin Nygård Johansen, Jørgen Berntsen	Development and validation of deep learning based embryo selection across multiple days of transfer.	CoRR	2022	DBLP DOI BibTeX RDF
38	Jørgen Berntsen, Jens Rimestad, Jacob Theilgaard Lassen, Dang Tran, Mikkel Fly Kragh	Robust and generalizable embryo selection based on artificial intelligence and time-lapse image sequences.	CoRR	2021	DBLP BibTeX RDF
38	Kasper Rodil, Michelle Fly, Katrine Tranegaard Sigmer, Nikolaj Løvig	An Investigation of Dissemination and Retention of Non-verbal Information About the Cultural Heritage of Rock Art in a Virtual Reality Simulation.	MIS4TEL	2021	DBLP DOI BibTeX RDF
38	Peter Hviid Christiansen, Mikkel Fly Kragh, Yury Brodskiy, Henrik Karstoft	UnsuperPoint: End-to-end Unsupervised Interest Point Detector and Descriptor.	CoRR	2019	DBLP BibTeX RDF
38	Mikkel Fly Kragh, Jens Rimestad, Jørgen Berntsen, Henrik Karstoft	Automatic grading of human blastocysts from time-lapse imaging.	Comput. Biol. Medicine	2019	DBLP DOI BibTeX RDF
38	Sadaf Farkhani, Mikkel Fly Kragh, Peter Hviid Christiansen, Rasmus Nyholm Jørgensen, Henrik Karstoft	Sparse-to-Dense Depth Completion in Precision Farming.	ICVISP	2019	DBLP DOI BibTeX RDF
38	Jens Emil Grønbæk, Christine Linding Nielsen, Anders Kromann, Thomas Fly Hylddal Jensen, Marianne Graves Petersen	Proxemics Play: Exploring the Interplay between Mobile Devices and Interiors.	Conference on Designing Interactive Systems (Companion Volume)	2019	DBLP DOI BibTeX RDF
38	Robert Fly	Detecting Fraud on Websites.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF
38	Takeo Hamada, Stephanie Hogg, Jarno Rajahalme, Carlo Licciardi, Lill Kristiansen, Per Fly Hansen	Service quality in TINA: quality of service trading in open network architecture.	IEEE Commun. Mag.	1998	DBLP DOI BibTeX RDF
38	Juan Carlos Garcìa, Per Fly Hansen	Federation in TINA.	IS&N	1998	DBLP DOI BibTeX RDF
38	Takeo Hamada, Stephanie Hogg, Jarno Rajahalme, Carlo Licciardi, Lill Kristiansen, Per Fly Hansen	Service quality in TINA-quality of service trading in open network architecture.	EDOC	1997	DBLP DOI BibTeX RDF	TINA service architecture, quality of service trading, open network architecture, enterprise level QoS issues, QoS evolution paths, TINA stream binding, soft stream quality guarantee, progressive service quality evolution, open systems, resource reservation, service quality
37	Milos D. Ercegovac, Tomás Lang	Radix-4 Square Root Without Initial PLA.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	redundant result, on-the-fly rounding, radix-4 square-root algorithm, redundant residual, on-the-fly conversion, result-digit selection, digital arithmetic, division, number theory, logic arrays
36	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
36	Keita Takahashi 0001, Takeshi Naemura	Unstructured light field rendering using on-the-fly focus measurement.	ICME	2005	DBLP DOI BibTeX RDF	interactive frame-rate, unstructured camera, light field rendering, on-the-fly focus measurement, IBR method, image-based rendering
36	Christiane Frougny	On-the-Fly Algorithms and Sequential Machines.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	On-the-fly algorithm, digit set conversion, sequential machine
36	Christiane Frougny	On-the-Fly Algorithms and Sequential Machines.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	on-the-fly algorithms, subsequential finite state machine, on-line arithmetic
36	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
36	Kai Shen, Ming Zhong 0006, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart, Xiao Zhang	Hardware counter driven on-the-fly request signatures.	ASPLOS	2008	DBLP DOI BibTeX RDF	operating system adaptation, request classification, server system, anomaly detection, hardware counter
36	Christophe Joubert, Radu Mateescu 0001	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
36	Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo	A Practical Method for On-the-Fly Data Race Detection.	PARA	2002	DBLP DOI BibTeX RDF
36	Chun Hok Ho, Philip Heng Wai Leong, Kuen Hung Tsoi, Ralf Ludewig, Peter Zipf, Alberto García Ortiz, Manfred Glesner	Fly - A Modifiable Hardware Compiler.	FPL	2002	DBLP DOI BibTeX RDF
36	Ilan Beer, Shoham Ben-David, Avner Landver	On-the-Fly Model Checking of RCTL Formulas.	CAV	1998	DBLP DOI BibTeX RDF
31	Jia Mei, Huaikou Miao, Pan Liu	A Novel Approach for On-the-Fly Test Cases Synthesis.	SNPD	2009	DBLP DOI BibTeX RDF	synchronous product, test cases synthesis, state-explosion, On-The-Fly
31	Dejan Perkovic, Peter J. Keleher	A Protocol-Centric Approach to on-the-Fly Race Detection.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	shared memory, DSM, Data races, on-the-fly
30	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
30	Jean Louchet, Emmanuel Sapin	Flies Open a Door to SLAM.	EvoWorkshops	2009	DBLP DOI BibTeX RDF	Fly algorithm, Parisian evolution, image registration, Evolutionary robotics, SLAM, robot vision
30	Angel Pérez de Madrid, P. Ruipérez, Miguel Romero 0003, Carolina Mañoso, Roberto Hernández	Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft.	EUROCAST	2007	DBLP DOI BibTeX RDF	VTOL, Tiltwings, Tiltrotors, Fly-by-wire, Control systems, Remote control, Flight simulation, Computer tools
30	Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani	Checking Timed Büchi Automata Emptiness Efficiently.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	on-the fly verification, timed automata, symbolic model-checking, verification tools
30	Henrik C. Bohnenkamp, Axel Belinfante	Timed Testing with TorX.	FM	2005	DBLP DOI BibTeX RDF	Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
30	Emmanuel Cecchet	Whoops! : A Clustered Web Cache for DSM Systems using Memory Mapped Networks.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	memory mapped network, TCP handoff, on the fly compression, cluster, web cache, DSM, SCI
30	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
30	Jin Yang, Aloysius K. Mok, Douglas A. Stuart	A new generation modechart verifie.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction
30	Rui Xu, Jihong Tian	Stabilization of Fly Ash from Municipal Incinerators.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	solid waste, fly ash, component, pollution
30	Haiying Zhang, Youcai Zhao	Study on Physicochemical Characteristics of Municipal Solid Waste Incineration (MSWI) Fly Ash.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	MSWI fly ash, physicochemical characteristics, radical content, mineral content, microstructure
30	Yongshan Wei, Yanbo Han, Feng Zhang, Zhonglin Sun, Xin Chen	A Convergent Data Model for On-the-Fly Integration of Net Information Resources.	GCC	2009	DBLP DOI BibTeX RDF	Information Resource Virtualization, Information Resource Convergence Model, On-the-fly Resource Convergence, Situational Application, Information Integration
30	Xinguo Yu, Xin Yan 0001, Liyuan Li, Hon Wai Leong	An instant semantics acquisition system of live soccer video with application to live event alert and on-the-fly language selection.	CIVR	2008	DBLP DOI BibTeX RDF	Gamelog, icon-based input, instant semantics acquisition, live event alert, on-the-fly language selection, sports video
30	Jeong-Si Kim, Yong-Kee Jun	Scalable On-the-fly Detection of the First Races in Parallel Programs.	International Conference on Supercomputing	1998	DBLP DOI BibTeX RDF	first race, on-the-fly analysis, scalability, parallel programming, debugging, race detection
30	Leonhard Lichtschlag, Thorsten Karrer, Jan O. Borchers	Fly: a tool to author planar presentations.	CHI	2009	DBLP DOI BibTeX RDF	planar user interfaces, slideware, authoring, zoomable user interfaces, presentation software
30	Masahiko Yoda, Akifumi Momose, Kazuhisa Yanaka	Moving integral photography using a common digital photo frame and fly's eye lens.	SIGGRAPH ASIA Posters	2009	DBLP DOI BibTeX RDF
30	Marek Tudruj, Lukasz Masko	Dynamic SMP Clusters with Communication on the Fly in SoC Technology Applied for Medium-Grain Parallel Matrix Multiplication.	PDP	2007	DBLP DOI BibTeX RDF
30	M. Sabry Hassouna, Aly A. Farag, Robert Falk	Virtual Fly-Over: A New Visualization Technique for Virtual Colonoscopy.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
30	Alex Aletà, Josep M. Codina, Antonio González 0001, David R. Kaeli	Demystifying on-the-fly spill code.	PLDI	2005	DBLP DOI BibTeX RDF	register allocation, modulo scheduling, spill code
30	Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime	Efficient On-the-Fly Algorithms for the Analysis of Timed Games.	CONCUR	2005	DBLP DOI BibTeX RDF
30	Lukasz Masko	Program Graph Scheduling for Dynamic SMP Clusters with Communication on the Fly.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
30	Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster	Scalable distributed on-the-fly symbolic model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Distributed, Memory, BDDs, Counterexample
30	Marek Tudruj, Lukasz Masko	Communication on the Fly and Program Execution Control in a System of Dynamically Configurable SMP Clusters.	PDP	2003	DBLP DOI BibTeX RDF
30	Marek Tudruj, Lukasz Masko	Dynamic SMP Clusters with Communication on the Fly.	ISPDC	2003	DBLP DOI BibTeX RDF
30	Radu Mateescu 0001	A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.	TACAS	2003	DBLP DOI BibTeX RDF
30	Marek Tudruj, Lukasz Masko	Program Execution Control for Communication on the Fly in Dynamic Shared Memory Processor Clusters.	PARELEC	2002	DBLP DOI BibTeX RDF
30	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
30	Thierry Lafage, André Seznec	Combining Light Static Code Annotation and Instruction-Set Emulation for Flexible and Efficient On-the-Fly Simulation (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
30	Marc Geilen, Dennis Dams	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
30	Jesper Larsson Träff, Rolf Hempel, Hubert Ritzdorf, Falk Zimmermann	Flattening on the Fly: Efficient Handling of MPI Derived Datatypes.	PVM/MPI	1999	DBLP DOI BibTeX RDF
30	Stavros Tripakis, Karine Altisen	On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
30	Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi	A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.	CONCUR	1996	DBLP DOI BibTeX RDF
30	Edith Schonberg	On-the-fly detection of access anomalies (with retrospective)	Best of PLDI	1989	DBLP DOI BibTeX RDF
30	Edith Schonberg	On-The-Fly Detection of Access Anomalies.	PLDI	1989	DBLP DOI BibTeX RDF	Ada
30	Gerard Tel, Richard B. Tan, Jan van Leeuwen	The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols.	STACS	1987	DBLP DOI BibTeX RDF
25	Reinhard Klein, Daniel Cohen-Or, Tobias Hüttner	Incremental view-dependent multiresolution triangulation of terrain.	PG	1997	DBLP DOI BibTeX RDF	view-dependent multiresolution triangulation, terrain triangulation, real-time flythrough, multiresolution Delaunay triangulation, view-dependent error tolerance, global geometric approximation error, incremental triangulation, rendering, mesh generation, on-the-fly
25	Gensoh Matsubara, Nobuhiro Ide, Haruyuki Tago, Seigo Suzuki, Nobuyuki Goto	30-ns 55-b Radix 2 Division and Square Root Using a Self-Timed Circuit.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	simulation, CMOS, division, square root, self-timed, SRT, on-the-fly
24	Chi-Chang Hsieh, Wen-Huang Cheng, Chia-Hu Chang, Yung-Yu Chuang, Ja-Ling Wu	Photo navigator.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	fly-through, sense of space, automation, image-based modeling, photo browsing
24	Geetika T. Lakshmanan, Robert E. Strom	Biologically-Inspired Distributed Middleware Management for Stream Processing Systems.	Middleware	2008	DBLP DOI BibTeX RDF	Task Placement, On-The-Fly Management, Self-Managing Middleware, Distributed Stream Processing, Biologically-Inspired
24	Anke Dittmar, Peter Forbrig	Towards Activity Representations for Describing Task Dynamics.	TAMODIA	2007	DBLP DOI BibTeX RDF	dynamically planned on-the-fly activities, collaborative and multiple tasks, cognitive task models, activity representations, task modelling
24	Wouter Pasman, Frederik W. Jansen	Scheduling level of detail with guaranteed quality and cost.	Web3D	2002	DBLP DOI BibTeX RDF	on-the-fly level of detail generation, scheduling, quality, cost, trade-off, scene graph
24	Frank Hartung, Bernd Girod	Fast Public-Key Watermarking of Compressed Video.	ICIP (1)	1997	DBLP DOI BibTeX RDF	fast public-key watermarking, pseudo-noise signal, watermark information, practical systems, public decoding, fast compressed-domain embedding technique, on-the-fly compressed-domain public-key watermarking, verification, images, decoding, compressed video, spread-spectrum watermarking
24	Michele Crudele, Gordon Clapworthy, Meleagros A. Krokos, Giuliano Salcito, Nickos Vasilonikolidakis	A distributed database on the Internet of 3D models of human pathological organs.	CBMS	1997	DBLP DOI BibTeX RDF	human pathological organs, fly-through functionality, enhanced manipulation, animation sequences, Internet, Internet, information retrieval, education, distributed database, rendering, medical imaging, 3D models, MRI, CT, personal computer, end users, stereoscopic display, virtual endoscopy, three dimensional models, research project, cataloguing, multi-modal inputs, interactive manipulation
24	David De Roure, Les Carr, Wendy Hall 0001, Gary Hill	Enhancing the Distributed Link Service for multimedia and collaboration.	FTDCS	1997	DBLP DOI BibTeX RDF	Distributed Link Service, distributed multimedia information, World Wide Web infrastructure, linking infrastructure, on-the-fly link insertion agent, hyperlink applications, link processing agents, link management, distributed information management, Internet, collaboration, hypermedia, multimedia streams, MIDI, open hypermedia, digital audio, text documents
24	Ingo Claßen, Herbert Weber, Yanbo Han	Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA.	EDOC	1997	DBLP DOI BibTeX RDF	adaptive workflow systems, evolutionary workflow systems, infrastructure support, continuous software engineering perspective, runtime on-the-fly modifications, real-world business processes, build-time composition model, run-time overall control skeleton, layered system architecture, framework-based system architecture, generic system architecture, object-oriented programming, CORBA, software components, redesign, workflow language
24	John Schewel, Michael Thornburg, Steve Casselman	Transformable computers & hardware object technology.	IPPS	1995	DBLP DOI BibTeX RDF	transformable computers, hardware object technology, reconfigurable aspects, computationally intensive software algorithms, on-the-fly use, field programmable gate arrays, field programmable gate arrays, programming, reconfigurable architectures, programmable logic arrays, hardware design, performance gain
24	Corban G. Rivera, T. M. Murali 0001	Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper.	BICoB	2009	DBLP DOI BibTeX RDF
24	Songmei Yu, Vijayalakshmi Atluri, Nabil R. Adam	Preview: Optimizing View Materialization Cost in Spatial Data Warehouses.	DaWaK	2006	DBLP DOI BibTeX RDF
24	Eddy Z. Zhang, Yunlian Jiang, Ziyu Guo, Xipeng Shen	Streamlining GPU applications on the fly: thread divergence elimination through runtime thread-data remapping.	ICS	2010	DBLP DOI BibTeX RDF	CPU-GPU pipelining, thread divergence, thread-data remapping, GPGPU, data transformation
24	Peter Lindstrom 0001, Jonathan D. Cohen 0001	On-the-fly decompression and rendering of multiresolution terrain.	SI3D	2010	DBLP DOI BibTeX RDF
24	Hoe Wai Leong, Donald P. Brutzman, Don McGregor, Curtis L. Blais	Web services integration on the fly for service-oriented computing and simulation.	SpringSim	2009	DBLP DOI BibTeX RDF	web services, service oriented architecture, software agents, semantic web services, web services architecture
24	Lukasz Masko, Marek Tudruj	Task Scheduling for SoC-Based Dynamic SMP Clusters with Communication on the Fly.	ISPDC	2008	DBLP DOI BibTeX RDF
24	Adam Bakewell, Dan R. Ghica	On-the-Fly Techniques for Game-Based Software Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
24	Simon Rit, Jochem Wolthaus, Marcel van Herk, Jan-Jakob Sonke	On-the-Fly Motion-Compensated Cone-Beam CT Using an a Priori Motion Model.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
24	Takaaki Hori, Chiori Hori, Yasuhiro Minami, Atsushi Nakamura	Efficient WFST-Based One-Pass Decoding With On-The-Fly Hypothesis Rescoring in Extremely Large Vocabulary Continuous Speech Recognition.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
24	Pavithra G. Naidu, Mathew J. Palakal, Shielly Hartanto	On-the-fly data integration models for biological databases.	SAC	2007	DBLP DOI BibTeX RDF	BioMap, BioXBase, concordance table, log gamma distribution, wrapper mapping tool, data integration, association discovery
24	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
24	Franck Cassez	Efficient On-the-Fly Algorithms for Partially Observable Timed Games.	FORMATS	2007	DBLP DOI BibTeX RDF
24	Vineet Kahlon, Aarti Gupta, Nishant Sinha 0001	Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.	CAV	2006	DBLP DOI BibTeX RDF
24	Hanchuan Peng, Fuhui Long, Michael B. Eisen, Eugene W. Myers	Clustering gene expression patterns of fly embryos.	ISBI	2006	DBLP DOI BibTeX RDF
24	Joost-Pieter Katoen, Ivan S. Zapreev	Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.	QEST	2006	DBLP DOI BibTeX RDF
24	David Holman, Predrag Stojadinovic, Thorsten Karrer, Jan O. Borchers	Fly: an organic presentation tool.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	organic interfaces, presentation software
24	Marek Tudruj, Lukasz Masko	Fast Matrix Multiplication in Dynamic SMP Clusters with Communication on the Fly in Systems on Chip Technology.	PARELEC	2006	DBLP DOI BibTeX RDF