3378 search results - page 505 / 676 » A universe of binding and computation |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
CVPR
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...
104
Voted
COORDINATION
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
GRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...