3006 search results - page 358 / 602 » Dimensionality reduction and generalization |
152
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
An effective thermal management scheme, called active bank switching, for temperature control in the register file of a microprocessor is presented. The idea is to divide the phys...
177
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
177
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
155
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
181
click to vote
IMA
2007
Springer
16 years 24 days ago
2007
Springer
The Ate pairing and the twisted Ate pairing for ordinary elliptic curves which are generalizations of the ηT pairing for supersingular curves have previously been proposed. It is ...