1626 search results - page 100 / 326 » Subtyping with Power Types |
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper reports the development of a low-power switchedcurrent algorithmic A/D converter based on a new algorithm, providing the bit conversion in three-cycles. The converter u...
144
click to vote
PEPM
1997
ACM
15 years 8 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
115
click to vote
RIVF
2007
15 years 5 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
131
click to vote
JCP
2006
15 years 4 months ago
2006
The nature of wireless mobile ad hoc networks depend on batteries or other fatiguing means for their energy. A limited energy capacity may be the most significant performance const...
130
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...