1679 search results - page 291 / 336 » Strong order equivalence |
182
click to vote
DEXA
2009
Springer
16 years 4 days ago
2009
Springer
Tagging has become increasingly popular and useful across various social networks and applications. It allows users to classify and organize resources for improving the retrieval p...
138
click to vote
FDTC
2009
Springer
16 years 4 days ago
2009
Springer
—In order to protect crypto-systems against side channel attacks various countermeasures have been implemented such as dual-rail logic or masking. Faults attacks are a powerful t...
181
click to vote
ICPP
2007
IEEE
15 years 12 months ago
2007
IEEE
Three-dimensional Network-on-Chip (3-D NoC) is an emerging research topic exploring the network architecture of 3-D ICs that stack several smaller wafers for reducing wire length ...
148
click to vote
PG
2007
IEEE
15 years 12 months ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
161
click to vote
TPHOL
2007
IEEE
15 years 12 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...