Reliability-Driven Hardware/Software Partitioning
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, fault location, reconfiguration and recovery…
Practical Proofs of Concurrent Programs
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’ approach. In addition to the…
XML for databases and much more
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 academic research and industry alike….
Building Scalable Routing and Storage Primitives
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 scalable communication primitives for wireless…
Multiple Description Image and Video Coding for Noisy Channels
Manuela Sousa, Universidade da Beira Interior – Abstract: Multiple Description Coding (MDC) has prove to be a powerful tool for joint source/ channel coding applications. Indeed, MDC offers the possibility of controlling easily the amount of redundancy introduced in the transmitted signal while maintaining good…
Grid Computing
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. Date: 2005-Jun-17 Time: 14:00:00 Room: 336 For more information: las@inesc-id.pt
Emparelhamento em texto comprimido
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 nesta codificação, serão apresentadas duas…
Fast Detection of Common Sequence Structure Patterns in RNAs
A. P. Francisco, Inesc-ID – Abstract: RNA is an essential element in every living organism where it plays crucial roles. Since RNA structure is strictly related to its function, it is important to find common RNA motifs in order to find functional similarities. We will…
Introduction to PCI – From the specification overview to the signal protocol
Shinichi Yamagiwa, Inesc-ID – Abstract: PCI bus become a very effective peripheral bus standard to communicate with PC/AT compatible machines in these days. In this lecture, the main theme is to understand the basic knowledge from the standard overview to the signal protocol. The contents…
O M(in)istério da Educação: ou o Problema da Colocação dos Docentes 2004/2005 (repetição)
João Luís Sobrinho, Instituto de Telecomunicações (IT) – Abstract: Todos nós, portugueses, seguimos com atenção o concurso de colocação dos docentes dos ensinos pré-escolar, básico e secundário, ano lectivo de 2004/2005. Pelo que na altura veio a público, ficou claro que no âmago da questão…
Upcoming Events
Mathematics, Physics & Machine Learning Seminar Series (Online)

The Mathematics, Physics & Machine Learning seminar series has started on October 2020 and runs until March 2021.
The seminars aim to bring together mathematicians and physicists interested in machine learning (ML) with ML and AI experts interested in mathematics and physics, with the goal of introducing innovative Mathematics and Physics-inspired techniques in Machine Learning and, reciprocally, applying Machine Learning to problems in Mathematics and Physics.
Attendance is free but registration is required.
More information is available here.
International European Conference on Parallel and Distributed Computing

The 27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021) will take from August 30 to September 3 2021 in Lisbon.
Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-fledged applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects.
The 2021 edition of Euro-Par will be organized as a collaboration between INESC-ID and Instituto Superior Técnico (IST).
Important Dates:
– Abstract Submission: February 5, 2021
– Paper Submission Deadline: February 12, 2021
– Author Notification: April 30, 2021
– Camera-Ready Papers: June 6, 2021
More information is available here.