Evaluation of microarchitectures: challenges and metrics

Seminar | INESC-ID, Room 425 | 11:00

Leonel Sousa, Inesc-ID – Abstract: The midlifekicker metric is presented, mainly for evaluating microarchitectures mostly during the design process. We assume a microarchitecture designed at a time T-1 and estimate if a new microarchitecture projected for time T has really … Continued

Reliability-Driven Hardware/Software Partitioning

Seminar | 336 | 15:00

Fabian Vargas, PUCRS – Pontifícia Univ. Católica do Rio Grande do Sul – Abstract: This seminar emphasizes techniques co-implemented in hardware/Software (Hw/Sw) digital systems. Trade-offs between “reliability”, “implementation cost” and “performance degradation” are discussed in terms of on-line fault detection, … Continued

Practical Proofs of Concurrent Programs

Seminar | 336 | 16:00

Marc Shapiro Joint work with Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, INRIA and LIP6 – Abstract: Reasoning about fine-grain concurrent programs is extremely difficult because threads can interfere with one another in arbitrary ways. We propose to use the ‘rely-guarantee’ … Continued

XML for databases and much more

Seminar | INESC-ID/IST Tagus Park (sala de reuniões 2-N7.1) | 10:30

Ioana Manolescu-Goujot, INRIA Futurs – Abstract: The last seven years have witnessed the emergence of the XML (eXtensible Markup Language) promoted by the Web’s regulatory board, the World Wide Web Consortium (W3C). Since then, XML has gained tremendous adoption in … Continued

Building Scalable Routing and Storage Primitives

Seminar | 336 | 17:00

Brad Karp, INTEL – Abstract: Wireless sensor networks promise great societal benefit, but they also pose significant technical challenges, arising from their resource-constrained hardware and their expected large scale of deployment. In this talk, I will describe designs for two … Continued

Grid Computing

Seminar | 336 | 14:00

João Almeida, IBM Portugal – Abstract: Seminário em grid computing, focado nas ferramentas da IBM para programação e gestão destes sistemas e nas perspectivas de aplicação. Bio For more information: las@inesc-id.pt

Emparelhamento em texto comprimido

Seminar | 425 | 16:30

António José dos Reis Morgado, Inesc-ID – Abstract: A apresentação centra-se em emparelhamento directamente no texto comprimido. Será abordada a técnica de compressão “códigos de redundância mínima” (Códigos de Huffman), dando especial interesse à codificação de “Tagged Huffman Coding”. Baseado … Continued

1 58 59 60 61 62 63 64 65