Sciweavers

21108 search results - page 4140 / 4222
» A General Class of Models of
Sort
View
CASES
2003
ACM
14 years 21 days ago
A hierarchical approach for energy efficient application design using heterogeneous embedded systems
Several features such as reconfiguration, voltage and frequency scaling, low-power operating states, duty-cycling, etc. are exploited for latency and energy efficient application ...
Sumit Mohanty, Viktor K. Prasanna
CHARME
2003
Springer
110views Hardware» more  CHARME 2003»
14 years 21 days ago
Exact and Efficient Verification of Parameterized Cache Coherence Protocols
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
E. Allen Emerson, Vineet Kahlon
SIGIR
2010
ACM
14 years 20 days ago
Entity information management in complex networks
Entity information management (EIM) is a nascent IR research area that investigates the information management process about entities instead of documents. It is motivated by the ...
Yi Fang
ESA
1998
Springer
162views Algorithms» more  ESA 1998»
14 years 19 days ago
External Memory Algorithms
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
Jeffrey Scott Vitter
ITS
2000
Springer
159views Multimedia» more  ITS 2000»
14 years 19 days ago
Can We Learn from ITSs?
With the rise of VR, the internet, and mobile technologies and the shifts in educational focus from teaching to learning and from solitary to collaborative work, it's easy (bu...
Benedict du Boulay
« Prev « First page 4140 / 4222 Last » Next »