2356 search results - page 106 / 472 » Characterizations of postman sets |
DAC
2004
ACM
16 years 5 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
151
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
111
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
132
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
127
click to vote
EMMCVPR
2003
Springer
15 years 9 months ago
2003
Springer
We study a notion of variation for real valued two variable functions called the path variation and we discuss its application as a low-level image segmentation method. For this pu...