2116 search results - page 307 / 424 » Resource Analysis by Sup-interpretation |
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
JCDL
2009
ACM
14 years 3 months ago
2009
ACM
Due to temporary access restrictions, embargoed data cannot be refreshed to unlimited parties during the embargo time interval. A solution to mitigate the risk of data loss has be...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Structured Overlay Networks provide a promising platform for high performance applications since they are scalable, fault-tolerant and self-managing. Structured overlays provide l...