The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for lazy with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1984 (24) 1985-1986 (15) 1987 (16) 1988 (16) 1989 (25) 1990 (33) 1991 (40) 1992 (59) 1993 (47) 1994 (46) 1995 (60) 1996 (50) 1997 (68) 1998 (64) 1999 (73) 2000 (61) 2001 (66) 2002 (73) 2003 (100) 2004 (104) 2005 (114) 2006 (131) 2007 (159) 2008 (116) 2009 (104) 2010 (66) 2011 (62) 2012 (65) 2013 (67) 2014 (70) 2015 (61) 2016 (73) 2017 (53) 2018 (72) 2019 (70) 2020 (83) 2021 (76) 2022 (78) 2023 (75) 2024 (12)
Publication types (Num. hits)
article(741) book(1) incollection(6) inproceedings(1863) phdthesis(36)
Venues (Conferences, Journals, ...)
CoRR(187) ICFP(37) IFL(32) POPL(31) PLILP(24) J. Funct. Program.(20) ACM Trans. Program. Lang. Syst...(19) CAV(19) ESOP(19) SIGMOD Conference(19) ACM SIGPLAN Notices(17) IROS(17) ICRA(16) PEPM(15) ICML(14) IPDPS(14) More (+10 of total 1039)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1166 occurrences of 741 keywords

