2133 search results - page 210 / 427 » Implementation of a SystemC based Environment |
135
Voted
ALIFE
2002
15 years 3 months ago
2002
This paper gives details of Squirm3, a new artificial environment based on a simple physics and chemistry that supports self-replicating molecules somewhat similar to DNA. The sel...
146
Voted
ENTCS
2000
15 years 3 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
155
Voted
SLOGICA
1998
15 years 3 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
112
Voted
TOMS
2008
15 years 3 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
167
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...