1833 search results - page 319 / 367 » Mechanized Verification with Sharing |
148
click to vote
AAAI
2008
15 years 6 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...
148
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Peer-assisted content distribution matches user demand for content with available supply at other peers in the network. Inspired by this supply-and-demand interpretation of the na...
152
click to vote
CATE
2004
15 years 5 months ago
2004
This investigation proposed a service-oriented approach based on a pervasive learning grid for solving the difficulties associated with sharing learning resources distributed on d...
156
click to vote
PDPTA
2000
15 years 5 months ago
2000
Performance Oriented Distributed Operating System (PODOS) is a clustering environment, being built on a monolithic Linux kernel. PODOS augments very few components to the Linux ke...
118
click to vote
CASCON
1996
15 years 5 months ago
1996
The locality of the data in parallel programs is known to have a strong impact on the performance of distributed-memory multiprocessor systems. The worse the locality in access pa...