2206 search results - page 125 / 442 » On the power of coercion abstraction |
98
Voted
DCW
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we propose a simple powerful method to increase communication performance in large networks such as the Internet. Our approach is based on the usage multipl...
116
click to vote
ERCIMDL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
139
Voted
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
97
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...