1604 search results - page 289 / 321 » Development Separation in Lambda-Calculus |
ISCA
2003
IEEE
14 years 28 days ago
2003
IEEE
Many future shared-memory multiprocessor servers will both target commercial workloads and use highly-integrated “glueless” designs. Implementing low-latency cache coherence i...
ISWC
2003
IEEE
14 years 28 days ago
2003
IEEE
We implemented a wearable system for detecting accelerations of the user's head while standing still for the purpose of developing a daily health care application. A 2axis ac...
WWW
2003
ACM
14 years 27 days ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
FCT
2003
Springer
14 years 26 days ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
ISCA
2010
IEEE
14 years 22 days ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...