1580 search results - page 51 / 316 » Non-Interference Through Determinism |
DAC
1994
ACM
14 years 24 days ago
1994
ACM
A stochastic global optimization approach is presented for transistor sizing in CMOS VLSI circuits. This is a direct search strategy for the best design among feasible ones, with ...
CSFW
2006
IEEE
14 years 11 days ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
VIP
2003
13 years 10 months ago
2003
1 Accurately locating edge points is important for image measurement. This paper describes an edge detection method based on back-propagation algorithm of neural networks. A three-...
TVLSI
2002
13 years 8 months ago
2002
The estimation of average-power dissipation of a circuit through exhaustive simulation is impractical due to the large number of primary inputs and their combinations. In this brie...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...