1860 search results - page 104 / 372 » A Temporal Logic of Robustness |
110
Voted
FUIN
2010
14 years 10 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
104
Voted
JCNS
2000
15 years 12 days ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
100
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
109
click to vote
ICSE
2004
IEEE-ACM
16 years 21 days ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
97
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...