6978 search results - page 1235 / 1396 » On Proofs in System P |
CLUSTER
2007
IEEE
14 years 3 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...
CNSR
2007
IEEE
14 years 3 months ago
2007
IEEE
Providing web service replicas improves the overall system performance and redundancy for hardware failures. In Business-to-Business, this may be particularly interesting for orga...
ESCIENCE
2007
IEEE
14 years 3 months ago
2007
IEEE
BOINC, a middleware system for volunteer computing, allows hosts to be attached to multiple projects. Each host periodically requests jobs from project servers and executes the jo...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. Server redund...
FBIT
2007
IEEE
14 years 3 months ago
2007
IEEE
—Standard genetic programming genotypes are generally highly disorganized and poorly structured, with little code replication. This is also true of existing developmental genetic...