11172 search results - page 535 / 2235 » Testing Physical Systems |
178
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
A multi-tenant cloud system allows multiple users to share a common physical computing infrastructure in a cost-effective way. Component sharing is highly desired in such a shared...
216
click to vote
IJSEKE
1998
15 years 6 months ago
1998
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...
199
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
170
click to vote
AO
2007
15 years 7 months ago
2007
In open heterogeneous multi-agent systems, communication is hampered by lack of common ontologies. Ontologies may differ in naming conventions, granularity and scope. In such an en...
224
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Most general-purpose processors provide support for memory pages of large sizes, called superpages. Superpages enable each entry in the translation lookaside buffer (TLB) to map a...