Sciweavers

4609 search results - page 741 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
3DIM
2005
IEEE
16 years 3 days ago
Globally Convergent Range Image Registration by Graph Kernel Algorithm
Automatic range image registration without any knowledge of the viewpoint requires identification of common regions across different range images and then establishing point corr...
Radim Sára, Ikuko Shimizu Okatani, Akihiro ...
CGO
2005
IEEE
16 years 3 days ago
Building Intrusion-Tolerant Secure Software
In this work, we develop a secret sharing based compiler solution to achieve confidentiality, integrity and availability (intrusion tolerance) of critical data together, rather th...
Tao Zhang, Xiaotong Zhuang, Santosh Pande
CSB
2005
IEEE
126views Bioinformatics» more  CSB 2005»
16 years 3 days ago
Visualization of Logic Analysis of Phylogenetic Profiles (LAPP)
Recently Bowers et al. [1] analyzed triplet logic relationships among 4873 Clusters of Orthologous Groups (COGS) from 67 fully sequenced organisms by calculating how well logic re...
Kay A. Robbins, Li Zhao
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
16 years 3 days ago
Functional Validation of System Level Static Scheduling
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
Samar Abdi, Daniel D. Gajski
DATE
2005
IEEE
134views Hardware» more  DATE 2005»
16 years 3 days ago
Assertion-Based Design Exploration of DVS in Network Processor Architectures
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
Jia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang 000...