535 search results - page 59 / 107 » Do we need dependent types |
IBPRIA
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Being an essential key in biological research, the DNA sequences are often shared between researchers and digitally stored for future use. As these sequences grow in volu...
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
USENIX
2003
13 years 9 months ago
2003
System operators play a critical role in maintaining server dependability yet lack powerful tools to help them do so. To help address this unfulfilled need, we describe Operator U...
JTRES
2010
ACM
13 years 7 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we predict the amount of slip an exploration rover would experience using stereo imagery by learning from previous examples of traversing similar terrain. To do t...