laziness - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

Making the Best of Temporal Locality: Just-in-Time Renaming and Lazy Write-Back on the Cell/B.EPieter Bellens, Josep M. Pérez, Rosa M. Badia, Jesús Labarta. ijhpca, 25(2):137-147, 2011. [doi]

Lazy Sliding Window Implementation of the Bilateral Filter on Parallel ArchitecturesMichael M. Bronstein. TIP, 20(6):1751-1756, 2011. [doi]

A semantics for lazy assertionsOlaf Chitil. PEPM 2011: 141-150 [doi]

Symmetries and Lazy Clause GenerationGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears. IJCAI 2011: 516-521 [doi]

Boosting Lazy Abstraction for SystemC with Partial Order ReductionAlessandro Cimatti, Iman Narasamdya, Marco Roveri. TACAS 2011: 341-356 [doi]

Applied Artificial Intelligence Techniques for Identifying the Lazy Eye Vision DisorderPatrick G. Clark, Arvin Agah, Gerhard W. Cibis. jois, 20(2):101-127, 2011. [doi]

Lazy User Model: Solution Selection and Discussion about Switching CostsMikael Collan, Franck Tétard. scis 2011: 56-68 [doi]

Incremental reasoning with lazy behavioral subtyping for multiple inheritanceJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. SCP, 76(10):915-941, 2011. [doi]

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood GenerationChristian Drescher, Toby Walsh. AAAI 2011: [doi]

Lazy productivity via terminationJörg Endrullis, Dimitri Hendriks. TCS, 412(28):3203-3225, 2011. [doi]

Strictification of circular programsJoão Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer. PEPM 2011: 131-140 [doi]

A lazy learning approach for building classification modelsInés María Galván, Jos M. Valls, Miguel García, Pedro Isasi. ijis, 26(8):773-786, 2011. [doi]

The lazy initialization multilayered modeling framework: NIER trackFahad R. Golra, Fabien Dagnat. ICSE 2011: 924-927 [doi]

Understanding bloom filter intersection for lazy address-set disambiguationMark C. Jeffrey, J. Gregory Steffan. spaa 2011: 345-354 [doi]

A lazy, lightweight algorithm for generating very large navigable terrainsBruce Johnson. ACMse 2011: 281-286 [doi]

Dynamic World Model with the Lazy Potential FunctionKonrad Kulakowski, Tomasz Stepien. kesamsta 2011: 190-199 [doi]

Lazy symbolic execution for test data generationMengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. iee, 5(2):132-141, 2011. [doi]

Theoretical and experimental evaluation of communication-induced checkpointing protocols in F::E:: and F::Lazy-E:: familiesYi Luo, D. Manivannan. pe, 68(5):429-445, 2011. [doi]

A generic lazy evaluation scheme for exact geometric computationsSylvain Pion, Andreas Fabri. SCP, 76(4):307-323, 2011. [doi]

Searching for a Visible, Lazy FugitiveDavid Richerby, Dimitrios M. Thilikos. siamdm, 25(2):497-513, 2011. [doi]

Refined typing to localize the impact of forced strictness on free theoremsDaniel Seidel, Janis Voigtländer. ACTA, 48(3):191-211, 2011. [doi]

Calibrated lazy associative classificationAdriano Veloso, Wagner Meira Jr., Marcos André Gonçalves, Humberto Mossri de Almeida, Mohammed Javeed Zaki. isci, 181(13):2656-2670, 2011. [doi]

2010

Lazy Induction of Descriptions Using Two Fuzzy Versions of the Rand IndexEva Armengol, Àngel García-Cerdaña. ipmu 2010: 396-405 [doi]

Single-query, Bi-directional, Lazy roadmap planner applied to car-like robotsStephen Balakirsky, Denis Dimitrov. icra 2010: 5015-5020 [doi]

Lazy tree splittingLars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet. ICFP 2010: 93-104 [doi]

A flexible schema for generating explanations in lazy theory propagationRoberto Bruttomesso, Edgar Pek, Natasha Sharygina. memocode 2010: 41-48 [doi]

