1982 search results - page 91 / 397 » Parametricity and dependent types |
131
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
115
click to vote
DNA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
131
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
135
click to vote
DELOS
2000
15 years 6 months ago
2000
Similarity search in image database is commonly implemented as nearest-neighbor search in a feature space of the images. For that purpose, a large number of different features as ...
152
click to vote
TROB
2008
15 years 4 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...