1419 search results - page 221 / 284 » Power Droop Testing |
CADE
2010
Springer
15 years 29 days ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
CCGRID
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
104
click to vote
CSL
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
CIVR
2008
Springer
15 years 29 days ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
ICASSP
2010
IEEE
15 years 1 days ago
2010
IEEE
One of the key problems in cognitive radio (CR) is the detection of primary activity in order to determine which parts of the spectrum are available for opportunistic access. This...