12774 search results - page 2360 / 2555 » A Framework for Proof Systems |
189
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Achieving fast, precise, and scalable fault localization has long been a highly desired feature in all-optical mesh networks. Monitoring tree (m-tree) is an interesting m...
165
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
It is possible to implement the parallel random access machine (PRAM) on a chip multiprocessor (CMP) efficiently with an emulated shared memory (ESM) architecture to gain easy par...
166
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Document clustering plays an important role in data mining systems. Recently, a flocking-based document clustering algorithm has been proposed to solve the problem through simulat...
229
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The Coarse-Grained Monte Carlo (CGMC) method is a multi-scale stochastic mathematical and simulation framework for spatially distributed systems. CGMC simulations are important too...
190
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Innovative scientific applications and emerging dense data sources are creating a data deluge for highend computing systems. Processing such large input data typically involves cop...