15660 search results - page 2828 / 3132 » The Unbalance of Set Systems |
189
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
180
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Video-on-demand (VoD) is increasingly popular with Internet users. It gives users greater choice and more control than live streaming or file downloading. Systems such as MSN Vid...
227
click to vote
IWOMP
2007
Springer
16 years 29 days ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
197
click to vote
LCTRTS
2007
Springer
16 years 29 days ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
193
click to vote
SC
2004
ACM
16 years 7 days ago
2004
ACM
This paper is structured as follows. Section 2 gives an architectural description of BlueGene/L. Section 3 analyzes the issue of “computational noise” – the effect that the o...