3394 search results - page 538 / 679 » A Modal Model of Memory |
156
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
—While array structures are a significant source of power dissipation, there is a lack of accurate high-level power estimators that account for varying array circuit implementat...
141
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
154
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
145
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
129
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...