Sciweavers

2625 search results - page 230 / 525
» Applications 2000
Sort
View
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 10 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
MA
2010
Springer
122views Communications» more  MA 2010»
15 years 4 months ago
Thresholding methods to estimate copula density
Abstract: This paper deals with the problem of multivariate copula density estimation. Using wavelet methods we provide two shrinkage procedures based on thresholding rules for whi...
F. Autin, E. Le Pennec, K. Tribouley
ASIACRYPT
2000
Springer
15 years 10 months ago
Increasing the Lifetime of a Key: A Comparative Analysis of the Security of Re-keying Techniques
Rather than use a shared key directly to cryptographically process (e.g. encrypt or authenticate) data one can use it as a master key to derive subkeys, and use the subkeys for the...
Michel Abdalla, Mihir Bellare
ICIP
2000
IEEE
16 years 7 months ago
Incremental Shape Reconstruction Using Stereo Image Sequences
The limitations of estimating structure from either stereo or motion alone can be addressed by the use of stereo image sequences; however, many existing techniques for processing ...
Tai Jing Moyung, Paul W. Fieguth
CASES
2001
ACM
15 years 9 months ago
Energy-efficient instruction cache using page-based placement
Energy consumption is a crucial factor in designing batteryoperated embedded and mobile systems. The memory system is a major contributor to the system energy in such environments...
Hyun Suk Kim, Narayanan Vijaykrishnan, Mahmut T. K...