Search results for "Lazy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Konstantinos Morfonios	Database Implementation of a Model-Free Classifier.	ADBIS	2007	DBLP DOI BibTeX RDF	Lazy Classification, Scalable Classification, Disk-Based Classification, Optimal Bayes
15	David Fisher, Olin Shivers	Static analysis for syntax objects.	ICFP	2006	DBLP DOI BibTeX RDF	extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros
15	M. Anton Ertl, Kevin Casey, David Gregg	Fast and flexible instruction selection with on-demand tree-parsing automata.	PLDI	2006	DBLP DOI BibTeX RDF	tree parsing, dynamic programming, automaton, lazy, instruction selection
15	Jacques Le Maitre	Describing multistructured XML documents by means of delay nodes.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	multistructured documents, XML, XQuery, lazy evaluation
15	Enric Plaza, Eva Armengol, Santiago Ontañón	The Explanatory Power of Symbolic Similarity in Case-Based Reasoning.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	symbolic similarity, case-based reasoning, explanation, lazy learning
15	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Dealing with incomplete knowledge on CLP(FD) variable domains.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	domain acquisition, interaction, Constraints, streams, sets, lazy evaluation
15	Jinxiang Chai, Jessica K. Hodgins	Performance animation from low-dimensional control signals.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	online control of human motion, performance animation, dimensionality reduction, lazy learning, vision-based interface, local modeling, motion capture data
15	Steve Dekorte	Io: a small programming language.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	prototype-based, object oriented, languages, actors, lazy evaluation, coroutines
15	Roly Perera, Jeff Foster	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
15	Roly Perera, Jeff Foster, György Koch	A delta-driven execution model for semantic computing.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	adaptive functions, delta-driven execution, lazy memoization, relational programming, incremental computation
15	Dongxi Liu, Zhenjiang Hu, Masato Takeichi	An environment for maintaining computation dependency in XML documents.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	computation dependency, programmable structured document, XML, functional programming, lazy evaluation
15	Rafael Bohrer Ávila, Philippe Olivier Alexandre Navaux, Pierre Lombard, Adrien Lebre, Yves Denneulin	Performance Evaluation of a Prototype Distributed NFS Server.	SBAC-PAD	2004	DBLP DOI BibTeX RDF	Lazy Release Consistency, parallel I/O, Parallel file systems, NFS
15	Peter Sanders 0001	Asynchronous Scheduling of Redundant Disk Arrays.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	lazy scheduling, random redundant storage, duplicate allocation, asynchronous, queuing theory, soft real time, bipartite matching, Parallel disks
15	Santiago Escobar 0001	Refining weakly outermost-needed rewriting and narrowing.	PPDP	2003	DBLP DOI BibTeX RDF	neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
15	Richard M. Karp, Christian Schindelhauer, Scott Shenker, Berthold Vöcking	Randomized Rumor Spreading.	FOCS	2000	DBLP DOI BibTeX RDF	randomized rumor spreading, epidemic algorithms, lazy update transmission, distributed database copies, randomized communication mechanism, parallel rounds, randomly selected communication partner, address-oblivious algorithm, random telephone calls, commmunication complexity, robustness, lower bound, information theory, communication complexity, database theory, time optimality, communication overhead, communication optimality, randomised algorithms, replicated databases, message transmissions
15	Dimitris Meretakis, Beat Wüthrich	Extending Naïve Bayes Classifiers Using Long Itemsets.	KDD	1999	DBLP DOI BibTeX RDF	classification, association mining, Bayesian learning, lazy learning
15	Arthur G. Duncan	Reusable Ada Libraries Supporting Infinite Data Structures.	SIGAda	1998	DBLP DOI BibTeX RDF	infinite data structures, Ada, Ada, functional programming, lazy evaluation
15	Marco A. Wiering, Jürgen Schmidhuber	Speeding up Q(lambda)-Learning.	ECML	1998	DBLP DOI BibTeX RDF	TD(), online Q(), Reinforcement learning, Q-learning, lazy learning
15	Scott E. Hudson, Ian E. Smith	Ultra-Lightweight Constraints.	ACM Symposium on User Interface Software and Technology	1996	DBLP DOI BibTeX RDF	lazy and incremental update, one-way constraint systems, user interface layout, Java, user interface toolkits, space optimization
15	Peter S. Magnusson, Bengt Werner	Efficient memory simulation in SimICS.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	efficient memory simulation, SimICS, instruction level simulator, complex memory hierarchies, user level code, system level code, software caching mechanism, Simulator Translation Cache, STC, interpreted memory operations, complex memory simulation code, lazy storage allocation, well defined internal interface, generic memory simulation, user extensions, threaded code, runtime selection, statistics gathering, memory profiling, data structures, data structures, virtual machines, multiprocessors, storage management, storage allocation
15	David R. Lester	An Efficient Distributed Collection Algorithm.	PARLE (1)	1989	DBLP DOI BibTeX RDF	G-Machine, Lazy Functional Languages, Garbage Collection, Declarative Languages, General Purpose Parallel Computer
15	Yi-Hsiu Wei, Jean-Luc Gaudiot	Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters
15	Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek	An efficient software transactional memory using commit-time invalidation.	CGO	2010	DBLP DOI BibTeX RDF	commit-time invalidation, software transactional memory
15	Cory J. Butz, Hong Yao, Shan Hua	A join tree probability propagation architecture for semantic modeling.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Join trees, Bayesian networks, Probabilistic inference, Conditional independence
15	Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku, Haojun Wang, Chung-Dau Wang	PLUS: A Message-Efficient Prototype for Location-Based Applications.	ICDE	2009	DBLP DOI BibTeX RDF
15	Zhipeng Xie	Boosting Local Naïve Bayesian Rules.	ISNN (2)	2009	DBLP DOI BibTeX RDF
15	Arrvindh Shriraman, Sandhya Dwarkadas	Refereeing conflicts in hardware transactional memory.	ICS	2009	DBLP DOI BibTeX RDF	transactional memory, contention management, conflict detection
15	Joan Boyar, Sandy Irani, Kim S. Larsen	A Comparison of Performance Measures for Online Algorithms.	WADS	2009	DBLP DOI BibTeX RDF
15	Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace 0001	Why Cumulative Decomposition Is Not as Bad as It Sounds.	CP	2009	DBLP DOI BibTeX RDF
15	Sebastian Mödersheim, Luca Viganò 0001	The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	FOSAD	2009	DBLP DOI BibTeX RDF
15	Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, Rajeev Balasubramonian	Scalable and reliable communication for hardware transactional memory.	PACT	2008	DBLP DOI BibTeX RDF	algorithms for transaction commit, handling message loss, on-chip network messages, token coherence, reliability, hardware transactional memory
15	Frank McCown, Michael L. Nelson	Recovering a website's server components from the web infrastructure.	JCDL	2008	DBLP DOI BibTeX RDF	search engine caches, web server, digital preservation, web archiving, backup
15	Hugo Herbelin, Silvia Ghilezan	An approach to call-by-name delimited continuations.	POPL	2008	DBLP DOI BibTeX RDF	boehm separability, delimited control, observational completeness, classical logic
15	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	RPO, Second-Order Contexts, and lambda-Calculus.	FoSSaCS	2008	DBLP DOI BibTeX RDF
15	Wei Jiang, Guangze Xiong, Xuyang Ding	Energy-Saving Service Scheduling for Low-End Cyber-Physical Systems.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Rafael Caballero 0001, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.	FLOPS	2008	DBLP DOI BibTeX RDF
15	Virendra J. Marathe, Mark Moir	Toward high performance nonblocking software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
15	Fabio Alessi, Paula Severi	Recursive Domain Equations of Filter Models.	SOFSEM	2008	DBLP DOI BibTeX RDF
15	Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn, Ian Watson	A first insight into object-aware hardware transactional memory.	SPAA	2008	DBLP DOI BibTeX RDF	object-oriented programming, transactional memory, concurrent programming
15	Wensheng Zhang 0001, Guohong Cao, Tom La Porta	Data Dissemination with Ring-Based Index for Wireless Sensor Networks.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	Wireless sensor networks, data dissemination
15	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
15	Duncan Coutts, Don Stewart, Roman Leshchinskiy	Rewriting Haskell Strings.	PADL	2007	DBLP DOI BibTeX RDF	Program fusion, Functional programming, Deforestation
15	Malcolm Wallace	Partial Parsing: Combining Choice with Commitment.	IFL	2007	DBLP DOI BibTeX RDF
15	Tsz-Chiu Au, Dana S. Nau	Reactive Query Policies: A Formalism for Planning with Volatile External Information.	CIDM	2007	DBLP DOI BibTeX RDF
15	Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta 0001	Co-Logic Programming: Extending Logic Programming with Coinduction.	ICALP	2007	DBLP DOI BibTeX RDF
15	Xiao Hu, Pengyong Ma, Shuming Chen	Scheduling for Combining Traffic of On-Chip Trace Data in Embedded Multi-core Processor.	ICESS	2007	DBLP DOI BibTeX RDF
15	Christophe Gonzales, Khaled Mellouli, Olfa Mourali	On Directed and Undirected Propagation Algorithms for Bayesian Networks.	ECSQARU	2007	DBLP DOI BibTeX RDF
15	Andrzej Filinski, Kristian Støvring	Inductive reasoning about effectful data types.	ICFP	2007	DBLP DOI BibTeX RDF	abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
15	Piotr Zajac, Jacques Henri Collet	Production Yield and Self-Configuration in the Future Massively Defective Nanochips.	DFT	2007	DBLP DOI BibTeX RDF
15	Dominique Unruh	Random Oracles and Auxiliary Input.	CRYPTO	2007	DBLP DOI BibTeX RDF	auxiliary input, proof techniques, Random oracles, foundations
15	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
15	Dominik Gruntz	Infinite streams in Java.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
15	Harry Shum	Human Intention Modeling and Interactive Computer Vision.	IROS	2006	DBLP DOI BibTeX RDF
15	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
15	Chao Wang 0001, Aarti Gupta, Malay K. Ganai	Predicate learning and selective theory deduction for a difference logic solver.	DAC	2006	DBLP DOI BibTeX RDF	difference logic, SAT, decision procedure, SMT solver
15	Shiva Chaitanya, Kevin R. B. Butler, Anand Sivasubramaniam, Patrick D. McDaniel, Murali Vilayannur	Design, implementation and evaluation of security in iSCSI-based network storage systems.	StorageSS	2006	DBLP DOI BibTeX RDF	authentication, encryption, IPSec, iSCSI
15	Ing-Ray Chen, Baoshan Gu, Sapna E. George, Sheng-Tzong Cheng	On failure recoverability of client-server applications in mobile wireless environments.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
15	Marcelo Lobosco, Orlando Loques, Claudio Luis de Amorim	Reducing Memory Sharing Overheads in Distributed JVMs.	HPCC	2005	DBLP DOI BibTeX RDF	concurrent Java applications, Java, high-performance computing, cluster computing, JVM, distributed shared memory
15	Kwang-Sik Chung, Heon-Chang Yu, Seongbin Park	Garbage Collection in a Causal Message Logging Protocol.	HPCC	2005	DBLP DOI BibTeX RDF
15	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
15	Wenliang Du, Michael T. Goodrich	Searching for High-Value Rare Events with Uncheatable Grid Computing.	ACNS	2005	DBLP DOI BibTeX RDF	security, Grid computing, obfuscation, cheating, cryptographic hash functions
15	Zhe Xiang, Hangjin Zhang, Jian Huang, Song Song, Kevin C. Almeroth	A Hidden Environment Model for Constructing Indoor Radio Maps.	WOWMOM	2005	DBLP DOI BibTeX RDF
15	Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar	Joining dataflow with predicates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	counterexample analysis, model checking, dataflow analysis, predicate abstraction
15	Teresa Alsinet, Felip Manyà, Jordi Planes	Improved Exact Solvers for Weighted Max-SAT.	SAT	2005	DBLP DOI BibTeX RDF
15	Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati	Natural Narrowing for General Term Rewriting Systems.	RTA	2005	DBLP DOI BibTeX RDF
15	Rafael del Vado Vírseda	Declarative Constraint Programming with Definitional Trees.	FroCoS	2005	DBLP DOI BibTeX RDF
15	Christoph Lindemann, Oliver P. Waldhorst	Exploiting epidemic data dissemination for consistent lookup operations in mobile applications.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
15	Frank J. Seinstra, Dennis C. Koelma, Andrew D. Bagdanov	Finite State Machine-Based Optimization of Data Parallel Regular Domain Problems Applied in Low-Level Image Processing.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	data communications aspects, image processing software, optimization, Parallel processing
15	Ilhan Uysal, H. Altay Güvenir	Instance-Based Regression by Partitioning Feature Projections.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	feature projections, machine learning, regression
15	Janis Voigtländer	Using Circular Programs to Deforest in Accumulating Parameters.	High. Order Symb. Comput.	2004	DBLP DOI BibTeX RDF	intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs
15	Andrew P. Tolmach, Sergio Antoy, Marius Nita	Implementing functional logic languages using multiple threads and stores.	ICFP	2004	DBLP DOI BibTeX RDF	functional logic languages, multi-versioned stores, residuation, narrowing
15	Eva Armengol, Enric Plaza	Multiple-Instance Case-Based Learning for Predictive Toxicology.	KELSI	2004	DBLP DOI BibTeX RDF
15	Rui Camacho	IndLog - Induction in Logic.	JELIA	2004	DBLP DOI BibTeX RDF
15	Xiaoxu Han, James Cremer, Zhihong Wang, Jun Ni	LRZB, a Hybrid Algorithm of Local Ray-Casting and Z-Buffering for Large Geometric Datasets.	GCC Workshops	2004	DBLP DOI BibTeX RDF
15	Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí	An Analytical Design of a Practical Replication Protocol for Distributed Systems.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
15	Nadia Nedjah, Luiza de Macedo Mourelle	Complete Pattern Matching: Recursivity Versus Multi-threading.	VECPAR	2004	DBLP DOI BibTeX RDF
15	Misook Bae, Buhyun Hwang	Transaction Processing in Partially Replicated Databases.	CIS	2004	DBLP DOI BibTeX RDF
15	Eva Armengol, Enric Plaza	Remembering Similitude Terms in CBR.	MLDM	2003	DBLP DOI BibTeX RDF
15	Mithuna Thottethodi, Alvin R. Lebeck, Shubhendu S. Mukherjee	BLAM : A High-Performance Routing Algorithm for Virtual Cut-Through Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	non-minimal routing, chaotic routing, Multiprocessor interconnection networks, routing algorithm, k-ary n-cubes, virtual cut-through
15	Christoph Lindemann, Oliver P. Waldhorst	Consistency mechanisms for a distributed lookup service supporting mobile applications.	MobiDE	2003	DBLP DOI BibTeX RDF	ad-hoc networked databases, consistency maintenance in weakly connected environments, epidemic algorithms for data dissemination, data caching
15	Simon Frankau, Alan Mycroft	Stream Processing Hardware from Functional Language Specifications.	HICSS	2003	DBLP DOI BibTeX RDF
15	Byungwook Lee	Weak Consistency in Hybrid Group Update for Replication.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
15	Rui Camacho	Improving the Efficiency of ILP Systems.	EPIA	2003	DBLP DOI BibTeX RDF
15		Notice of Errata.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF
15	Steven R. Newcomb	Preemptive Reification.	ISWC	2002	DBLP DOI BibTeX RDF
15	Anthony M. Sloane	Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain.	HICSS	2002	DBLP DOI BibTeX RDF	domain-specific embedded languages, software build systems, evaluation, functional languages
15	Dexter Kozen, Matthew Stillerman	Eager Class Initialization for Java.	FTRTFT	2002	DBLP DOI BibTeX RDF
15	Flavio Corradini, Marco Pistore	'Closed Interval Process Algebra' versus 'Interval Process Algebra'.	Acta Informatica	2001	DBLP DOI BibTeX RDF
15	Alberto de la Encina, Ricardo Pena	Proving the Correctness of the STG Machine.	IFL	2001	DBLP DOI BibTeX RDF
15	Bo Xu 0001, Ouri Wolfson, Sam Chamberlain	Cost Based Data Dissemination in Broadcast Networks with Disconnection.	ICDT	2001	DBLP DOI BibTeX RDF
15	Santiago Ontañón, Enric Plaza	Learning When to Collaborate among Learning Agents.	ECML	2001	DBLP DOI BibTeX RDF
15	Elvira Albert, Germán Vidal	Symbolic Profiling for Multi-paradigm Declarative Languages.	LOPSTR	2001	DBLP DOI BibTeX RDF
15	Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Polygonizing Implicit Surfaces in a Purely Functional Way.	IFL	2000	DBLP DOI BibTeX RDF
15	Hans-Juergen Boehm	Reducing Garbage Collector Cache Misses.	ISMM	2000	DBLP DOI BibTeX RDF
15	Michal Cierniak, Guei-Yuan Lueh, James M. Stichnoth	Practicing JUDO: Java under dynamic optimizations.	PLDI	2000	DBLP DOI BibTeX RDF
15	Alois P. Heinz	Tree-Structured Neural Networks: Efficient Evaluation of Higher-Order Derivatives and Integrals.	IJCNN (2)	2000	DBLP DOI BibTeX RDF
15	Yury P. Serdyuk	Partial Evaluations in a Set-Theoretic Query Language for the WWW.	FoIKS	2000	DBLP DOI BibTeX RDF
15	Bertram Ludäscher, Yannis Papakonstantinou, Pavel E. Velikhov	Navigation-Driven Evaluation of Virtual Mediated Views.	EDBT	2000	DBLP DOI BibTeX RDF
15	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
15	John Launchbury, Jeffrey R. Lewis, Byron Cook	On Embedding a Microarchitectural Design Language within Haskell.	ICFP	1999	DBLP DOI BibTeX RDF