Search results for "Lazy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Andrew Moran, David Sands 0001, Magnus Carlsson	Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.	COORDINATION	1999	DBLP DOI BibTeX RDF
15	Max Hailperin	Cost-Optimal Code Motion.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	elimination of partial redundancies, code motion, strength reduction
15	Jörgen Gustavsson	A Type Based Sharing Analysis for Update Avoidance and Optimisation.	ICFP	1998	DBLP DOI BibTeX RDF
15	Paul Francis Meredith, Peter J. H. King	Scoped Referential Transparency in a Functional Database Language with Updates.	BNCOD	1998	DBLP DOI BibTeX RDF
15	Daniel Barbará, Mark Sullivan	Quasi-Cubes: Exploiting Approximations in Multidimensional Databases.	SIGMOD Rec.	1997	DBLP DOI BibTeX RDF
15	Chris Okasaki	Catenable Double-Ended Queues.	ICFP	1997	DBLP DOI BibTeX RDF
15	Suntae Hwang	Control of parallel task granularity by throttling decomposition.	ICPADS	1997	DBLP DOI BibTeX RDF
15	Yuanyuan Zhou 0001, Liviu Iftode, Jaswinder Pal Singh, Kai Li 0001, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill, David A. Wood 0001	Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation.	PPoPP	1997	DBLP DOI BibTeX RDF
15	John Launchbury, Ross Paterson	Parametricity and Unboxing with Unpointed Types.	ESOP	1996	DBLP DOI BibTeX RDF
15	Gérard Boudol, Carolina Lavatelli	Full Abstraction for Lambda Calculus with Resources and Convergence Testing.	CAAP	1996	DBLP DOI BibTeX RDF	intersection type systems, calculus, full abstraction
15	Koichi Nakahara, Aart Middeldorp, Tetsuo Ida	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming	PLILP	1995	DBLP DOI BibTeX RDF
15	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Optimal Code Motion: Theory and Practice.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	t-refined flow graphs, critical edges, elimination of partial redundancies, lifetimes of registers, nondeterministic flowgraphs, data flow analysis, code motion, lifetime optimality, computational optimality
15	Robert Giegerich, Stefan Kurtz	Suffix Trees in the Functional Programming Paradigm.	ESOP	1994	DBLP DOI BibTeX RDF
15	Baowen Xu	PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
15	K. V. S. Prasad	Programming with Broadcasts.	CONCUR	1993	DBLP DOI BibTeX RDF	CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics
15	Francisco Javier López-Fraguas	A General Scheme for Constraint Functional Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
15	Geoffrey Livingston Burn	The Evaluation Transformer Model of Reduction and Its Correctness.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
15	Christine Ernoult, Alan Mycroft	Uniform Ideals and Strictness Analysis.	ICALP	1991	DBLP DOI BibTeX RDF
15	R. C. Sekar 0001, Shaunak Pawagi, I. V. Ramakrishnan	Small Domains Spell Fast Strictness Analysis.	POPL	1990	DBLP DOI BibTeX RDF
15	Adrienne G. Bloss, Paul Hudak	Path Semantics.	MFPS	1987	DBLP DOI BibTeX RDF
15	Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones	A Safe Approach to Parallel Combinator Reduction (Extended Abstract).	ESOP	1986	DBLP DOI BibTeX RDF	Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
13	A. Arul, M. Kathirvelu	DILTS: Dragonfly-inspired lazy task scheduling algorithm for efficient energy consumption control in IoT applications.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
13	Denis Antipov, Maxim Buzdalov 0001, Benjamin Doerr	Lazy Parameter Tuning and Control: Choosing All Parameters Randomly from a Power-Law Distribution.	Algorithmica	2024	DBLP DOI BibTeX RDF
13	Anuj Pasricha, Alessandro Roncone	The Virtues of Laziness: Multi-Query Kinodynamic Motion Planning with Lazy Methods.	CoRR	2024	DBLP DOI BibTeX RDF
13	Mengdi Wang, Anna Bodonhelyi, Efe Bozkir, Enkelejda Kasneci	TurboSVM-FL: Boosting Federated Learning through SVM Aggregation for Lazy Clients.	CoRR	2024	DBLP DOI BibTeX RDF
13	Quentin Kniep, Lefteris Kokoris-Kogias, Alberto Sonnino, Igor Zablotchi, Nuda Zhang	Pilotfish: Distributed Transaction Execution for Lazy Blockchains.	CoRR	2024	DBLP DOI BibTeX RDF
13	Radha Jagadeesan	(Towards a) Statistical Probabilistic Lazy Lambda Calculus.	CoRR	2024	DBLP DOI BibTeX RDF
13	Michelle Smit, Rene A. Corner-Thomas, Ina Draganova, Christopher J. Andrews, David G. Thomas	How Lazy Are Pet Cats Really? Using Machine Learning and Accelerometry to Get a Glimpse into the Behaviour of Privately Owned Cats in Different Households.	Sensors	2024	DBLP DOI BibTeX RDF
13	Marcus Hörger, Hanna Kurniawati, Dirk P. Kroese, Nan Ye	A Surprisingly Simple Continuous-Action POMDP Solver: Lazy Cross-Entropy Search Over Policy Trees.	AAAI	2024	DBLP DOI BibTeX RDF
13	Mengdi Wang, Anna Bodonhelyi, Efe Bozkir, Enkelejda Kasneci	TurboSVM-FL: Boosting Federated Learning through SVM Aggregation for Lazy Clients.	AAAI	2024	DBLP DOI BibTeX RDF
13	Milo Roucairol, Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave	Lazy Nested Monte Carlo Search for Coalition Structure Generation.	ICAART (2)	2024	DBLP DOI BibTeX RDF
13	Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek	Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
13	Aakash Sunil Lahoti, Spandan Senapati, Ketan Rajawat, Alec Koppel	Sharpened Lazy Incremental Quasi-Newton Method.	AISTATS	2024	DBLP BibTeX RDF
13	Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton	Affine Monads and Lazy Structures for Bayesian Programming.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti	PureCake: A Verified Compiler for a Lazy Functional Language.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Yuya Yanase, Yasunobu Sumikawa	Lazy Demand-driven Partial Redundancy Elimination.	J. Inf. Process.	2023	DBLP DOI BibTeX RDF
13	Yu Wu 0016, Duo Liu, Yujuan Tan, Moming Duan, Longpan Luo, Weilve Wang, Xianzhang Chen	LFPR: A Lazy Fast Predictive Repair Strategy for Mobile Distributed Erasure Coded Cluster.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
13	Debjani Mustafi, A. Mustafi	A differential evolution based algorithm to cluster text corpora using lazy re-evaluation of fringe points.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
13	Barnabás Janzer, J. Robert Johnson, Imre Leader	Partial Shuffles by Lazy Swaps.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
13	Daron Anderson, George Iosifidis, Douglas J. Leith	Lazy Lagrangians for Optimistic Learning With Budget Constraints.	IEEE/ACM Trans. Netw.	2023	DBLP DOI BibTeX RDF
13	Jawaherul Md. Alam, Michael A. Bekos, Martin Gronemann, Michael Kaufmann 0001, Sergey Pupyrev	Lazy Queue Layouts of Posets.	Algorithmica	2023	DBLP DOI BibTeX RDF
13	Orna Kupferman, Asaf Petruschka	Lazy regular sensing.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Tomasz Kloda, Giovani Gracioli, Rohan Tabish, Reza Mirosanlou, Renato Mancuso 0001, Rodolfo Pellizzoni, Marco Caccamo	Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
13	Siyan Dong, Shaohui Liu, Hengkai Guo, Baoquan Chen, Marc Pollefeys	Lazy Visual Localization via Motion Averaging.	CoRR	2023	DBLP DOI BibTeX RDF
13	Kai Gao, Yan Ding 0002, Shiqi Zhang 0001, Jingjin Yu	ORLA*: Mobile Manipulator-Based Object Rearrangement with Lazy A.	CoRR	2023	DBLP DOI BibTeX RDF
13	Naman Agarwal, Satyen Kale, Karan Singh, Abhradeep Guha Thakurta	Improved Differentially Private and Lazy Online Convex Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Aaron Pache, Mark CW van Rossum	Lazy learning: a biologically-inspired plasticity rule for fast and energy efficient synaptic plasticity.	CoRR	2023	DBLP DOI BibTeX RDF
13	Arthur Hemmer, Mickaël Coustaty, Nicola Bartolo, Jérôme Brachat, Jean-Marc Ogier	Lazy-k: Decoding for Constrained Token Classification.	CoRR	2023	DBLP DOI BibTeX RDF
13	Adrián Goga, Lore Depuydt, Nathaniel K. Brown, Jan Fostier, Travis Gagie, Gonzalo Navarro 0001	Faster Maximal Exact Matches with Lazy LCP Evaluation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yuhan Helena Liu, Aristide Baratin, Jonathan Cornford, Stefan Mihalas, Eric Shea-Brown, Guillaume Lajoie	How connectivity structure shapes rich and lazy learning in neural circuits.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ruixiang Tang, Dehan Kong, Longtao Huang, Hui Xue 0001	Large Language Models Can be Lazy Learners: Analyze Shortcuts in In-Context Learning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Aakash Lahoti, Spandan Senapati, Ketan Rajawat, Alec Koppel	Sharpened Lazy Incremental Quasi-Newton Method.	CoRR	2023	DBLP DOI BibTeX RDF
13	Roberto Metere, Changyu Dong	A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic.	CoRR	2023	DBLP DOI BibTeX RDF
13	Nikita Doikov, Geovani Nunes Grapiglia	First and zeroth-order implementations of the regularized Newton method with lazy approximated Hessians.	CoRR	2023	DBLP DOI BibTeX RDF
13	Rui Xue, Haoyu Han, MohamadAli Torkamani, Jian Pei, Xiaorui Liu	LazyGNN: Large-Scale Graph Neural Networks via Lazy Propagation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Francesco Di Cosmo	Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tanishq Kumar, Blake Bordelon, Samuel J. Gershman, Cengiz Pehlevan	Grokking as the Transition from Lazy to Rich Training Dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
13	Soroush Farokhnia	Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
13	Edward Vickery, Aditya A. Paranjape	Loss of Distributed Coverage Using Lazy Agents Operating Under Discrete, Local, Event-Triggered Communication.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zhenyu Zhu, Fanghui Liu 0001, Grigorios G. Chrysos, Francesco Locatello, Volkan Cevher	Benign Overfitting in Deep Neural Networks under Lazy Training.	CoRR	2023	DBLP DOI BibTeX RDF
13	Marcus Hörger, Hanna Kurniawati, Dirk P. Kroese, Nan Ye	A Surprisingly Simple Continuous-Action POMDP Solver: Lazy Cross-Entropy Search Over Policy Trees.	CoRR	2023	DBLP DOI BibTeX RDF
13	Anubhav Singh, Miquel Ramírez, Nir Lipovetzky, Peter J. Stuckey	Lifted Sequential Planning with Lazy Constraint Generation Solvers.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shuo Han, Yinan Chen, Jiacheng Liu	Optimizing Investment Strategies with Lazy Factor and Probability Weighting: A Price Portfolio Forecasting and Mean-Variance Model with Transaction Costs Approach.	CoRR	2023	DBLP DOI BibTeX RDF
13	Alexander Slastin, Dan Alistarh, Vitaly Aksenov	Efficient Self-Adjusting Search Trees via Lazy Updates.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yiming Lin, Sharad Mehrotra	ZIP: Lazy Imputation during Query Processing.	Proc. VLDB Endow.	2023	DBLP BibTeX RDF
13	Erfan Abedi, Salman Beigi, Leila Taghavi	Quantum Lazy Training.	Quantum	2023	DBLP DOI BibTeX RDF
13	Quan Xiao, Qing Ling 0001, Tianyi Chen	Lazy Queries Can Reduce Variance in Zeroth-Order Optimization.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
13	Federico Zocco, Marco Maggipinto, Gian Antonio Susto, Seán F. McLoone	Lazy FSCA for unsupervised variable selection.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Linfei Yin, Nan Mo, Yuejiang Lu	Lazy deep Q networks for unified rotor angle stability framework with unified time-scale of power systems with mass distributed energy storage.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Viktor Sanca, Periklis Chrysogelos, Anastasia Ailamaki	LAQy: Efficient and Reusable Query Approximations via Lazy Sampling.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
13	Thomas Hadler, Clemens Ammann, Jens Wetzl, Darian Viezzer, Jan Gröschel, Maximilian Fenski, Endri Abazi, Steffen Lange, Anja Hennemuth, Jeanette Schulz-Menger	Lazy Luna: Extendible software for multilevel reader comparison in cardiovascular magnetic resonance imaging.	Comput. Methods Programs Biomed.	2023	DBLP DOI BibTeX RDF
13	Mohamed Khodeir, Atharv Sonwane, Ruthrash Hari, Florian Shkurti	Policy-Guided Lazy Search with Feedback for Task and Motion Planning.	ICRA	2023	DBLP DOI BibTeX RDF
13	Alok Kamatar, Mansi Sakarvadia, Valérie Hayot-Sasson, Kyle Chard, Ian T. Foster	Lazy Python Dependency Management in Large-Scale Systems.	e-Science	2023	DBLP DOI BibTeX RDF
13	Emmanuel Nauer, Jean Lieber, Mathieu d'Aquin	Lazy Adaptation Knowledge Learning Based on Frequent Closed Itemsets.	ICCBR	2023	DBLP DOI BibTeX RDF
13	Qisheng Jiang, Lei Jia, Chundong Wang 0001	Atomic but Lazy Updating with Memory-mapped Files for Persistent Memory.	DATE	2023	DBLP DOI BibTeX RDF
13	Nan Sun 0004, Ning Wang, Zhigang Wang 0001, Jie Nie, Zhiqiang Wei 0002, Peishun Liu, Xiaodong Wang, Haipeng Qu	Lazy Machine Unlearning Strategy for Random Forests.	WISA	2023	DBLP DOI BibTeX RDF
13	Tuan Anh Nguyen, Hyeongjun Jeon, Daegyu Han, Duck-Ho Bae, Youngjin Yu, Kyeungpyo Kim, Sungsoon Park, Jinkyu Jeong, Beomseok Nam	NVMe-Driven Lazy Cache Coherence for Immutable Data with NVMe over Fabrics.	CLOUD	2023	DBLP DOI BibTeX RDF
13	Mehrdad Zareian, Anne-Kathrin Schmuck	Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications.	HSCC	2023	DBLP DOI BibTeX RDF
13	E. Laxmi Lydia, Sara A. Althubiti, C. S. S. Anupama, Kollati Vijaya Kumar	Prediction of Sepsis Disease Using Random Search to Optimize Hyperparameter Tuning Based on Lazy Predict Model.	FICTA (2)	2023	DBLP DOI BibTeX RDF
13	Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio	Precise Lazy Initialization for Programs with Complex Heap Inputs.	ISSRE	2023	DBLP DOI BibTeX RDF
13	Andrew Sengul	Faster APL with Lazy Extensions.	ARRAY@PLDI	2023	DBLP DOI BibTeX RDF
13	Júlia Baligács, Yann Disser, Farehe Soheil, David Weckbecker	Tight Analysis of the Lazy Algorithm for Open Online Dial-a-Ride.	WADS	2023	DBLP DOI BibTeX RDF
13	Yang Nan 0001, Tianye Shu, Hisao Ishibuchi	Two-Stage Lazy Greedy Inclusion Hypervolume Subset Selection for Large-Scale Problem.	SMC	2023	DBLP DOI BibTeX RDF
13	Shuo Han, Yinan Chen, Jiacheng Liu	Optimizing Investment Strategies with Lazy Factor and Probability Weighting: A Price Portfolio Forecasting and Mean-Variance Model with Transaction Costs Approach.	SMC	2023	DBLP DOI BibTeX RDF
13	Léo Gourdin	Lazy Code Transformations in a Formally Verified Compiler.	ICOOOLPS@ECOOP	2023	DBLP DOI BibTeX RDF
13	Tobias Schiele, Daria Kern, Ulrich Klauck	Lazy Labels for Chicken Segmentation.	KES	2023	DBLP DOI BibTeX RDF
13	Eduardo Peniche, Leandro Miranda, Flavia Bernardini, José Viterbo	FGT-SAMK-NN: impact of the right to be forgotten using a lazy algorithm in data stream learning.	ICEGOV	2023	DBLP DOI BibTeX RDF
13	Ansgar Lößer, Florian Raskob, Björn Scheuermann 0001	Lazy Read: Asynchronous Execution of Synchronous File I/O.	IEEE Big Data	2023	DBLP DOI BibTeX RDF
13	Jun Nemoto, Hiroyuki Yamada	The Case for Lazy Byzantine Fault Detection for Transactional Database Systems.	ICDCS Workshops	2023	DBLP DOI BibTeX RDF
13	Arthur Hemmer, Mickaël Coustaty, Nicola Bartolo, Jérôme Brachat, Jean-Marc Ogier	Lazy-k Decoding: Constrained Decoding for Information Extraction.	EMNLP	2023	DBLP DOI BibTeX RDF
13	Naman Agarwal, Satyen Kale, Karan Singh, Abhradeep Thakurta	Differentially Private and Lazy Online Convex Optimization.	COLT	2023	DBLP BibTeX RDF
13	Alexi Turcotte, Satyajit Gokhale, Frank Tip	Increasing the Responsiveness of Web Applications by Introducing Lazy Loading.	ASE	2023	DBLP DOI BibTeX RDF
13	Alexander Atanasov, Blake Bordelon, Sabarish Sainathan, Cengiz Pehlevan	The Onset of Variance-Limited Behavior for Networks in the Lazy and Rich Regimes.	ICLR	2023	DBLP BibTeX RDF
13	Zonglin Li, Chong You, Srinadh Bhojanapalli, Daliang Li, Ankit Singh Rawat, Sashank J. Reddi, Ke Ye, Felix Chern, Felix X. Yu, Ruiqi Guo, Sanjiv Kumar	The Lazy Neuron Phenomenon: On Emergence of Activation Sparsity in Transformers.	ICLR	2023	DBLP BibTeX RDF
13	Marco Bernardo 0001, Claudio Antares Mezzina	Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity.	FORMATS	2023	DBLP DOI BibTeX RDF
13	Zhenyu Zhu, Fanghui Liu 0001, Grigorios Chrysos 0002, Francesco Locatello, Volkan Cevher	Benign Overfitting in Deep Neural Networks under Lazy Training.	ICML	2023	DBLP BibTeX RDF
13	Nikita Doikov, El Mahdi Chayti, Martin Jaggi	Second-Order Optimization with Lazy Hessians.	ICML	2023	DBLP BibTeX RDF
13	Rui Xue, Haoyu Han, MohamadAli Torkamani, Jian Pei, Xiaorui Liu	LazyGNN: Large-Scale Graph Neural Networks via Lazy Propagation.	ICML	2023	DBLP BibTeX RDF
13	Boyin Liu, Zhiqiang Pu, Yi Pan, Jianqiang Yi, Yanyan Liang, Du Zhang	Lazy Agents: A New Perspective on Solving Sparse Reward Problem in Multi-agent Reinforcement Learning.	ICML	2023	DBLP BibTeX RDF
13	Alan Tomat	Interval Pattern Structures for Interpreting K-Nearest Neighbor Approach in Lazy Classification.	FCA4AI@IJCAI	2023	DBLP BibTeX RDF