1688 search results - page 145 / 338 » Implementing Optimizations at Decode Time |
110
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
BMCBI
2010
15 years 2 months ago
2010
Background: The Ensembl web site has provided access to genomic information for almost 10 years. During this time the amount of data available through Ensembl has grown dramatical...
121
click to vote
JUCS
2008
15 years 2 months ago
2008
: Nowadays, while large-sized multimedia objects are becoming very popular throughout the Internet, one of the important issues appears to be the acceleration of content delivery n...
161
click to vote
COMSNETS
2012
13 years 10 months ago
2012
—Virtualized cloud-based services can take advantage of statistical multiplexing across applications to yield significant cost savings to the operator. However, achieving simila...
123
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—We study in this paper optimal stochastic control issues in delay tolerant networks. We first derive the structure of optimal two-hop forwarding policies. In order to be implem...