skip to main content
Invitado
Mi portal
Mi Cuenta
Cerrar sesión
Identificarse
This feature requires javascript
Tags
Periódicos Eletrónicos
Libros Eletrónicos
Bases de Datos
Bibliotecas de USP
Ayuda
Ayuda
Idioma:
Inglés
Castellano
Portugués (Brasil)
This feature required javascript
This feature requires javascript
Primo Search
Búsqueda General
Búsqueda General
Colección Física
Colecciones Físicas
Producción Intelectual USP
Producción USP
Search For:
Clear Search Box
Search in:
Búsqueda General
Or hit Enter to replace search target
Or select another collection:
Search in:
Búsqueda General
Búsqueda Avanzada
Búsqueda por Índices
This feature requires javascript
This feature requires javascript
The benefits of relaxing punctuality
ALUR, R ; FEDER, T ; HENZINGER, T. A
Journal of the ACM, 1996, Vol.43 (1), p.116-146
[Revista revisada por pares]
New York, NY: Association for Computing Machinery
Texto completo disponible
Citas
Citado por
Recurso en línea
Detalles
Comentarios y Etiquetas
Servicios adicionales
Veces citado
This feature requires javascript
Acciones
Agregar a Mi Portal
Eliminar de Mi Portal
Correo Electrónico
Imprimir
Enlae permanente
Cita bibliográfica
EasyBib
EndNote
RefWorks
Delicious
Exportación RIS
Exportar BibTeX
This feature requires javascript
Título:
The benefits of relaxing punctuality
Autor:
ALUR, R
;
FEDER, T
;
HENZINGER, T. A
Materias:
Algorithms
;
Applied sciences
;
Computer
programming
;
Computer science
;
Computer science
;
control theory
;
systems
;
Exact sciences and technology
;
Logic
programming
;
Logical, boolean and switching functions
;
Mathematical models
;
Programming
languages
;
Real time
;
Semantics
;
Software
;
Software engineering
;
Studies
;
Systems design
;
Theoretical computing
Es parte de:
Journal of the ACM, 1996, Vol.43 (1), p.116-146
Notas:
ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
Descripción:
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satisfiability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. A temporal language is introduced that can constrain the time difference between events only with finite, yet arbitrary, precision and show the resulting logic to be EXSPACE-complete. This result allows an algorithm to be developed for the verification of timing properties of real-time systems with a dense semantics.
Editor:
New York, NY: Association for Computing Machinery
Idioma:
Inglés
Enlaces
View record in Pascal Francis
This feature requires javascript
This feature requires javascript
Volver a la lista de resultados
Anterior
Resultado
6
Siguiente
This feature requires javascript
This feature requires javascript
Buscando en bases de datos remotas, por favor espere
Buscando por
en
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora
This feature requires javascript
This feature requires javascript