4332 search results - page 223 / 867 » A Probabilistic Identification Result |
157
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
The algorithmic techniques which allow high efficiency in the precise calculation of the reliability of an undirected graph with absolutely reliable nodes and unreliable edges are ...
166
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
179
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...
143
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The work described here introduces a practical and accurate tool for predicting power consumption for FPGA circuits. The utility of the tool is that it enables FPGA circuit designe...
175
click to vote
ISQED
2000
IEEE
15 years 11 months ago
2000
IEEE
We address the problem of power estimation at the register-transfer level (RTL). At this level, the circuit is described in terms of a set of interconnected memory elements and co...