http://www.cs.pitt.edu/wtr

Paper#

7938

Using UPPAAL to verify the MPEG-2 encoding algorithm

8007

Aplicando Margem de Jitter no Projeto de Sistemas de Controle via Rede

8008

Metodologia de Projeto Orientada a Objetos Baseada em Plataformas para Sistemas Tempo-Real Embarcados

8009

Exploração do Espaço de Projeto em Hw/Sw Co-design de Sistemas Tempo-Real Embarcados Orientados a Objetos: o Objeto Escalonador

8018

Comparação da Busca Tabu com uma Heurística Simples no Escalonamento de Barramento de Campo

8030

Virtual Token-Passing Ethernet Proposal using Programmable Hardware

8034

Detectores de Defeitos Adaptaveis para Sistemas de Controle Distribuidos de Tempo-Real sobre Redes Ethernet

8049

Modelo de Tarefas Baseado em Instante Ideal

8065

Padrão de Projeto para Escalonamento Adaptativo baseado na Flexibilização de Período em RTSJ

8077

Escalonamento para Sistemas de Tempo-Real Tolerantes a Falhas: Um Estudo Empírico

8082

RK+MOSIX: A Real-time Kernel with Task Migration Support

8084

Managing Shared Resources in Power Aware System

8085

On the dependability and flexibility of CAN and CAN based protocols

8087

Análise de Aplicações Fieldbus Foundation com Múltiplas Estratégias de Controle

8088

RTOS Scheduling Analysis using a Trace Toolkit

8091

Otimizando a Utilização de Servidores através de Contratos Arquiteturais

8092

Statically Calculating Secondary Thread Performance in ASTI Systems

8121

Experiências na Identificação e Solução de Problemas Temporais