2203 search results - page 201 / 441 » Temporal Abstract Interpretation |
135
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, we propose a power optimal opportunistic scheduling scheme for a multiuser single hop Time Division Multiple Access (TDMA) system. We formulate the probl...
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— This paper analyzes transmission-error induced distortion in decoded video. A recursion model is derived that relates the distortion in successive P-frames. The model t...
104
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present a bio-inspired connectionist model for visual perception of motion and its pursuit. It is organized in three stages: a causal spatio-temporal fi...
122
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...