1195 search results - page 30 / 239 » Modeling an Algebraic Stepper |
106
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
103
click to vote
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
100
click to vote
LISP
2006
15 years 1 months ago
2006
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...
144
Voted
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
114
click to vote
FMSD
2006
15 years 1 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...