8874 search results - page 251 / 1775 » A New Implementation of Automath |
168
click to vote
DRR
2011
14 years 4 months ago
2011
wking dtsets ville for peer reviewing of pulished doument nlysis methods or distriuting lrge ommonly used doument orpor for enhmrking re ...
162
click to vote
DSN
2011
IEEE
14 years 4 months ago
2011
IEEE
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
139
click to vote
ETS
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Networks-on-Chip (NoCs) are implicitly fault tolerant due to their inherent redundancy. They can overcome defective cores, links and switches. As a side effect, yield is...
143
click to vote
ICC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Content-centric networking has been proposed as a new networking paradigm that is centered around the distribution of content. A key idea of content-centric networks is to addre...
199
click to vote
HICSS
2012
IEEE
14 years 11 days ago
2012
IEEE
—The selection of a path in a network from one node to another is performed by a routing protocol, often using the shortest path approach. However, it has been shown that in wire...