A lazy object-space shading architecture with decoupled samplingChristopher A. Burns, Kayvon Fatahalian, William R. Mark. egh 2010: 19-28 [doi]

Lazy Abstraction for Size-Change TerminationMichael Codish, Carsten Fuhs, Jürgen Giesl, Peter Schneider-Kamp. lpar 2010: 217-232 [doi]

Lazy behavioral subtypingJohan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. jlp, 79(7):578-607, 2010. [doi]

On Lazy Representations and Sturmian GraphsChiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey Shallit. wia 2011: 125-134 [doi]

Lazy sensors for the scheduling of measurement samples transmission in linear closed loops over networksFulvio Forni, Sergio Galeani, Dragan Nesic, Luca Zaccarian. cdc 2010: 6469-6474 [doi]

From Nondeterministic Suffix Automaton to Lazy Suffix TreeKimmo Fredriksson. birthday 2010: 114-129 [doi]

Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidanceXin Gao, Luca Macchiarulo. date 2010: 1279-1284 [doi]

Completely Lazy LearningEric K. Garcia, Sergey Feldman, Maya R. Gupta, Santosh Srivastava. tkde, 22(9):1274-1285, 2010. [doi]

Learning When to Use Lazy Learning in Constraint SolvingIan P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie. ecai 2010: 873-878 [doi]

Lazy Explanations for Constraint PropagatorsIan P. Gent, Ian Miguel, Neil C. A. Moore. padl 2010: 217-233 [doi]

Peer-to-Peer Storage Systems: A Practical Guideline to be LazyFrédéric Giroire, Julian Monteiro, Stéphane Pérennes. globecom 2010: 1-6 [doi]

On lazy evaluation as a tool to optimize the efficiency of large scale numerical simulations in PythonLutz Gross, Artak Amirbekyan, J. Fenwick, L. Gao, A. Mohajeri, Hans-B. Mühlhaus. procedia, 1(1):2145-2153, 2010. [doi]

Lazy Combinators for Executable Specifications of General Attribute GrammarsRahmatullah Hafiz, Richard A. Frost. padl 2010: 167-182 [doi]

Optimizing relational algebra operations using generic equivalence discriminators and lazy productsFritz Henglein. PEPM 2010: 73-82 [doi]

Solving string constraints lazilyPieter Hooimeijer, Westley Weimer. kbse 2010: 377-386 [doi]

The Utility Problem for Lazy Learners - Towards a Non-eager ApproachTor Gunnar Houeland, Agnar Aamodt. iccbr 2010: 141-155 [doi]

Interprocedural Analysis with Lazy PropagationSimon Holm Jensen, Anders Møller, Peter Thiemann. SAS 2010: 320-339 [doi]

Diagnosis of Active Systems by Lazy TechniquesGianfranco Lamperti, Marina Zanella. ICEIS 2010: 171-180

Formal Reasoning About Lazy-STM ProgramsYong Li, Yu Zhang, Yiyun Chen, Ming Fu. jcst, 25(4):841-852, 2010. [doi]

A new strategy to improve the predictive ability of the local lazy regression and its application to the QSAR study of melanin-concentrating hormone receptor 1 antagonistsJiazhong Li, Shuyan Li, Beilei Lei, Huanxiang Liu, Xiaojun Yao, Mancang Liu, Paola Gramatica. jcc, 31(5):973-985, 2010. [doi]

On Lazy Bin Covering and Packing problemsMingen Lin, Yang Yang, Jinhui Xu. TCS, 411(1):277-284, 2010. [doi]

Improved Approximation Algorithms for Maximum Resource Bin Packing and Lazy Bin Covering ProblemsMingen Lin, Yang Yang, Jinhui Xu. algorithmica, 57(2):232-251, 2010. [doi]

Improvements to message computation in lazy propagationA. L. Madsen. ijar, 51(5):499-514, 2010. [doi]

Lazy Annotation for Program Testing and VerificationKenneth L. McMillan. cav 2010: 104-118 [doi]

Lazy yet efficient land-cover map generation for HR optical imagesJulien Michel, Julien Malik, Jordi Inglada. igarss 2010: 1863-1866 [doi]

