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:

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 59 60 61 62 63 64 65