12194 search results - page 2062 / 2439 » cans 2010 |
180
click to vote
CL
2010
Springer
15 years 7 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
193
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
185
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
189
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Multiuser diversity (MUDiv) is one of the central concepts in multiuser (MU) systems. In particular, MUDiv allows for scheduling among users in order to eliminate the negative effe...
229
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...