280 search results - page 39 / 56 » Abstract Threads |
BIOCOMP
2009
13 years 11 months ago
2009
Abstract-- Stating protein design as an energy minimization in the space of amino acid sequences and rotamer combinations is usual. In the current paper an evolutionary algorithm b...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
FUIN
2008
13 years 10 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
IGPL
2006
13 years 9 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...