Advanced Search
DSpace@MIT

Browsing Computer Science (CS) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science (CS) by Title

Sort by: Order: Results:

  • Failure-Oblivious Computing and Boundless Memory Blocks 
    Rinard, Martin C. (2005-01)
    Memory errors are a common cause of incorrect software execution and security vulnerabilities. We have developed two new techniques that help software continue to execute successfully through memory errors: failure-oblivious ...
  • Fast Serial Append File I/O Mode For Cilk 
    CaracaÅŸ, Alexandru (2004-01)
    We introduce Serial Append, a new parallel file I/O mode well suited for parallel applications. Serial Append allows parallel applications to efficiently perform file I/O in parallel while maintaining a structure that makes ...
  • Fast Sorting on a Distributed-Memory Architecture 
    Cheng, David R.; Shah, Viral; Gilbert, John R.; Edelman, Alan (2005-01)
    We consider the often-studied problem of sorting, for a parallel computer. Given an input array distributed evenly over p processors, the task is to compute the sorted output array, also distributed over the p processors. ...
  • Financial Information Integration In the Presence of Equational Ontological Conflicts 
    Firat, Aykut; Madnick, Stuart E.; Grosof, Benjamin (2003-01)
    While there are efforts to establish a single international accounting standard, there are strong current and future needs to handle heterogeneous accounting methods and systems. We advocate a context-based approach to ...
  • Financial Information Mediation: A Case Study of Standards Integration for Electronic Bill Presentment and Payment Using the COIN Mediation Technology 
    Jayasena, Sajindra Kolitha Bandara; Bressan, Stéphane; Madnick, Stuart E. (2005-01)
    Each player in the financial industry, each bank, stock exchange, government agency, or insurance company operates its own financial information system or systems. By its very nature, financial information, like the ...
  • Finite Energy Survey Propagation for Constraint Satisfaction Problems 
    Chieu, Hai Leong (2007-01)
    The Survey Propagation (SP) algorithm [1] has recently been shown to work well in the hard region for random K-SAT problems. SP has its origins in sophisticated arguments in statistical physics, and can be derived from an ...
  • Flash Photography Enhancement via Intrinsic Relighting 
    Eisemann, Elmar; Durand, Frédo (2005-01)
    We enhance photographs shot in dark environments by combining a picture taken with the available light and one taken with the flash. We preserve the ambiance of the original lighting and insert the sharpness from the flash ...
  • Free Probability, Sample Covariance Matrices and Stochastic Eigen-Inference 
    Edelman, Alan; Rao, N. Raj (2006-01)
    Random matrix theory is now a big subject with applications in many disciplines of science, engineering and finance. This talk is a survey specifically oriented towards the needs and interests of a computationally inclined ...
  • Global Comparison Aggregation Services 
    Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2003-01)
    Web aggregation has been available regionally for several years, but this service has not been offered globally. As an example, using multiple regional comparison aggregators, we analyze the global prices for a Sony ...
  • Global Data Computation in a Dedicated Chordal Ring 
    Wang, Xianbing; Teo, Yong Meng (2006-01)
    Existing Global Data Computation (GDC) protocols for asynchronous systems are designed for fully connected networks. In this paper, we discuss GDC in a dedicated asynchronous chordal ring, a type of un-fully connected ...
  • Hardware Transactional Memory 
    Lie, Sean; Asanovic, Krste; Kuszmaul, Bradley C.; Leiserson, Charles E. (2004-01)
    This work shows how hardware transactional memory (HTM) can be implemented to support transactions of arbitrarily large size, while ensuring that small transactions run efficiently. Our implementation handles small ...
  • Hierarchical Multi-Bottleneck Classification Method And Its Application to DNA Microarray Expression Data 
    Xiong, Xuejian; Wong, Weng Fai; Hsu, Wen Jing (2003-01)
    The recent development of DNA microarray technology is creating a wealth of gene expression data. Typically these datasets have high dimensionality and a lot of varieties. Analysis of DNA microarray expression data is a ...
  • How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation 
    Zhao, Qin; Amarasinghe, Saman P.; Rabbah, Rodric M.; Rudolph, Larry; Wong, Weng Fai (2007-01)
    Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause execution and inspect the state of the ...
  • Imitation Learning of Whole-Body Grasps 
    Hsiao, Kaijen; Lozano-Pérez, Tomás (2006-01)
    Humans often learn to manipulate objects by observing other people. In much the same way, robots can use imitation learning to pick up useful skills. A system is detailed here for using imitation learning to teach a robot ...
  • Improving Data Quality Through Effective Use of Data Semantics 
    Madnick, Stuart E. (2004-01)
    Data quality issues have taken on increasing importance in recent years. In our research, we have discovered that many “data quality” problems are actually “data misinterpretation” problems – that is, problems with data ...
  • Increasing and Detecting Memory Address Congruence 
    Larsen, Samuel; Witchel, Emmett; Amarasinghe, Saman P. (2003-01)
    A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence information at compile-time enables new classes ...
  • Incremental Verification of Timing Constraints for Real-Time Systems 
    Andrei, Åžtefan; Chin, Wei Ngan; Rinard, Martin C. (2005-01)
    Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...
  • The Interplay of Web Aggregation and Regulation 
    Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2003-01)
    The development of web technology has led to the emergence of web aggregation, a service that collects existing web data and turns them into more useful information. We review the development of both comparison and ...
  • An Interpolative Analytical Cache Model with Application to Performance-Power Design Space Exploration 
    Peng, Bing; Wong, Weng Fai; Tay, Yong Chiang (2005-01)
    Caches are known to consume up to half of all system power in embedded processors. Co-optimizing performance and power of the cache subsystems is therefore an important step in the design of embedded systems, especially ...
  • Keyword Join: Realizing Keyword Search for Information Integration 
    Yu, Bei; Liu, Ling; Ooi, Beng Chin; Tan, Kian Lee (2006-01)
    Information integration has been widely addressed over the last several decades. However, it is far from solved due to the complexity of resolving schema and data heterogeneities. In this paper, we propose out attempt to ...
MIT-Mirage