laziness - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 905

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: 1772-1773 [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]

Lazy Explanations for Constraint PropagatorsIan P. Gent, Ian Miguel, Neil C. A. Moore. PADL 2010: 217-233 [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]

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. ASE 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

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]

Formal Reasoning About Lazy-STM ProgramsYong Li, Yu Zhang, Yiyun Chen, Ming Fu. jcst, 25(4):841-852, 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: 153-154 [doi]

Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3DAlex Nash, Sven Koenig, Craig A. Tovey. AAAI 2010: 147-154 [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

Multiple target tracking with lazy background subtraction and connected components analysisRobert G. Abbott, Lance R. Williams. mva, 20(2):93-101, 2009. [doi]

Lazy Classification Using an Optimized Instance-Based LearnerRui Pedro Barbosa, Orlando Belo. ideal 2009: 66-73 [doi]

Lazy functional incremental parsingJean-Philippe Bernardy. haskell 2009: 49-60 [doi]

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

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

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

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

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

A Lazy Approach for Machine Learning AlgorithmsInÃ©s MarÃa GalvÃ¡n, JosÃ M. Valls, Nicolas Lecomte, Pedro Isasi. ifip12 2009: 517-522 [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]

Derivation in Scattered Context Grammar via Lazy Function EvaluationOta Jirák, Dusan Kolár. memics 2009: [doi]

A family of syntactic logical relations for the semantics of Haskell-like languagesPatricia Johann, Janis Voigtländer. iandc, 207(2):341-368, 2009. [doi]

Embedded Probabilistic ProgrammingOleg Kiselyov, Chung-chieh Shan. DSL 2009: 360-384 [doi]

Proving the Equivalence of Higher-Order Terms by Means of SupercompilationIlya Klyuchnikov, Sergei A. Romanenko. ershov 2010: 193-205 [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]

A framework for describing web repositoriesFrank McCown, Michael L. Nelson. JCDL 2009: 341-344 [doi]

SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic DatabasesDan Olteanu, Jiewen Huang, Christoph Koch. icde 2009: 640-651 [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]

Taming Selective StrictnessDaniel Seidel, Janis Voigtländer. gi 2009: 2916-2930

Workflow representation and runtime based on lazy functional streamsMatthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony. sc 2009: [doi]

Lazy continuations for Java virtual machinesLukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose. PPPJ 2009: 143-152 [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]

Lazy Constraint Imposing for Improving the Path ConstraintRuben Duarte Viegas, Francisco Azevedo. ENTCS, 253(4):113-128, 2009. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: laziness

Viewing Publication 1 - 100 from 905

2011

2010

2009

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: laziness

Viewing Publication 1 - 100 from 905

2011

2010

2009

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1