Search results for "laziness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Butler W. Lampson	Lazy and speculative execution in computer systems.	ICFP	2008	DBLP DOI BibTeX RDF	lazy evaluation
50	Piotr Zajac, Jacques Henri Collet	Production Yield and Self-Configuration in the Future Massively Defective Nanochips.	DFT	2007	DBLP DOI BibTeX RDF
48	Stefan Hagedorn, Steffen Kläbe, Kai-Uwe Sattler	Conquering a Panda's weaker self - Fighting laziness with laziness.	EDBT	2021	DBLP DOI BibTeX RDF
41	Seiji Umatani, Masahiro Yasugi, Tsuneyasu Komiya, Taiichi Yuasa	Pursuing Laziness for Efficient Implementation of Modern Multithreaded Languages.	ISHPC	2003	DBLP DOI BibTeX RDF
41	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
33	Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal	Lazy call-by-value evaluation.	ICFP	2007	DBLP DOI BibTeX RDF	debugging techniques, laziness
33	David J. Duke, Malcolm Wallace, Rita Borgo, Colin Runciman	Fine-grained Visualization Pipelines and Lazy Functional Languages.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Pipeline model, functional programming, laziness
24	Anuj Pasricha, Alessandro Roncone	The Virtues of Laziness: Multi-Query Kinodynamic Motion Planning with Lazy Methods.	CoRR	2024	DBLP DOI BibTeX RDF
24	Ho Fai Chan, Ella Hugo, Benno Torgler	Tracking a "radioactive tracer": laziness in academia.	Scientometrics	2024	DBLP DOI BibTeX RDF
24	Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger	Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing.	CoRR	2023	DBLP DOI BibTeX RDF
24	Anirudh Vemula, Yuda Song 0001, Aarti Singh, J. Andrew Bagnell, Sanjiban Choudhury	The Virtues of Laziness in Model-based RL: A Unified Objective and Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
24	Zhuan Shi, Zhenyu Yao, Liping Yi, Han Yu 0001, Lan Zhang 0002, Xiang-Yang Alex Liu	FedWM: Federated Crowdsourcing Workforce Management Service for Productive Laziness.	ICWS	2023	DBLP DOI BibTeX RDF
24	Magnus Madsen, Jaco van de Pol	Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism.	ECOOP	2023	DBLP DOI BibTeX RDF
24	Anirudh Vemula, Yuda Song 0001, Aarti Singh, Drew Bagnell, Sanjiban Choudhury	The Virtues of Laziness in Model-based RL: A Unified Objective and Algorithms.	ICML	2023	DBLP BibTeX RDF
24	Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger	Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing.	ACL (1)	2023	DBLP DOI BibTeX RDF
24	Jakob Wirth, Christian Maier, Sven Laumer, Tim Weitzel	Laziness as an explanation for the privacy paradox: a longitudinal empirical investigation.	Internet Res.	2022	DBLP DOI BibTeX RDF
24	Junyu Liu, Zexi Lin, Liang Jiang	Laziness, Barren Plateau, and Noise in Machine Learning.	CoRR	2022	DBLP DOI BibTeX RDF
24	Torsten Klug, Markus Reuther, Thomas Schlechte	Does Laziness Pay Off? - A Lazy-Constraint Approach to Timetabling.	ATMOS	2022	DBLP DOI BibTeX RDF
24	Keita Hara, Masaki Inoue, José María Maestre 0001	Data-Driven Human Modeling: Quantifying Personal Tendency Toward Laziness.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
24	Saikrishna Badrinarayanan, Aayush Jain, Nathan Manohar, Amit Sahai	Secure MPC: Laziness Leads to GOD.	ASIACRYPT (3)	2020	DBLP DOI BibTeX RDF
24	Aviral Goel, Jan Vitek	On the design, implementation, and use of laziness in R.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
24	Han Yu 0001, Chunyan Miao, Yongqing Zheng, Lizhen Cui, Simon Fauvel, Cyril Leung	Ethically Aligned Opportunistic Scheduling for Productive Laziness.	CoRR	2019	DBLP BibTeX RDF
24	Richard Taupe, Antonius Weinzierl, Gerhard Friedrich	Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving.	CoRR	2019	DBLP BibTeX RDF
24	Aviral Goel, Jan Vitek	On the Design, Implementation, and Use of Laziness in R.	CoRR	2019	DBLP BibTeX RDF
24	Richard Taupe, Antonius Weinzierl, Gerhard Friedrich	Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.	LPNMR	2019	DBLP DOI BibTeX RDF
24	Edoardo D'Amico, Giovanni Gabbolini, Daniele Montesi, Matteo Moreschini, Federico Parroni, Federico Piccinini, Alberto Rossettini, Alessio Russo Introito, Cesare Bernardis, Maurizio Ferrari Dacrema	Leveraging laziness, browsing-pattern aware stacked models for sequential accommodation learning to rank.	RecSys Challenge	2019	DBLP DOI BibTeX RDF
24	Jörg Bremer, Sebastian Lehnhoff	The Effect of Laziness on Agents for Large Scale Global Optimization.	ICAART (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
24	Han Yu 0001, Chunyan Miao, Yongqing Zheng, Lizhen Cui, Simon Fauvel, Cyril Leung	Ethically Aligned Opportunistic Scheduling for Productive Laziness.	AIES	2019	DBLP DOI BibTeX RDF
24	Nika Haghtalab, Simon Mackenzie, Ariel D. Procaccia, Oren Salzman, Siddhartha S. Srinivasa	The Provable Virtue of Laziness in Motion Planning.	IJCAI	2019	DBLP DOI BibTeX RDF
24	David Sherratt	A lambda-calculus that achieves full laziness with spine duplication.		2019	RDF
24	Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos	Keep your laziness in check.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
24	Saikrishna Badrinarayanan, Aayush Jain, Nathan Manohar, Amit Sahai	Secure MPC: Laziness Leads to GOD.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
24	Yannis Smaragdakis, George Kastrinis	Defensive Points-To Analysis: Effective Soundness via Laziness.	ECOOP	2018	DBLP DOI BibTeX RDF
24	Nika Haghtalab, Simon Mackenzie, Ariel D. Procaccia, Oren Salzman, Siddhartha S. Srinivasa	The Provable Virtue of Laziness in Motion Planning.	ICAPS	2018	DBLP BibTeX RDF
24	Nika Haghtalab, Simon Mackenzie, Ariel D. Procaccia, Oren Salzman, Siddhartha S. Srinivasa	The Provable Virtue of Laziness in Motion Planning.	CoRR	2017	DBLP BibTeX RDF
24	Marie Devaine, Jean Daunizeau	Learning about and from others' prudence, impatience or laziness: The computational bases of attitude alignment.	PLoS Comput. Biol.	2017	DBLP DOI BibTeX RDF
24	Karsten Scheibler	Applying CDCL to verification and test: when laziness pays off.		2017	RDF
24	Emmanuel Trouche, Petter Johansson, Lars Hall, Hugo Mercier	The Selective Laziness of Reasoning.	Cogn. Sci.	2016	DBLP DOI BibTeX RDF
24	Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su	Adding laziness in BnB-ADOPT+.	Constraints An Int. J.	2015	DBLP DOI BibTeX RDF
24	Quirino Zagarese, Gerardo Canfora, Eugenio Zimeo, Iyad Alshabani, Laurent Pellegrino, Amjad Alshabani, Françoise Baude	Improving data-intensive EDA performance with annotation-driven laziness.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
24	Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones	GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.	ICFP	2015	DBLP DOI BibTeX RDF
24	Katherine Puddifoot	A defence of epistemic responsibility: why laziness and ignorance are bad after all.	Synth.	2014	DBLP DOI BibTeX RDF
24	Stephen Chang 0001, Matthias Felleisen	Profiling for laziness.	POPL	2014	DBLP DOI BibTeX RDF
24	Stephen Chang 0001	Laziness by Need.	ESOP	2013	DBLP DOI BibTeX RDF
24	Young Ho Lee, Min Su Kim, Kuinam J. Kim	A Study on Improvement Measures of Remote Diligence / Laziness Management Applying NFC.	ICITCS	2013	DBLP DOI BibTeX RDF
24	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	The interaction of contracts and laziness.	High. Order Symb. Comput.	2012	DBLP DOI BibTeX RDF
24	Markus Degen 0001, Peter Thiemann 0001, Stefan Wehr	The interaction of contracts and laziness.	PEPM	2012	DBLP DOI BibTeX RDF
24	Emil Vassev, Mike Hinchey	Efficient Space Exploration through Laziness.	ICCASA	2012	DBLP DOI BibTeX RDF
24	Rifat Ozcan, Ismail Sengör Altingövde, Özgür Ulusoy	In Praise of Laziness: A Lazy Strategy for Web Information Extraction.	ECIR	2012	DBLP DOI BibTeX RDF
24	Mingliang Xu, Huansen Li, Pei Lv, Wenzhi Chen, Gengdai Liu, Pengyu Zhu, Zhigeng Pan	L4RW: Laziness-based Realistic Real-time Responsive Rebalance in Walking.	Comput. Graph. Forum	2010	DBLP DOI BibTeX RDF
24	Michael Pust, Kevin Knight	Faster MT Decoding Through Pervasive Laziness.	HLT-NAACL (Short Papers)	2009	DBLP BibTeX RDF
24	Eelco Dolstra	Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs.	LDTA	2008	DBLP DOI BibTeX RDF
24	Bernd Braßel, Sebastian Fischer 0001	From Functional Logic Programs to Purely Functional Programs Preserving Laziness.	IFL	2008	DBLP DOI BibTeX RDF
24	Lei Li 0005, James McCann, Christos Faloutsos, Nancy S. Pollard	Laziness is a Virtue: Motion Stitching Using Effort Minimization.	Eurographics (Short Papers)	2008	DBLP DOI BibTeX RDF
24	François-Régis Sinot	Complete Laziness: a Natural Semantics.	WRS@RDP	2007	DBLP DOI BibTeX RDF
24	Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones	Faster laziness using dynamic pointer tagging.	ICFP	2007	DBLP DOI BibTeX RDF
24	Giorgio Ausiello	Clairvoyance and Laziness for on Line Travelling Agents.	ICTCS	2007	DBLP BibTeX RDF
24	Giorgio Ausiello, Luca Allulli, Vincenzo Bonifaci, Luigi Laura	On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance.	TAMC	2006	DBLP DOI BibTeX RDF
24	Zhijun Liu, Paolo A. G. Sivilotti	The Impact of Laziness on the Performance of Snapshot Algorithms.	IASTED PDCS	2005	DBLP BibTeX RDF
24	Barbara Catania, Wen Qiang Wang, Beng Chin Ooi, Xiaoling Wang	Lazy XML Updates: Laziness as a Virtue of Update and Structural Join Efficiency.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
24	Eli Barzilay, John Clements	Laziness without all the hard work: combining lazy and strict languages for teaching.	FDPE@ICFP	2005	DBLP DOI BibTeX RDF
24	Thomas S. Stepleton	Work-Augmented Laziness with the Los Task Request System.	LISA	2002	DBLP BibTeX RDF
24	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
24	Flavio Corradini, Dino Di Cola	On testing urgency through laziness over processes with durational actions.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
24	Mark Moir	Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions.	PODC	2000	DBLP DOI BibTeX RDF
24	Olivier Poitou, Sébastien Bermes, Bernard Lécussan	Laziness, a Way to Improve Distributed Computation of the Ray Tracing Algorithm.	WSCG	2000	DBLP BibTeX RDF
24	Kexiang Hu	Exploiting Laziness for Improving Performance in Data Replication Management		2000	RDF
24	Andrew Adamatzky, Owen Holland, Chris Melhuish	Laziness + Sensitivity + Mobility = Structure. Emergence of Patterns in Lattice Swarms.	ECAL	1999	DBLP DOI BibTeX RDF
24	Ross Paterson	Compiling Laziness Using Projections.	SAS	1996	DBLP DOI BibTeX RDF
24	Padam Kumar, Jai Prakash Gupta, Stephen C. Winter	CTDNet III-An eager reduction model with laziness features.	Future Gener. Comput. Syst.	1995	DBLP DOI BibTeX RDF
24	Pedro Palao, Manuel Núñez 0001	An Effective Algorithm for Compiling Pattern Matching Keeping Laziness.	GULP-PRODE	1995	DBLP BibTeX RDF
24	Abdallah Assi, Teo Mora	The Virtues of Laziness: Complexity of the Tangent Cone Algorithm.	Appl. Algebra Eng. Commun. Comput.	1993	DBLP DOI BibTeX RDF
24	Jonathan M. D. Hill	The aim is laziness in a data-parallel language.	Functional Programming	1993	DBLP DOI BibTeX RDF
24	Stefan Lüttringhaus-Kappel	Laziness in logic programming.		1992	RDF
24	David Wakeling, Colin Runciman	Linearity and Laziness.	FPCA	1991	DBLP DOI BibTeX RDF
24	Carsten Kehler Holst, Carsten K. Gomard	Partial Evaluation is Fuller Laziness.	PEPM	1991	DBLP DOI BibTeX RDF
24	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
24	Anders Bondorf	Compiling Laziness by Partial Evaluation.	Functional Programming	1990	DBLP DOI BibTeX RDF
24	Carsten Kehler Holst	Improving Full Laziness.	Functional Programming	1990	DBLP DOI BibTeX RDF
24	David Wakeling	Linearity and laziness.		1990	RDF
24	Philip Wadler	Listlessness is better than laziness II: composing listless functions.	Programs as Data Objects	1985	DBLP DOI BibTeX RDF
24	Philip Wadler	Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time.	LISP and Functional Programming	1984	DBLP DOI BibTeX RDF
17	Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio 0001	Applying Evolutionary Techniques to Debug Functional Programs.	IWANN (1)	2009	DBLP DOI BibTeX RDF
17	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
17	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
17	Rémi Douence, Xavier Lorca, Nicolas Loriant	Lazy Composition of Representations in Java.	SC@TOOLS	2009	DBLP DOI BibTeX RDF
17	Maximilian C. Bolingbroke, Simon L. Peyton Jones	Types are calling conventions.	Haskell	2009	DBLP DOI BibTeX RDF	arity, calling conventions, strictness, unboxing, uncurrying, intermediate language
17	Etienne de Sevin	Relation between motivations and personality traits for autonomous virtual humans.	AAMAS (2)	2009	DBLP BibTeX RDF	(virtual) agents (any subarea), artificial intelligence, application, motivations, personality traits, real-time decision making
17	Bernd Braßel, Jan Christiansen	A Relation Algebraic Semantics for a Lazy Functional Logic Language.	RelMiCS	2008	DBLP DOI BibTeX RDF
17	Andrea Censi, Gian Diego Tipaldi	Lazy localization using the Frozen-Time Smoother.	ICRA	2008	DBLP DOI BibTeX RDF
17	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
17	Jacob Linenthal, Xiaojun Qi	An effective noise-resilient long-term semantic learning approach to content-based image retrieval.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Johan Nordlander, Magnus Carlsson, Andy Gill	Unrestricted pure call-by-value recursion.	ML	2008	DBLP DOI BibTeX RDF	value recursion, semantics, implementation, combinator libraries, call-by-value
17	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
17	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
17	Sebastian Fischer 0001, Herbert Kuchen	Systematic generation of glass-box test cases for functional logic programs.	PPDP	2007	DBLP DOI BibTeX RDF	testing, declarative programming, code coverage
17	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio 0001	Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.	IFL	2006	DBLP DOI BibTeX RDF	Parallel functional programming, semantics, skeletons
17	Xuan Li, Andy King, Lunjin Lu	Lazy Set-Sharing Analysis.	FLOPS	2006	DBLP DOI BibTeX RDF
17	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001	Testing Speculative Work in a Lazy/Eager Parallel Functional Language.	LCPC	2005	DBLP DOI BibTeX RDF
17	Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag	Haskell ready to dazzle the real world.	Haskell	2005	DBLP DOI BibTeX RDF	wxHaskell, bayesian networks, graphical user interface, application, haskell