Lazy View Maintenance for Social Networking ApplicationsKeita Mikami, Shinji Morishita, Makoto Onizuka. dasfaa 2010: 347-358 [doi]

Quantifier Elimination by Lazy Model EnumerationDavid Monniaux. cav 2010: 585-599 [doi]

Similarity-Based Equality with Lazy EvaluationGinés Moreno. ipmu 2010: 108-117 [doi]

Lazy Probability Propagation on Gaussian Bayesian NetworksHua Mu, Meiping Wu, Hongxu Ma, Tim Bailey. ictai 2010: 303-310 [doi]

Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3DAlex Nash, Sven Koenig, Craig A. Tovey. socs 2010: [doi]

Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3DAlex Nash, Sven Koenig, Craig A. Tovey. AAAI 2010: [doi]

LV:::*:::: A low complexity lazy versioning HTM infrastructureAnurag Negi, M. M. Waliullah, Per Stenström. samos 2010: 231-240 [doi]

A Lazy Processing Approach to User Relevance Feedback for Content-Based Image RetrievalSirikunya Nilpanich, Kien A. Hua, Antoniya Petkova, Yao Hua Ho. ism 2010: 342-346 [doi]

Optimizations of LFS with slack space recycling and lazy indirect block updateYongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh. systor 2010: [doi]

ScalableBulk: Scalable Cache Coherence for Atomic Blocks in a Lazy EnvironmentXuehai Qian, Wonsun Ahn, Josep Torrellas. micro 2010: 447-458 [doi]

Lazy Runtime Verification for Constraints on Interacting ObjectsJin Shao, Fang Deng, Haiwen Liu, Qianxiang Wang, Hong Mei. apsec 2010: 242-251 [doi]

Lazy binary-splitting: a run-time adaptive work-stealing schedulerAlexandros Tzannes, George C. Caragea, Rajeev Barua, Uzi Vishkin. ppopp 2010: 179-190 [doi]

A lazy approach to symmetry reductionThomas Wahl, Vijay D Silva. fac, 22(6):713-733, 2010. [doi]

Efficient Lazy Evaluation of Rule-Based ProgramsPeter Van Weert. tkde, 22(11):1521-1534, 2010. [doi]

Lazy texture selection based on active learningTian Xia, Qing Wu, Chun Chen, Yizhou Yu. vc, 26(3):157-169, 2010. [doi]

L4RW: Laziness-based Realistic Real-time Responsive Rebalance in WalkingMingliang Xu, Huansen Li, Pei Lv, Wenzhi Chen, Gengdai Liu, Pengyu Zhu, Zhigeng Pan. cgf, 29(7):2187-2196, 2010. [doi]

Model Checking a Lazy Concurrent List-Based Set AlgorithmShao Jie Zhang, Yang Liu 0003. ssiri 2010: 43-52 [doi]

2009

Lazy-Adaptive Tree: An Optimized Index Structure for Flash DevicesDevesh Agrawal, Deepak Ganesan, Ramesh K. Sitaraman, Yanlei Diao, Shashi Singh. pvldb, 2(1):361-372, 2009. [doi]

Just-in-Time Renaming and Lazy Write-Back on the Cell/B.E.Pieter Bellens, Josep M. PÃ©rez, Rosa M. Badia, JesÃºs Labarta. icppw 2009: 138-145 [doi]

A Technique to Build Debugging Tools for Lazy Functional Logic LanguagesBernd BraÃŸel. ENTCS, 246:39-53, 2009. [doi]

Lazy Updates: An Efficient Technique to Continuously Monitoring Reverse kNNMuhammad Aamir Cheema, Xuemin Lin, Ying Zhang, Wei Wang, Wenjie Zhang. pvldb, 2(1):1138-1149, 2009. [doi]

Lazy naive credal classifierGiorgio Corani, Marco Zaffalon. kdd 2009: 30-37 [doi]

True Lies: Lazy Contracts for Lazy LanguagesMarkus Degen, Peter Thiemann, Stefan Wehr. gi 2009: 2946-2959

