5086 search results - page 122 / 1018 » The Power of Comparative Reasoning |
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
MICRO
2006
IEEE
14 years 4 months ago
2006
IEEE
We present Adaptive Stream Detection, a simple technique for modulating the aggressiveness of a stream prefetcher to match a workload’s observed spatial locality. We use this co...
VLSID
2006
IEEE
14 years 10 months ago
2006
IEEE
This article describes a standard cell based novel implementation of a low-power Viterbi Decoder (VD) targeted for the IEEE 802.11a Wireless LAN system. Multiple clock rates have ...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
In this paper we propose an on-chip bus PMU which makes accurate estimates of system power consumption from a first-order linear power model by utilizing system-level activity in...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— We develop a new dynamic scheme which continuously redistributes a fixed power budget among the wireless nodes participating in a multi-hop wireless connection, with t...