Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 106 for “"lazy"”.
-
Lazy Fault Detection for Redundant MPI
<p>As the scale of supercomputers grows, it is becoming increasingly important for software to efficiently withstand hardware and software faults. Process replication is one resilience technique, but typical implementations require replicas to stay closely synchronized with each other. We propose …
-
Interoperation for Lazy and Eager Evaluation
… model of computation that resolves incompatible lazy and eager eval- uation strategies using dual notions of evaluation contexts and values to mirror the lazy evaluation strategy in the eager one. This method could be extended to resolve incompatible evaluation strategies for any pair of …
-
Slivers, computational modularity via synchronized lazy aggregates
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Lazy type changes in object-oriented databases
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
-
Lazy Preservation: Reconstructing Websites from the Web Infrastructure
… this dissertation introduces the concept of lazy preservation{ digital preservation performed as a result of the normal operations of the Web Infrastructure (web archives, search engines and caches). First, the Web Infrastructure (WI) is characterized by its preservation capacity and …
-
A lazy directory-based implementation of consistent replicated storage
Recent work in replicated datastores has focused on making availability and low latency the primary requirements. We present two directory-based data- stores which make strong application semantics a primary requirement based on ideas from cache coherence in multiprocessors and distributed shared …
-
Hybrid eager and lazy evaluation for efficient compilation of Haskell
… lies in its clean equational semantics. However, lazy implementations of Haskell fall short: they cannot express tail recursion gracefully without annotation. We describe resource-bounded hybrid evaluation, a mixture of strict and lazy evaluation, and its realization in Eager Haskell. From the …
-
Weld strength and crack growth ductility from the Lazy-L test
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1995.
-
Solutions for the flows induced by lazy, forced and pure turbulent plumes
… for the curved perimeter of the contracting lazy plume. This modelling approach is robust in that future developments to aspects of the modelling, for instance, the formulation of a new entrainment closure, can be straightforwardly accounted for using the method. The induced flow solutions …
-
Deep neural networks are lazy : on the inductive bias of deep learning
… inductive bias stems from neural networks being lazy: they tend to learn simpler rules first. We also propose a definition of simplicity in deep learning based on the implicit priors ingrained in deep neural networks.
-
How to Activate your Lazy Fat: Exercise induced mechanisms to improve insulin sensitivity in obese humans
Contains fulltext : 326574.pdf (Publisher’s version ) (Open Access)
-
Analysis and results of the Lazy-L tests for the strength and fracture behavior of welded T-joints
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Ocean Engineering, 1996, and Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1996.
-
Exploration of Cancellation Strategies for Parallel Simulation on Multi-Core Beowulf Clusters
… events, namely: aggressive cancellation and lazy cancellation. When using aggressive cancellation, the LP will immediately send anti-messages to cancel the events which were prematurely generated. In contrast, lazy cancellation will not send anti-messages until re-computation shows that the …
-
Fast in-memory storage systems : two aspects
… limited by slow writes to stable disk storage. Lazy VSR is a quorum-based replication protocol that is fast and can recover from simultaneous crashes of all the replicas as long as a majority revive with intact disks. The main idea is to acknowledge requests after recording them in memory, and …
-
Turbulent convection from an area source in a confined space
… density stratification produced by a turbulent lazy plume that is formed by the release of buoyant fluid from a circular source in a cylindrical container. This configuration allows us to explore a host of convection problems that uncover important features of the dynamics of turbulent plumes, …
-
Towards Usable API Documentation
… of 30 practitioners, we found that fixing the lazy smell was perceived as the most feasible and impactful. However, there was no universal consensus on whether and how other smells can/should be fixed. Finally, we proposed a two-stage pipeline for fixing lazy documentation, involving additional …
-
GridSLAM on the RAPTOR autonomous vehicle
… GridSLAM implementation uses sparse, shared, and lazy data structures to reduce memory usage and computation requirements.
-
The lazy root : Will a change in the rainfall regime or increased anthropogenic nitrogen result in an alteration in the competitive balance between trees and grassed in a semi-arid South Africa savanna?
In an attempt to determine why trees and grasses are able to coexist in savannas, Walter (1971) first proposed the root niche separation model for savannas which suggests that trees and grasses have differential access to water due to spatial differences in their rooting profiles. Subsequent …
-
Universal domains for sequential computation
… data such as potentially infinite streams, lazy trees, and functions. Since these objects do not have finite canonical representations, computations over these objects cannot be accurately modeled as ordinary computations over the natural numbers. In my thesis, I develop a theory of higher …
-
A model checker for Java bytecode, with novel applications
… of model checker and symbolic execution with lazy abstraction, we have been successful to validate whether a program satisfies the given properties or not.
Page 1 of 6