Results
Found 2647 publication records. Showing 2647 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87Cory J. Butz, Shan Hua An Improved LAZY-AR Approach to Bayesian Network Inference. Search on Bibsonomy Canadian AI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
80Jan Heering, Paul Klint, J. Rekers Lazy and Incremental Program Generation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF incremental program generation, lazy and incremental compilation, lazy and incremental generation of lexical scanners, lazy and incremental generation of parsers, program generator, greedy, lazy
73María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Specialization of Lazy Functional Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
72Ronald E. Barkley, T. Paul Lee A Lazy Buddy System Bounded by Two Coalescing Delays per Class. Search on Bibsonomy SOSP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
70Sutirtha Sanyal, Sourav Roy, Adrián Cristal, Osman S. Unsal, Mateo Valero Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional Memory. Search on Bibsonomy HPCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
65Abraham Sánchez López, Rodrigo Cuautle, René Zapata, Maria A. Osorio A Reactive Lazy PRM Approach for Nonholonomic Motion Planning. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Nonholonomic motion planning, deformable virtual zone, lazy PRM
65Theodore Johnson, Padmashree Krishna Lazy Updates for Distributed Search Structure. Search on Bibsonomy SIGMOD Conference The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
65C.-H. Luke Ong Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
58Butler W. Lampson Lazy and speculative execution in computer systems. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lazy evaluation
58Frédéric Lang Explaining the lazy Krivine machine using explicit substitution and addresses. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Call-by-need, Functional programming, Lazy evaluation, Abstract machine
58Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
58Mark Moir Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions. Search on Bibsonomy Distributed Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Synchronization, Wait-free, Lock-free, Nonblocking, Lazy
58Werner Hans, Rita Loogen, Stephan Winkler On the Interaction of Lazy Evaluation and Backtracking. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
55Chris Okasaki Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF catenation, lazy linking, data structures, persistence, lazy evaluation, list processing, amortization, persistent data structures
50Anthony J. H. Simons JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Algebraic testing, Lazy specification, Lazy systematic testing, Operational abstraction, JWalk, Unit testing, Agile methods, JUnit, State-based testing
50Claudio Ochoa, Josep Silva, Germán Vidal Dynamic slicing of lazy functional programs based on redex trails. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Lazy functional programming, Redex trails, Debugging, Slicing
50Fernando Farfán, Vagelis Hristidis, Raju Rangaswami Beyond Lazy XML Parsing. Search on Bibsonomy DEXA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Double Lazy Parsing, Deferred Expansion, XML, XPath, Document Object Model
50Anthony H. Dekker Lazy functional programming in Java. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lazy lists, Java, Java, functional programming
50Fernando Berzal Galiano, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda Lazy Types: Automating Dynamic Strategy Selection. Search on Bibsonomy IEEE Softw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy types, metadata, reflection, polymorphism, strategies, adaptable code
50Yunjung Yi, Taesoon Park, Heon Young Yeom A Causal Logging Scheme for Lazy Release Consistent Distributed Shared Memory Systems. Search on Bibsonomy ICPADS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Lazy release consistency, Fault tolerance, Checkpointing, Rollback-recovery, Message logging, Distributed shared memory system
50Raghunandan Rajan, Philip A. Wilsey Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF aggressive cancellation, Time Warp parallel discrete event simulator, cancellation strategy, erroneous computation, lazy cancellation, straggler, previous state, anti messages, forward processing, regenerated output messages, hit/miss ratio, digital system simulation, performance, parallel programming, protocols, discrete event simulation, adaptive systems, synchronisation, LC, AC, time warp simulation, logical process, adaptive technique, PDES, adaptive approach
50Eric Mohr, David A. Kranz, Robert H. Halstead Jr. Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF granularity problem, simpler load-based inlining method, dynamic bad level, robust lazy task creation method, processing results, Mul-T, performance statistics, naturally expressed algorithms, parallel Lisp systems, parallel algorithm, parallel algorithms, parallel programming, Scheme, parallel languages, parallel implementation, parallel tasks
50Bin Cheng 0001, Lex Stein, Hai Jin 0001, Zheng Zhang 0001 A framework for lazy replication in P2P VoD. Search on Bibsonomy NOSSDAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Adriano Veloso, Wagner Meira Jr., Mohammed J. Zaki Lazy Associative Classification. Search on Bibsonomy ICDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Henry G. Baker CONS should not CONS its arguments, or, a lazy alloc is a smart alloc. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
50Henrik Nilsson, Peter Fritzson Algorithmic Debugging for Lazy Functional Languages. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
45Jerzy Karczmarczuk Functional Framework for Sound Synthesis. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Lazy streams, DSP, Sounds, Clean
45Yi-Bing Lin, Edward D. Lazowska A Study of Time Warp Rollback Mechanisms. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Time Warp approach, aggressive cancellation, lazy cancellation, discrete-event simulation, parallel simulation
45João Paulo Fernandes, João Saraiva Tools and libraries to model and manipulate circular programs. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
43C.-H. Luke Ong Fully Abstract Models of the Lazy Lambda Calculus Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF convergence testing, lazy lambda calculus, lazy languages, functional languages, proof theory, model theory, abstract models
43Christopher Line, K. R. Jayaram, Patrick Eugster Lazy argument passing in Java RMI. Search on Bibsonomy PPPJ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF argument passing, invocation, method remote, Java, asynchronous, future, lazy
43Ramana Rao Kompella, Alex C. Snoeren Practical lazy scheduling in sensor networks. Search on Bibsonomy SenSys The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lazy scheduling, sensor networks, distributed algorithms, energy conservation
43Zhipeng Xie, Wynne Hsu, Zongtian Liu, Mong-Li Lee SNNB: A Selective Neighborhood Based Naïve Bayes for Lazy Learning. Search on Bibsonomy PAKDD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Naïve Bayes, Classification, Lazy Learning
43Enoch Peserico The lazy adversary conjecture fails. Search on Bibsonomy SPAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF k-server, lazy adversary, memoryless, competitive analysis
43Wan J. Fokkink, Jasper Kamperman, Pum Walters Lazy rewriting on eager machinery. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF innermost reduction, lazy rewriting, specificity ordering
43Thibaut Feydy, Peter J. Stuckey Lazy Clause Generation Reengineered. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Joona Laukkanen, Poika Isokoski, Kari-Jouko Räihä The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor. Search on Bibsonomy CHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic cursor, target acquisition, bubble cursor
43Peter Höfner, Bernhard Möller Lazy Semiring Neighbours and Some Applications. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Malay K. Ganai, Muralidhar Talupur, Aarti Gupta SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Michael Backes 0001, Christian Cachin, Alina Oprea Lazy Revocation in Cryptographic File Systems. Search on Bibsonomy IEEE Security in Storage Workshop The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Michael Abd-El-Malek, Gregory R. Ganger, Michael K. Reiter, Jay J. Wylie, Garth R. Goodson Lazy Verification in Fault-Tolerant Distributed Storage Systems. Search on Bibsonomy SRDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Yin Li, Jian Sun 0001, Chi-Keung Tang, Heung-Yeung Shum Lazy snapping. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Image Cutout, User Interface, Graph Cut, Interactive Image Segmentation
43Khuzaima Daudjee, Kenneth Salem Lazy Database Replication with Ordering Guarantees. Search on Bibsonomy ICDE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Olaf Chitil, Dan McNeill, Colin Runciman Lazy Assertions. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Pedro Isasi, José María Valls, Inés María Galván A Better Selection of Patterns in Lazy Learning Radial Basis Neural Networks. Search on Bibsonomy IWANN (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Mark Moir Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions. Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Jin Yang 0006, Andreas Tiemeyer Lazy symbolic model checking. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Andy C. Downton, Simon M. Lucas, L. Du Lazy Evaluation for Best-First Contextual Handwriting Recognition. Search on Bibsonomy ICDAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Flavio Corradini, Marco Pistore Specification and Verification of Timed Lazy Systems. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
43J. F. Th. Kamperman, H. R. Walters Lazy Rewriting and Eager Machinery. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
43Michael Hanus Combining Lazy Narrowing and Simplification. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
43S. Purushothaman, Jill Seaman An Adequate Operational Semantics for Sharing in Lazy Evaluation. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40Martijn Vervoort, Marinus J. Plasmeijer Lazy Dynamic Input/Output in the Lazy Functional Language Clean. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Janis Voigtländer Using circular programs to deforest in accumulating parameters. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF accumulating parameters, intermediate data structures, lazy composition, multiple traversals, program transformation, lazy evaluation, tupling, deforestation, circular programs
38Chun-Nan Hsu, Hung-Ju Huang, Tzu-Tsung Wong Implications of the Dirichlet Assumption for Discretization of Continuous Variables in Naive Bayesian Classifiers. Search on Bibsonomy Mach. Learn. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF naive Bayesian classifiers, perfect aggregation, continuous variables, lazy discretization, discretization, Dirichlet distributions, interval data
37Xiaopeng Xiong, Mohamed F. Mokbel, Walid G. Aref LUGrid: Update-tolerant Grid-based Indexing for Moving Objects. Search on Bibsonomy MDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz Update Propagation Protocols For Replicated Databases. Search on Bibsonomy SIGMOD Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Philip Wadler Strictness Analysis Aids Time Analysis. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Fritz Henglein Optimizing relational algebra operations using generic equivalence discriminators and lazy products. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
35Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh Optimizations of LFS with slack space recycling and lazy indirect block update. Search on Bibsonomy SYSTOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF lazy indirect block update, slack space recycling, cleaning, log-structured file system
35Giorgio Corani, Marco Zaffalon Lazy naive credal classifier. Search on Bibsonomy KDD Workshop on Knowledge Discovery from Uncertain Data The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lazy credal classifier, naive credal classifier, imprecise probabilities
35Jean-Baptiste Tristan, Xavier Leroy Verified validation of lazy code motion. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
35Jean-Philippe Bernardy Lazy functional incremental parsing. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor
35Andrey Paskevich Connection Tableaux with Lazy Paramodulation. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality
35Colin Runciman, Matthew Naylor, Fredrik Lindblad Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lazy evaluation, type classes, exhaustive search, embedded language, property-based testing
35Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger Improving the lazy Krivine machine. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Call by need, Lambda calculus, Lazy evaluation, Abstract machine
35Peng Liu 0027, Guojun Dai, Tingting Fu, Hong Zeng, Xiang Zhang A Lazy EDF Interrupt Scheduling Algorithm for Multiprocessor in Parallel Computing Environment. Search on Bibsonomy ICA3PP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interrupt scheduling, Lazy EDF, Real-time system, Parallel computing, Multiprocessor
35Marco Grimaldi, Padraig Cunningham, Anil C. Kokaram Discrete wavelet packet transform and ensembles of lazy and eager learners for music genre classification. Search on Bibsonomy Multim. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lazy learners, Eager learners, Feature extraction, Features selection, Wavelet analysis, Music genre classification, Ensemble techniques
35Richard A. Frost Realization of natural language interfaces using lazy functional programming. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions
35Adriano Veloso, Wagner Meira Jr., Marco Cristo, Marcos André Gonçalves, Mohammed Javeed Zaki Multi-evidence, multi-criteria, lazy associative document classification. Search on Bibsonomy CIKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF lazy algorithms, data mining, classification
35José María Valls, Inés María Galván, Pedro Isasi Lazy Training of Radial Basis Neural Networks. Search on Bibsonomy ICANN (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Pattern Selection, Local Learning, Lazy Learning, Radial Basis Neural Networks
35Olaf Chitil Pretty printing with lazy dequeues. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy functional programming, Haskell
35Kenji Manaka, Hiroyuki Sato Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2005 DBLP  DOI  BibTeX  RDF saxon, optimization, XSLT, lazy evaluation
35José María Valls, Inés María Galván, Pedro Isasi Lazy Learning in Radial Basis Neural Networks: A Way of Achieving More Accurate Models. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF improving generalization ability, kernel functions, K-means algorithm, lazy learning, radial basis neural networks
35Jinyan Li 0001, Guozhu Dong, Kotagiri Ramamohanarao, Limsoon Wong DeEPs: A New Instance-Based Lazy Discovery and Classification System. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF instance-based, classification, emerging patterns, lazy learning, borders
35Fernando Berzal, Juan C. Cubero, Nicolás Marín, María Amparo Vila Miranda Fuzzy Types: A First Step Towards Lazy Types in the .NET Framework. Search on Bibsonomy Fuzzy Days The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fuzzy types, lazy types, object-orientation
35Vadim Iosevich, Assaf Schuster A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory. Search on Bibsonomy ICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model
35Songqing Chen, Bo Shen 0003, Susie J. Wee, Xiaodong Zhang 0001 Adaptive and lazy segmentation based proxy caching for streaming media delivery. Search on Bibsonomy NOSSDAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lazy segmentation, streaming media delivery, proxy caching
35Weigang Ni, Qiu Fang, Susan V. Vrbsky A Lazy Data Request Approach for On-Demand Data Broadcasting. Search on Bibsonomy ICDCS Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lazy data request, messages saving, pull-based broadcasting, data dissemination
35Markus L. Noga, Steffen Schott, Welf Löwe Lazy XML processing. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML, parsing, lazy evaluation, document object model
35Jesper Jørgensen Generating a Compiler for a Lazy Language by Partial Evaluation. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF binding time improvements, lazy functional languages, partial evaluation, compiler generation
35Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris 0001, Mateo Valero EazyHTM: eager-lazy hardware transactional memory. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EazyHTM, transactional memory
35Michel Meulpolder, Johan A. Pouwelse, Dick H. J. Epema, Henk J. Sips BarterCast: A practical approach to prevent lazy freeriding in P2P networks. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Michael B. Monagan, Paul Vrbik Lazy and Forgetful Polynomial Arithmetic and Applications. Search on Bibsonomy CASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Alberto de la Encina, Luis Llana, Fernando Rubio 0001, Mercedes Hidalgo-Herrero Observing intermediate structures in a parallel lazy functional language. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallel functional programming, semantics, debugging
35Frank McCown, Joan A. Smith, Michael L. Nelson Lazy preservation: reconstructing websites by crawling the crawlers. Search on Bibsonomy WIDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cached resources, search engine, recovery, digital preservation
35Hong Liu 0008, Xuezhi Deng, Hongbin Zha, Ding Ding A Path Planner in Changing Environments by Using W-C Nodes Mapping Coupled with Lazy Edges Evaluation. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Yen-Jen Chang Lazy BTB: reduce BTB energy consumption using dynamic profiling. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Dieter Maurer Lazy Execution of Boolean Queries. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Frank Puhlmann, Mathias Weske Investigations on Soundness Regarding Lazy Activities. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Michael Backes 0001, Christian Cachin, Alina Oprea Secure Key-Updating for Lazy Revocation. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Liangxiao Jiang, Yuanyuan Guo Learning Lazy Naive Bayesian Classifiers for Ranking. Search on Bibsonomy ICTAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Steffen Schott, Markus L. Noga Lazy XSL transformations. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre Lazy abstraction. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Michel Raynal Sequential Consistency as Lazy Linearizability. Search on Bibsonomy EurAsia-ICT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Angkul Kongmunvattana, Nian-Feng Tzeng Lazy Logging and Prefetch-Based Crash Recovery in Software Distributed Shared Memory Systems. Search on Bibsonomy IPPS/SPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Olaf Chitil Common Subexpressions Are Uncommon in Lazy Functional Languages. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas Lazy Narrowing with Parametric Order Sorted Types. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Natarajan Shankar Lazy Compositional Verification. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Huey-Ling Chen, Chung-Ta King Eager Scheduling with Lazy Retry for Dynamic Task Scheduling. Search on Bibsonomy Euro-Par, Vol. II The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2647 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license