1528 search results - page 66 / 306 » Implementing Generalized Operator Overloading |
132
click to vote
POPL
1996
ACM
15 years 8 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
144
click to vote
ALENEX
2010
15 years 6 months ago
2010
We implement and compare the major current techniques for representing general trees in succinct form. This is important because a general tree of n nodes is usually represented i...
145
Voted
FLAIRS
2007
15 years 7 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
132
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
120
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...