141 search results - page 14 / 29 » A type system for certified binaries |
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
Classifiers that refrain from classification in certain cases can significantly reduce the misclassification cost. However, the parameters for such abstaining classifiers are ofte...
ELPUB
2006
ACM
14 years 1 months ago
2006
ACM
Originally established to merely publish electronic theses and dissertations (ETDs) as well as postdoctoral theses, the edoc server at Humboldt University Berlin (http://edoc.hu-b...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
USENIX
1993
13 years 9 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
IWMMDBMS
1998
13 years 9 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...