12052 search results - page 287 / 2411 » computer 2010 |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
144
Voted
ECTEL
2010
Springer
15 years 4 months ago
2010
Springer
Argumentation is omnipresent in our lives and therefore an important skill to learn. While classic face-to-face argumentation and debate has advantages in helping people learn to a...
165
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper, we propose efficient routing algorithms for collective communication in a newly proposed, versatile network, called a recursive dual-net (RDN). The RDN c...
183
click to vote
INTEGRATION
2010
15 years 4 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
152
click to vote
MICS
2010
15 years 4 months ago
2010
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...