Search results for "Lazy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
20	Yu-Ling Hsueh, Roger Zimmermann, Haojun Wang, Wei-Shinn Ku	Partition-based lazy updates for continuous queries over moving objects.	GIS	2007	DBLP DOI BibTeX RDF	mobile computing and location-based services
20	Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer	Proving Properties of Lazy Functional Programs with Sparkle.	CEFP	2007	DBLP DOI BibTeX RDF
20	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation = Lazy Clause Generation.	CP	2007	DBLP DOI BibTeX RDF
20	Sebastian Fischer 0001, Josep Silva, Salvador Tamarit, Germán Vidal	Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
20	Hui Yang 0009, Hongyan Liu 0002, Jun He 0008	DELAY : A Lazy Approach for Mining Frequent Patterns over High Speed Data Streams.	ADMA	2007	DBLP DOI BibTeX RDF
20	Mingen Lin, Yang Yang 0012, Jinhui Xu 0001	Improved Approximation Algorithms for Maximum Resource Bin Packing and Lazy Bin Covering Problems.	ISAAC	2006	DBLP DOI BibTeX RDF
20	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	2006	DBLP DOI BibTeX RDF
20	Kenneth L. McMillan	Lazy Abstraction with Interpolants.	CAV	2006	DBLP DOI BibTeX RDF
20	Young-Jin Kim 0001, Ramesh Govindan, Brad Karp, Scott Shenker	Lazy cross-link removal for geographic routing.	SenSys	2006	DBLP DOI BibTeX RDF	cross-link detection, geographic routing, planarization
20	Fernando Berzal Galiano, Juan Carlos Cubero Talavera, Nicolás Marín, María Amparo Vila Miranda	Data Integration Using Lazy Types.	ICHIT	2006	DBLP DOI BibTeX RDF
20	Torvald Riegel, Pascal Felber, Christof Fetzer	A Lazy Snapshot Algorithm with Eager Validation.	DISC	2006	DBLP DOI BibTeX RDF
20	Andrey Paskevich	Connection Tableaux with Lazy Paramodulation.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Dimitri P. Solomatine, Mahesh Maskey, Durga L. Shrestha	Eager and Lazy Learning Methods in the Context of Hydrologic Forecasting.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Evan Hahn, Prosenjit Bose, Anthony D. Whitehead	Lazy Generation of Building Interiors in Realtime.	CCECE	2006	DBLP DOI BibTeX RDF
20	Paolo Boldi, Sebastiano Vigna	Efficient Lazy Algorithms for Minimal-Interval Semantics.	SPIRE	2006	DBLP DOI BibTeX RDF
20	Ling Gai, Guochuan Zhang	Common Deadline Lazy Bureaucrat Scheduling Revisited.	LATIN	2006	DBLP DOI BibTeX RDF
20	Mingen Lin, Yang Yang 0012, Jinhui Xu 0001	On Lazy Bin Covering and Packing Problems.	COCOON	2006	DBLP DOI BibTeX RDF
20	Fei Zheng 0001, Geoffrey I. Webb	Efficient lazy elimination for averaged one-dependence estimators.	ICML	2006	DBLP DOI BibTeX RDF
20	Adriano Veloso, Wagner Meira Jr.	Lazy Associative Classification for Content-based Spam Detection.	LA-WEB	2006	DBLP DOI BibTeX RDF
20	Manindra Agrawal, P. S. Thiagarajan	The Discrete Time Behavior of Lazy Linear Hybrid Automata.	HSCC	2005	DBLP DOI BibTeX RDF
20	Young J. Lee, George F. Riley	Efficient Simulation of Wireless Networks Using Lazy MAC State Update.	PADS	2005	DBLP DOI BibTeX RDF
20	Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit	A Lazy Concurrent List-Based Set Algorithm.	OPODIS	2005	DBLP DOI BibTeX RDF
20	Taesoon Park, Ilsoo Byun, Heon Young Yeom	Lazy Agent Replication and Asynchronous Consensus for the Fault-Tolerant Mobile Agent System.	NETWORKING	2004	DBLP DOI BibTeX RDF
20	Hans-Juergen Boehm	The space cost of lazy reference counting.	POPL	2004	DBLP DOI BibTeX RDF	garbage collection, memory allocation, space complexity, reference counting
20	Manindra Agrawal, P. S. Thiagarajan	Lazy Rectangular Hybrid Automata.	HSCC	2004	DBLP DOI BibTeX RDF
20	Remko Tronçon, Gerda Janssens, Henk Vandecasteele	Fast Query Evaluation with (Lazy) Control Flow Compilation.	ICLP	2004	DBLP DOI BibTeX RDF
20	Vadim Iosevich, Assaf Schuster	Multithreaded Home-Based Lazy Release Consistency over VIA.	IPDPS	2004	DBLP DOI BibTeX RDF
20	Zhipeng Xie	A Study of Selective Neighborhood-Based Nai"ve Bayes for Efficient Lazy Learning.	ICTAI	2004	DBLP DOI BibTeX RDF
20	Mircea Marin, Aart Middeldorp	New completeness results for lazy conditional narrowing.	PPDP	2004	DBLP DOI BibTeX RDF	conditional rewriting, narrowing, evaluation strategies
20	Jie Dai, Kexiao Liao, Gongzhu Hu	Network Layer XML Routing Using Lazy DFA.	SERA	2004	DBLP DOI BibTeX RDF
20	XuanTung Hoang, Soyeon Ahn, Namhoon Kim, Hyungkeun Lee	Efficient Route Discovery for Reactive Routing Protocols with Lazy Topology Exchange and Condition Bearing Route Discovery.	ICOIN	2004	DBLP DOI BibTeX RDF
20	Teresa Alsinet, Felip Manyà, Jordi Planes	A Max-SAT Solver with Lazy Data Structures.	IBERAMIA	2004	DBLP DOI BibTeX RDF	data structures, heuristics, lower bound, branch and bound, Max-SAT
20	Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth Choudhuri, Sachin V. Chitnis	High Performance Code Generation through Lazy Activation Records.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF	Register Utilization, Activation Records, Low Power Optimization, Embedded Systems
20	Milad Niqui, Yves Bertot	QArith: Coq Formalisation of Lazy Rational Arithmetic.	TYPES	2003	DBLP DOI BibTeX RDF
20	Frank J. Seinstra, Dennis C. Koelma	Lazy Parallelization: A Finite State Machine Based Optimization Approach for Data Parallel Image Processing Applications.	IPDPS	2003	DBLP DOI BibTeX RDF
20	Behdad Esfahbod, Mohammad Ghodsi, Ali Sharifi	Common-Deadline Lazy Bureaucrat Scheduling Problems.	WADS	2003	DBLP DOI BibTeX RDF
20	Reiner Hähnle, Niklas Sörensson	Fair Constraint Merging Tableaux in Lazy Functional Programming Style.	TABLEAUX	2003	DBLP DOI BibTeX RDF
20	Eva Armengol, Enric Plaza	Discovery of Toxicological Patterns with Lazy Learning.	KES	2003	DBLP DOI BibTeX RDF
20	Elena Baralis, Paolo Garza	A Lazy Approach to Pruning Classification Rules.	ICDM	2002	DBLP DOI BibTeX RDF
20	Zhihai Wang, Geoffrey I. Webb	Comparison of Lazy Bayesian Rule and Tree-Augmented Bayesian Learning.	ICDM	2002	DBLP DOI BibTeX RDF
20	Nicholas Nethercote, Alan Mycroft	The cache behaviour of large lazy functional programs on stock hardware.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction
20	Gildardo Sánchez-Ante	Path Planning Using a Single-Query Bi-directional Lazy Collision Checking Planner.	MICAI	2002	DBLP DOI BibTeX RDF
20	Bryan Ford	Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.	ICFP	2002	DBLP DOI BibTeX RDF	scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
20	Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo	A Lazy Divide and Conquer Approach to Constraint Solving.	ICTAI	2002	DBLP DOI BibTeX RDF
20	Gabriele Zenobi, Padraig Cunningham	An Approach to Aggregating Ensembles of Lazy Learners That Supports Explanation.	ECCBR	2002	DBLP DOI BibTeX RDF
20	Michel Raynal	Sequential consistency as lazy linearizability.	SPAA	2002	DBLP DOI BibTeX RDF	sequential consistency, linearizability
20	Gildardo Sánchez-Ante, Jean-Claude Latombe	A Single-Query Bi-Directional Probabilistic Roadmap Planner with Lazy Collision Checking.	ISRR	2001	DBLP DOI BibTeX RDF
20	Taro Suzuki, Aart Middeldorp	A Complete Selection Function for Lazy Conditional Narrowing.	FLOPS	2001	DBLP DOI BibTeX RDF
20	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
20	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
20	Hee-Chul Yun, Sang-Kwon Lee, Joonwon Lee, Seungryoul Maeng	An Efficient Lock Protocol for Home-Based Lazy Release Consistency.	CCGRID	2001	DBLP DOI BibTeX RDF
20	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Adding Traces to a Lazy Monadic Evaluator.	EUROCAST	2001	DBLP DOI BibTeX RDF
20	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
20	Karl-Filip Faxén	Cheap eagerness: speculative evaluation in a lazy functional language.	ICFP	2000	DBLP DOI BibTeX RDF
20	Clement A. Baker-Finch, David J. King, Philip W. Trinder	An operational semantics for parallel lazy evaluation.	ICFP	2000	DBLP DOI BibTeX RDF
20	Dung Zung Nguyen, Stephen B. Wong	Design patterns for lazy evaluation.	SIGCSE	2000	DBLP DOI BibTeX RDF
20	Evangelos Papakitsos, Maria Gregoriadou, Angela Ralli	Functional Decomposition and Lazy Word-Parsing in Modern Greek.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
20	Rob Gerth	Sequential Consistency and the Lazy Caching Algorithm.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Weak memory models, Parallel program verification, Cache coherency, Sequential consistency
20	Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel	Lazy Caching in TLA.	Distributed Comput.	1999	DBLP DOI BibTeX RDF
20	David A. Basin	Lazy Infinite-State Analysis of Security Protocols.	CQRE	1999	DBLP DOI BibTeX RDF
20	Anders L. Madsen, Bruce D'Ambrosio	Lazy Propagation and Independence of Causal Influence.	ESCQARU	1999	DBLP DOI BibTeX RDF
20	Luciana Bezerra Arantes, Bertil Folliot, Pierre Sens 0001	A Node Count-Independent Logical Clock for Scaling Lazy Release Consistency Protocol.	Euro-Par	1999	DBLP DOI BibTeX RDF
20	Jukka Kiviniemi, Antoni Wolski, Antti Pesonen, Johannes Arminen	Lazy Aggregates for Real-Time OLAP.	DaWaK	1999	DBLP DOI BibTeX RDF
20	Hiroyuki Higuchi, Fabio Somenzi	Lazy group sifting for efficient symbolic state traversal of FSMs.	ICCAD	1999	DBLP DOI BibTeX RDF
20	JaeWoong Chung, Byeong Hag Seong, Kyu Ho Park, Daeyeon Park	Moving Home-Based Lazy Release Consistency for Shared Virtual Memory Systems.	ICPP	1999	DBLP DOI BibTeX RDF	software DSM system, parallel processing, distributed computing, shared memory, memory consistency, Shared Virtual Memory, Release Consistency
20	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Database Replication: If You Must be Lazy, be Consistent.	SRDS	1999	DBLP DOI BibTeX RDF
20	Esther Pacitti, Eric Simon, Rubens N. Melo	Improving Data Freshness in Lazy Master Schemes.	ICDCS	1998	DBLP DOI BibTeX RDF	Performance Analysis, Replication, Update Propagation
20	Gianluca Bontempi, Mauro Birattari, Hugues Bersini	Recursive Lazy Learning for Modeling and Control.	ECML	1998	DBLP DOI BibTeX RDF
20	Jan Sparud, Colin Runciman	Tracing Lazy Functional Computations Using Redex Trails.	PLILP	1997	DBLP DOI BibTeX RDF	debugging, program transformation, Haskell, graph reduction
20	Olav Beckmann, Paul H. J. Kelly	Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
20	Sarita V. Adve, Alan L. Cox, Sandhya Dwarkadas, Ramakrishnan Rajamony, Willy Zwaenepoel	A Comparison of Entry Consistency and Lazy Release Consistency Implementations.	HPCA	1996	DBLP DOI BibTeX RDF	parallel computation, shared memory, performance measurement, networks of workstations, consistency models
20	Chris Okasaki	The Role of Lazy Evaluation in Amortized Data Structures.	ICFP	1996	DBLP DOI BibTeX RDF
20	Rob Noble, Colin Runciman	Gadgets: Lazy Functional Components for Graphical User Interfaces	PLILP	1995	DBLP DOI BibTeX RDF	Gofer, concurrency, processes, functional language, window manager
20	Robert G. Burger, Oscar Waddell, R. Kent Dybvig	Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling.	PLDI	1995	DBLP DOI BibTeX RDF
20	Vadim Maslov	Lazy Array Data-Flow Dependence Analysis.	POPL	1994	DBLP DOI BibTeX RDF
20	Michael Hanus	Lazy Unification with Simplification.	ESOP	1994	DBLP DOI BibTeX RDF
20	Chris Hankin, Daniel Le Métayer	Lazy Type Inference for the Strictness Analysis of Lists.	ESOP	1994	DBLP DOI BibTeX RDF
20	Mohand Ourabah Benouamer, P. Jaillon, Dominique Michelucci, Jean-Michel Moreau	A lazy exact arithmetic.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
20	John Placer	Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
20	Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001	Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
20	Guido Hogen, Andrea Kindler, Rita Loogen	Automatic Parallelization of Lazy Functional Programs.	ESOP	1992	DBLP DOI BibTeX RDF
20	Sergio Antoy	Lazy Evaluation in Logic.	PLILP	1991	DBLP DOI BibTeX RDF
20	David Sands	Complexity Analysis for a Lazy Higher-Order Language.	ESOP	1990	DBLP DOI BibTeX RDF
20	Richard Kennaway	The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems.	ESOP	1990	DBLP DOI BibTeX RDF
20	Sanjai Narain	Optimization by Non-Deterministic, Lazy Rewriting.	RTA	1989	DBLP DOI BibTeX RDF
20	Simon L. Peyton Jones	An Introduction to Fully-Lazy Supercombinators.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
20	Bernhard Möller	An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.	ICALP	1983	DBLP DOI BibTeX RDF
15	Raymes Khoury, Bernd Burgstaller, Bernhard Scholz	Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	math script languages, Cell Broadband Engine architecture, scheduling, Programming languages, data partitioning, lazy evaluation
15	Guangyan Zhang, Weimin Zheng, Jiwu Shu	ALV: A New Data Redistribution Approach to RAID-5 Scaling.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	RAID-5 scaling, reordering window, I/O aggregation, lazy checkpoint, rate control
15	Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis	Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	abstract plans, distinctness, eager aggregation, lazy aggregation, logical operators, logical properties, physical operators, property enforcement, optimization, search engine, aggregation, grouping, ordering, search space, operator model, physical properties
15	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
15	Eric Koskinen, Maurice Herlihy	Brief announcement: concurrent non-commutative boosted transactions.	PODC	2009	DBLP DOI BibTeX RDF	cyclic dependency, lazy recovery, transactional boosting, transactional memory, commutativity
15	Youngkyoon Jang, Woontack Woo	Adaptive Lip Feature Point Detection Algorithm for Real-Time Computer Vision-Based Smile Training System.	Edutainment	2009	DBLP DOI BibTeX RDF	Lazy algorithm, lip detection, smile expression recognition, Haar-like classifier
15	Makoto Yui, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato 0001	XBird/D: distributed and parallel XQuery processing using remote proxy.	SAC	2008	DBLP DOI BibTeX RDF	design and implementation of distributed database, distributed and parallel database, lazy evaluation, XML query processing
15	Nils Anders Danielsson	Lightweight semiformal time complexity analysis for purely functional data structures.	POPL	2008	DBLP DOI BibTeX RDF	amortised time complexity, purely functional data structures, dependent types, lazy evaluation
15	Frédéric Cazals, Aditya G. Parameswaran, Sylvain Pion	Robust construction of the three-dimensional flow complex.	SCG	2008	DBLP DOI BibTeX RDF	euclidean distance function, lazy constructions, surface reconstruction, cascading, morse-smale complex, medial axis approximation
15	Mark Bartlett, Iain Bate, Dimitar Kazakov	Challenges in Relational Learning for Real-Time Systems Applications.	ILP	2008	DBLP DOI BibTeX RDF	Efficiency, Symmetry, Lazy Learning, Worst Case Execution Time (WCET), Inductive Logic Programming (ILP)
15	Jon A. Preston, Sushil K. Prasad	P2P Document Tree Management in a Real-Time Collaborative Editing System.	HiPC	2007	DBLP DOI BibTeX RDF	Concurrent P2P tree, Lazy updates, Load Balancing, Communication efficiency
15	Stéphane Gançarski, Cécile Le Pape, Alda Lopes Gançarski	Freshness Control of XML Documents for Query Load Balancing.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	Freshness control, transaction conflict detection, lazy replication, load balancing