Ir al contenido (pulsa Retorno)
Català
Castellano
English
Inicia la sessió
Registre (usuaris no UPC)
Entrada (usuaris no UPC)
Intercanvia la navegació
Contacta
Català
Català
Castellano
English
Inicia sessió
Inicia la sessió
Registre (usuaris no UPC)
Entrada (usuaris no UPC)
Intercanvia la navegació
UPCommons.
Portal del coneixement obert de la UPC
39177 E-prints UPC
Visualitza l'ítem
Pàgina inicial de UPCommons
E-prints
Departaments
Departament d'Arquitectura de Computadors
Reports de recerca
Visualitza l'ítem
Pàgina inicial de UPCommons
E-prints
Departaments
Departament d'Arquitectura de Computadors
Reports de recerca
Visualitza l'ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.
Relative timing verification revisited
Visualitza/Obre
sole.ps (4.726Mb)
Comparteix:
Veure estadístiques d'ús
Mostra el registre d'ítem complet
Solé Simó, Marc
Pastor Llorens, Enric
Tipus de document
Report de recerca
Data publicació
2008
Condicions d'accés
Accés obert
Abstract
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
Forma part
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
Col·leccions
Departament d'Arquitectura de Computadors - Reports de recerca
[145]
ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems - Reports de recerca
[4]
Comparteix:
Veure estadístiques d'ús
Mostra el registre d'ítem complet
Fitxers
Descripció
Mida
Format
Visualitza
sole.ps
4.726Mb
Postscript
Visualitza/Obre
Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Cerca a UPCommons
Aquesta col·lecció
Explora
Aquesta col·lecció
Per data d'edició
Autors
Altres contribucions
Títols
Temes
Aquest dipòsit
Comunitats i col·leccions
Per data d'edició
Autors
Altres contribucions
Títols
Temes