Reducts Evaluation Methods Using Lazy AlgorithmsPawel Delimata, Zbigniew Suraj. rskt 2009: 120-127 [doi]

On Lazy CommutationNachum Dershowitz. birthday 2009: 59-82 [doi]

Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLsEelco Dolstra. ENTCS, 238(5):81-99, 2009. [doi]

2LP: A double-lazy XML parserFernando Farfán, Vagelis Hristidis, Raju Rangaswami. is, 34(1):145-163, 2009. [doi]

Lazy Clause Generation ReengineeredThibaut Feydy, Peter J. Stuckey. cp 2009: 352-366 [doi]

Purely functional lazy non-deterministic programmingSebastian Fischer, Oleg Kiselyov, Chung-chieh Shan. ICFP 2009: 11-22 [doi]

Hardness of lazy packing and coveringLing Gai, Guochuan Zhang. orl, 37(2):89-92, 2009. [doi]

Lazy evaluation and delimited controlRonald Garcia, Andrew Lumsdaine, Amr Sabry. POPL 2009: 153-164 [doi]

An Analytic Model for Optimistic STM with Lazy LockingArmin Heindl, Gilles Pokam. asmta 2009: 339-353 [doi]

To be or not to be ...lazy (In a Parallel Context)Mercedes Hidalgo-Herrero, Yolanda Ortega-MallÃ©n. ENTCS, 258(1):21-39, 2009. [doi]

Lazy scheduling of processing and transmission tasks in collaborative systemsSasa Junuzovic, Prasun Dewan. group 2009: 159-168 [doi]

Improving Coq Propositional Reasoning Using a Lazy CNF Conversion SchemeStÃ©phane Lescuyer, Sylvain Conchon. frocos 2009: 287-303 [doi]

The Promises of Typed, Pure, and Lazy Functional Programming: Part IIKonstantin LÃ¤ufer, George K. Thiruvathukal. cse, 11(5):68-75, 2009. [doi]

A Lazy Unbounded Model Checker for Event-BPaulo J. Matos, Bernd Fischer, JoÃ£o P. Marques Silva. icfem 2009: 485-503 [doi]

Lazy and Forgetful Polynomial Arithmetic and ApplicationsMichael B. Monagan, Paul Vrbik. casc 2009: 226-239 [doi]

SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic DatabasesDan Olteanu, Jiewen Huang, Christoph Koch. icde 2009: 640-651 [doi]

Lazy-Update B+-Tree for Flash DevicesSai Tung On, Haibo Hu, Yu Li, Jianliang Xu. MDM 2009: 323-328 [doi]

GASP: Answer Set Programming with Lazy GroundingAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. FUIN, 96(3):297-322, 2009. [doi]

Faster MT Decoding Through Pervasive LazinessMichael Pust, Kevin Knight. naacl 2009: 141-144 [doi]

Explicit error bounds for lazy reversible Markov chain Monte CarloDaniel Rudolf. jc, 25(1):11-24, 2009. [doi]

Experience report: Haskell in the real world : writing a commercial application in a lazy functional lanuageCurt J. Sampson. ICFP 2009: 185-190 [doi]

Dynamically Filtering Thread-Local Variables in Lazy-Lazy Hardware Transactional MemorySutirtha Sanyal, Sourav Roy, AdriÃ¡n Cristal, Osman S. Unsal, Mateo Valero. hpcc 2009: 171-179 [doi]

Lazy Decoding for Block Fading ChannelsEmilio Calvanese Strinati. vtc 2009: [doi]

EazyHTM: eager-lazy hardware transactional memorySasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, AdriÃ Armejach, AdriÃ¡n Cristal, Osman S. Unsal, Tim Harris, Mateo Valero. micro 2009: 145-155 [doi]

Verified validation of lazy code motionJean-Baptiste Tristan, Xavier Leroy. PLDI 2009: 316-326 [doi]

Lazy User Theory: A Dynamic Model to Understand User Selection of Products and ServicesFranck Tétard, Mikael Collan. hicss 2009: 1-9 [doi]

PreviousNext