Search results for "lazy"

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