704 search results - page 132 / 141 » On-chip logic minimization |
157
click to vote
MDM
2009
Springer
16 years 16 days ago
2009
Springer
—This paper assumes a set of n mobile sensors that move in the Euclidean plane as a swarm. Our objectives are to explore a given geographic region by detecting spatio-temporal ev...
149
click to vote
IWNAS
2008
IEEE
16 years 11 days ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...
188
click to vote
TPHOL
2008
IEEE
16 years 11 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
167
click to vote
BROADNETS
2007
IEEE
16 years 10 days ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
169
click to vote
ISCA
2007
IEEE
16 years 8 days ago
2007
IEEE
Server consolidation is becoming an increasingly popular technique to manage and utilize systems. This paper develops CMP memory systems for server consolidation where most sharin...