3303 search results - page 523 / 661 » Multidimensional Access Methods |
133
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
145
click to vote
IFL
2003
Springer
15 years 10 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
139
click to vote
IICS
2003
Springer
15 years 10 months ago
2003
Springer
Both human users and crawlers face the problem of finding good start pages to explore some topic. We show how to assist in qualifying pages as start nodes by link-based ranking al...
149
click to vote
IICS
2003
Springer
15 years 10 months ago
2003
Springer
Today’s global markets demand global processes. Increasingly, these processes are not only distributed, but also contain mobile aspects. We discuss two challenges brought about b...
143
click to vote
ATS
2009
IEEE
15 years 10 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...