7225 search results - page 107 / 1445 » On the Computational Power of Biochemistry |
153
click to vote
WSC
2008
15 years 8 months ago
2008
Recent advances in high-performance computing have pushed computational capabilities to a petaflop (a thousand trillion operations per second) in a single computing cluster. This ...
191
click to vote
EOR
2011
15 years 1 months ago
2011
A simple game is a pair consisting of a finite set N of players and a set W ⊆ 2N of winning coalitions. (Vector-)weighted majority games ((V)WMG) are a special case of simple ga...
153
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
162
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper disscuses latency-constrained video transmission over high-speed wireless personal area networks. Low-power single-layer video compression is proposed as an alternati...