Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

rss_1.0Recursos de colección

DSpace at MIT (28.015 recursos)
This site is a university repository providing access to the publication output of the institution. Registered users can set up email alerts to notify them of newly added relevant content. A certain level of encryption and security is embedded in the site which may cause some users accessibility problems.

Mostrando recursos 1 - 20 de 107

1. Bit-Packing Optimization for StreamIt - Agrawal, Kunal; Amarasinghe, Saman P.; Wong, Weng Fai
StreamIt is a language specifically designed for modern streaming applications.

2. Credible Compilation * - Rinard, Martin C.
This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program.

3. On the Detection of Retinal Vessels in Fundus Images - Fang, Bin; Hsu, Wynne; Lee, Mong Li
Among the features in ocular fundus image are the optic disc, fovea (central vision area), lesions, and retinal vessels.

4. Discovering Network Neighborhoods Using Peer-to-Peer Lookups - Lehman, Li-wei; Lerman, Steven
In many distributed applications, end hosts need to know the network locations of other nearby participating hosts in order to enhance overall performance.

5. A Dynamically Partitionable Compressed Cache - Chen, David; Peserico, Enoch; Rudolph, Larry
The effective size of an L2 cache can be increased by using a dictionary-based compression scheme.

6. Encryption Key Search using Java-based ALiCE Grid - Virkar, Ameya
Encryption Key Search is a compute-intensive operation that consists of a brute-force search of a particular key in a given key space.

7. Global Comparison Aggregation Services - Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D.
Web aggregation has been available regionally for several years, but this service has not been offered globally.

8. Financial Information Integration In the Presence of Equational Ontological Conflicts - Firat, Aykut; Madnick, Stuart E.; Grosof, Benjamin
We advocate a context-based approach to dealing with multiple accounting standards and equational ontological conflicts.

9. Hierarchical Multi-Bottleneck Classification Method And Its Application to DNA Microarray Expression Data - Xiong, Xuejian; Wong, Weng Fai; Hsu, Wen Jing
The recent development of DNA microarray technology is creating a wealth of gene expression data.

10. The Interplay of Web Aggregation and Regulation - Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D.
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.

11. Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems - Firat, Aykut; Madnick, Stuart E.; Grosof, Benjamin
In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including both traditional and web data sources.

12. OmniMerge: A Systematic Approach to Constrained Conformational Search - Tucker-Kellogg, Lisa; Lozano-Pérez, Tomás
The molecule to be searched is partitioned into small subchains so that the set of possible conformations for the whole molecule may be constructed by merging the feasible conformations for the subchain parts.

13. Solving a Class of Higher-Order Equations over a Group Structure - Andrei, Å?tefan; Chin, Wei Ngan
However, relatively little has been explored in higher-order domains, such as equations with unknown functions.

14. Learning object boundary detection from motion data - Ross, Michael G.; Kaelbling, Leslie P.
Inspired by developmental psychology, this paper proposes that boundary detection can be learned from the output of a motion tracking algorithm that separates moving objects from their static surroundings.

15. MATLAB*P 2.0: A unified parallel MATLAB - Choy, Ron; Edelman, Alan
MATLAB is one of the most widely used mathematical computing environments in technical computing.

16. Playing is believing: the role of beliefs in multi-agent learning - Chang, Yu-Han; Kaelbling, Leslie P.
We propose a new classification for multi-agent learning algorithms, with each league of players characterized by both their possible strategies and possible beliefs.

17. Real-time Mosaic for Multi-Camera Videoconferencing - Klechenov, Anton; Gupta, Aditya Kumar; Wong, Weng Fai; Ng, Teck Khim; Leow, Wee Kheng
This paper describes a system for high resolution video conferencing.

18. StreamIt: A Language and Compiler for Communication-Exposed Architectures - Thies, William; Gordon, Michael I.; Karczmarek, Michal; Maze, David; Amarasinghe, Saman P.
We propose a new common machine language for grid-based software-exposed architectures: StreamIt.

19. Towards An Automated Approach to Hardware/Software Decomposition - Qin, Shengchao; He, Jifeng; Chin, Wei Ngan
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL).

20. Transactions Everywhere - Kuszmaul, Bradley C.; Leiserson, Charles E.
Atomicity is typically enforced through locking protocols, but these protocols can introduce other complications, such as deadlock, unless restrictive methodologies in their use are adopted.

Página de resultados:
2  3  4  5  6  Siguiente