10848 search results - page 330 / 2170 » Programming in Biomolecular Computation |
170
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
187
click to vote
SBCCI
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
150
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
187
Voted
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
171
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...