606 search results - page 29 / 122 » Algebras and Update Strategies |
FOCS
1989
IEEE
15 years 3 months ago
1989
IEEE
We present a randomized strategy for maintaining balance in dynamically changing search trees that has optimal expected behavior. In particular, in the expected case a search or a...
124
click to vote
COMCOM
2007
14 years 11 months ago
2007
Internet-based mobile ad hoc network (IMANET) combines a mobile ad hoc network (MANET) and the Internet to provide universal information accessibility. Although caching frequently...
IDEAS
2000
IEEE
15 years 4 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
100
click to vote
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
TSP
2008
14 years 11 months ago
2008
Abstract--We consider the problem of coding over a half-duplex wireless relay network where both the transmitter and the receiver have respectively several transmit and receive ant...