2316 search results - page 416 / 464 » The many forms of hypercomputation |
135
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
With the advance of semiconductor manufacturing, There are many approaches to deal with these problems. EDA, and VLSI design technologies, circuits with even higher Adding discrete...
118
click to vote
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
The advent of DNA microarray technologies has revolutionized the experimental study of gene expression. Clustering is the most popular approach of analyzing gene expression data a...
131
click to vote
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
208
Voted
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
143
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
ion of a given partial assignment of values to variables. Compared with other symmetry breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodat...