34202 search results - page 206 / 6841 » The Tera computer system |
190
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
186
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Ethnography has become a staple feature of IT research over the last twenty years, shaping our understanding of the social character of computing systems and informing their desig...
193
click to vote
ASAP
2004
IEEE
15 years 11 months ago
2004
IEEE
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...
184
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
210
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...