DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/6159

Arxiu Descripció MidaFormat
sole.ps4,84 MBPostscriptVeure/Obrir

Títol: Relative timing verification revisited
Autor: Solé Simó, Marc Veure Producció científica UPC; Pastor Llorens, Enric Veure Producció científica UPC
Data: 2008
Tipus de document: External research report
Citació: UPC-DAC-RR-CAP-2008-39
Resum: Timed verification is a difficult problem. One of the ways in which it can be simplified is by using iterative refinement techniques. Here we investigate the advantages and shortcomings of this approach when combined with relative timing reasoning.
Descripció: Technical Report UPC-DAC-RR-CAP-2008-39
URI: http://hdl.handle.net/2117/6159
Versió de l'editor: http://gsi.ac.upc.edu/reports/2008/75/frame.ps
Apareix a les col·leccions:Departament d'Arquitectura de Computadors. Reports de recerca
ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems. Reports de recerca
Altres. Enviament des de DRAC
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
Creative Commons

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius