2496 search results - page 395 / 500 » On covering by translates of a set |
101
click to vote
GTTSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
113
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...
127
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
142
click to vote
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
108
click to vote
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Smart antennas include a broad range of antenna technologies ranging from the simple switched beam to the more sophisticated adaptive arrays and multiple input multiple output ...