1837 search results - page 285 / 368 » Abstraction and the C Machine Model |
ENTCS
2006
13 years 7 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
JUCS
2006
13 years 7 months ago
2006
Abstract: In ad-hoc networks, mobile devices communicate via wireless links without the aid of any fixed networking infrastructure. These devices must be able to discover services ...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—A system that uses adaptive beamforming techniques for mobile Digital Video Broadcasting Satellite (DVB-S) reception is proposed in this paper. The purpose is to enable ...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— Replacement policies for general caching applications and Web caching in particular have been discussed extensively in the literature. Many ad-hoc policies have been pr...