7195 search results - page 401 / 1439 » On Computing Power |
132
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
Grid Computing is becoming more popular. The traditional role of the Internet as being an information repository is evolving to become a resource repository. People using the Inte...
140
click to vote
ACMIDC
2009
15 years 10 months ago
2009
In tangible learning environments the potential to exploit different physical-digital links increases representational power but also broadens the complexity of design. This paper...
156
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Recent approaches of graph comparison consider graphs as sets of paths [6, 5]. Kernels on graphs are then computed from kernels on paths. A common strategy for graph retrieval is ...
195
click to vote
LICS
2007
IEEE
16 years 16 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
152
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...