5314 search results - page 613 / 1063 » Hybrid Dynamic Programming |
243
Voted
DLS
2008
15 years 9 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
214
click to vote
ENTCS
2006
15 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
202
Voted
CN
2002
15 years 7 months ago
2002
Abstract-The delivery of large files to single users, such as application programs for some versions of the envisioned network computer, or movies, is expected by many to be one of...
209
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
152
click to vote
GLOBECOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—The performance of prevalent MAC protocols in MANETs relies on the level of contention in networks. While contention-based MAC protocols such as CSMA suffer from inefficiency u...