61 search results - page 7 / 13 » tcs 2002 |
TCS
2002
14 years 9 months ago
2002
The language property of error-detection ensures that the communications medium cannot transform a word of the language to another word of the language. In this paper we provide s...
TCS
2002
14 years 9 months ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
TCS
2002
14 years 9 months ago
2002
A threshold counter is a shared data structure that assumes integer values. It provides two operations:Increment changesthe current counter value from v to v
TCS
2002
14 years 9 months ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
TCS
2002
14 years 9 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...