913 search results - page 167 / 183 » Full Abstraction for Linda |
VISSYM
2007
14 years 17 days ago
2007
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
USENIX
2007
14 years 14 days ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...
ACIVS
2008
Springer
14 years 5 days ago
2008
Springer
Abstract. This paper addresses the problem of self-calibration and motion recovery for turntable sequences. Previous works exploited silhouette correspondences induced by epipolar ...
APLAS
2008
ACM
14 years 5 days ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...