631 search results - page 94 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
123
click to vote
GLVLSI
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
106
click to vote
GPC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient algorithm...
103
click to vote
APCHI
2004
IEEE
15 years 5 months ago
2004
IEEE
We survey a number of tools that have been developed for generating sets of colours according to commonly accepted rules for colour harmony. Informal manual techniques for generati...
121
click to vote
CLUSTER
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
118
click to vote
DAWAK
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. There is an urgent need for sound approaches to integrative and collaborative analysis of large, autonomous (and hence, inevitably semantically heterogeneous) data source...