|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2473 occurrences of 1716 keywords
|
|
|
Results
Found 4286 publication records. Showing 4281 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 274-284, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II, pp. 631-638, 2002, Springer, 3-540-44225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Thomas Wrensch, Jonathan Schifman |
An introduction to fly: a smaller smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 292-293, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 269-281, 2003, ACM, 1-58113-712-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(2), pp. 148-159, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(3-4), pp. 371-391, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 97-112, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 133-144, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, USA, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings, pp. 155-166, 2000, ACM, 1-58113-263-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 25-34, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 155-162, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(1), pp. 37-56, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 14-19, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 41(2), pp. 465-475, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.02120, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.07262, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS4TEL ![In: Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conference, MIS4TEL 2021, Salamanca, Spain, 6-8 October, 2021., pp. 75-84, 2021, Springer, 978-3-030-86617-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.04011, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
38 | Mikkel Fly Kragh, Jens Rimestad, Jørgen Berntsen, Henrik Karstoft |
Automatic grading of human blastocysts from time-lapse imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 115, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVISP ![In: ICVISP 2019: 3rd International Conference on Vision, Image and Signal Processing, Vancouver, BC, Canada, August 26-28, 2019, pp. 35:1-35:5, 2019, ACM, 978-1-4503-7625-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems (Companion Volume) ![In: Companion Publication of the 2019 on Designing Interactive Systems Conference, DIS 2019, San Diego, CA, USA, June 23-28, 2019., pp. 177-181, 2019, ACM, 978-1-4503-6270-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
38 | Robert Fly |
Detecting Fraud on Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 9(6), pp. 80-85, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 36(8), pp. 122-130, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Juan Carlos Garcìa, Per Fly Hansen |
Federation in TINA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings, pp. 219-229, 1998, Springer, 3-540-64598-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 322-333, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(8), pp. 1016-1024, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 596-609, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
on-the-fly state space reduction, symbolic transformation, 7CRL 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 205-208, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(8), pp. 859-863, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
On-the-fly algorithm, digit set conversion, sequential machine |
36 | Christiane Frougny |
On-the-Fly Algorithms and Sequential Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 260-265, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 196-213, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 189-200, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 126-145, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings, pp. 264-273, 2002, Springer, 3-540-43786-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 381-390, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Ilan Beer, Shoham Ben-David, Avner Landver |
On-the-Fly Model Checking of RCTL Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 184-194, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Jia Mei, Huaikou Miao, Pan Liu |
A Novel Approach for On-the-Fly Test Cases Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2009, in conjunction with 3rd International Workshop on e-Activity, IWEA 2009, 1st International Workshop on Enterprise Architecture Challenges and Responses, WEACR 2009, Catholic University of Daegu, Daegu, Korea, 27-29 May 2009, pp. 575-578, 2009, IEEE Computer Society, 978-0-7695-3642-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(10), pp. 1058-1072, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
shared memory, DSM, Data races, on-the-fly |
30 | Moez Krichen, Stavros Tripakis |
Conformance testing for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(3), pp. 238-304, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 385-394, 2009, Springer, 978-3-642-01128-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 65-72, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(3), pp. 267-292, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 173-188, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 806-811, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 508-515, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 116-125, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (1) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 144-147, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (1) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 28-31, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Eighth International Conference on Grid and Cooperative Computing, GCC 2009, Lanzhou, Gansu, China, August 27-29, 2009, pp. 109-115, 2009, IEEE Computer Society, 978-0-7695-3766-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 495-504, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 12th international conference on Supercomputing, ICS 1998, Melbourne, Australia, July 13-17, 1998, pp. 345-352, 1998, ACM, 0-89791-998-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 547-556, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH ASIA 2009, Yokohama, Japan, December 16-19, 2009, Poster Proceedings, pp. 30:1, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2007), 7-9 February 2007, Naples, Italy, pp. 270-277, 2007, IEEE Computer Society, 0-7695-2784-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | M. Sabry Hassouna, Aly A. Farag, Robert Falk |
Virtual Fly-Over: A New Visualization Technique for Virtual Colonoscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I, pp. 381-388, 2006, Springer, 3-540-44707-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Alex Aletà, Josep M. Codina, Antonio González 0001, David R. Kaeli |
Demystifying on-the-fly spill code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 180-189, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 66-80, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Lukasz Masko |
Program Graph Scheduling for Dynamic SMP Clusters with Communication on the Fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC/HeteroPar ![In: 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 3rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogenous Networks (HeteroPar 2004), 5-7 July 2004, Cork, Ireland, pp. 149-154, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster |
Scalable distributed on-the-fly symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(4), pp. 496-504, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 11th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2003), 5-7 February 2003, Genova, Italy, pp. 67-74, 2003, IEEE Computer Society, 0-7695-1875-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Marek Tudruj, Lukasz Masko |
Dynamic SMP Clusters with Communication on the Fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia, pp. 250-257, 2003, IEEE Computer Society, 0-7695-2069-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Radu Mateescu 0001 |
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 81-96, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Marek Tudruj, Lukasz Masko |
Program Execution Control for Communication on the Fly in Dynamic Shared Memory Processor Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland, pp. 15-20, 2002, IEEE Computer Society, 0-7695-1730-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | René G. de Vries, Jan Tretmans |
On-the-fly Conformance Testing using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 2(4), pp. 382-393, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 178-182, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Marc Geilen, Dennis Dams |
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings, pp. 276-290, 2000, Springer, 3-540-41055-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 109-116, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Stavros Tripakis, Karine Altisen |
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 233-252, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 514-529, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Edith Schonberg |
On-the-fly detection of access anomalies (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 313-327, 1989, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Edith Schonberg |
On-The-Fly Detection of Access Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23, 1989, pp. 285-297, 1989, ACM, 0-89791-306-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 445-455, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Reinhard Klein, Daniel Cohen-Or, Tobias Hüttner |
Incremental view-dependent multiresolution triangulation of terrain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 5th Pacific Conference on Computer Graphics and Applications, PG 1997, Seoul, South Korea, October 13-16, 1997, pp. 127-, 1997, IEEE Computer Society, 0-8186-8028-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 98-, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 419-428, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, pp. 223-242, 2008, Springer, 978-3-540-89855-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings, pp. 198-212, 2007, Springer, 978-3-540-77221-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceedings of the Seventh International Conference on 3D Web Technology, Web3D 2002, Tempe Mission Palms, Tempe, Arizona, USA, February 24-28, 2002, pp. 43-51, 2002, ACM, 1-58113-468-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 528-531, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 256-, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 330-335, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 300-, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 518-522, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICoB ![In: Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings, pp. 67-78, 2009, Springer, 978-3-642-00726-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Songmei Yu, Vijayalakshmi Atluri, Nabil R. Adam |
Preview: Optimizing View Materialization Cost in Spatial Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings., pp. 45-54, 2006, Springer, 3-540-37736-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 115-126, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2010 Symposium on Interactive 3D Graphics, SI3D 2010, February 19-21, 2010, Washington, DC, USA, pp. 65-73, 2010, ACM, 978-1-60558-939-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 99-106, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Adam Bakewell, Dan R. Ghica |
On-the-Fly Techniques for Game-Based Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 78-92, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I, pp. 729-736, 2008, Springer, 978-3-540-85987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(4), pp. 1352-1365, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Pavithra G. Naidu, Mathew J. Palakal, Shielly Hartanto |
On-the-fly data integration models for biological databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 118-122, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 113-130, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Franck Cassez |
Efficient On-the-Fly Algorithms for Partially Observable Timed Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 5-24, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 286-299, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Hanchuan Peng, Fuhui Long, Michael B. Eisen, Eugene W. Myers |
Clustering gene expression patterns of fly embryos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2006 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Arlington, VA, USA, 6-9 April 2006, pp. 1144-1147, 2006, IEEE, 0-7803-9577-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Joost-Pieter Katoen, Ivan S. Zapreev |
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 301-310, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | David Holman, Predrag Stojadinovic, Thorsten Karrer, Jan O. Borchers |
Fly: an organic presentation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 863-868, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 77-82, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4281 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|