6939 search results - page 489 / 1388 » Algorithm Engineering for Parallel Computation |
156
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
139
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...
146
click to vote
ENTCS
2010
15 years 2 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
217
click to vote
GIS
2003
ACM
16 years 5 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
124
click to vote
WG
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the context of protein engineering, we consider the problem of computing an mRNA sequence of maximal codon-wise similarity to a given mRNA (and consequently, to a give...