3156 search results - page 175 / 632 » An address translation simulator |
DLT
2008
15 years 3 months ago
2008
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
102
Voted
FMOODS
2007
15 years 3 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
110
Voted
IJVR
2008
15 years 1 months ago
2008
This paper intends to demonstrate the importance of a Linguistic approach for understanding the complexity implied in the simulations of the Built Environment. Indeed, it will be a...
102
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper describes a novel numerical model aiming at solving moving-boundary problems such as free-surface flows or fluid– structure interaction. This model uses a moving-gr...
103
Voted
JMS
2006
15 years 1 months ago
2006
Healthcare informatics research is a scientific endeavor that applies information science, computer technology, and statistical modeling techniques to develop decision support syst...