951 search results - page 167 / 191 » A future radio-access framework |
268
click to vote
SCFBM
2008
15 years 5 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
135
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
— Internet traffic is expected to grow phenomenally over the next five to ten years, and to cope with such large traffic volumes, core networks are expected to scale to capaci...
191
click to vote
PVLDB
2010
15 years 4 months ago
2010
MapReduce is a computing paradigm that has gained a lot of attention in recent years from industry and research. Unlike parallel DBMSs, MapReduce allows non-expert users to run co...
193
click to vote
BMCBI
2011
15 years 10 days ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
163
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...