10848 search results - page 136 / 2170 » Programming in Biomolecular Computation |
122
click to vote
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
Talking during the course of a television program is
148
click to vote
DISCO
1992
15 years 8 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
112
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
Each summer, Academic and Research Computing (ARC) produces a guide for Mobile Computing Program participants describing the specifics of the selected laptop computer and
134
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
115
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: In this paper we explore the possibilities to perform the search for results of non-deterministic computations in parallel. We present three different approaches to this problem:...