1728 search results - page 169 / 346 » Formal Modeling of Process Migration |
110
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
146
click to vote
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
ISTA
2007
15 years 4 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
116
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
121
click to vote
FSMNLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a formalization of lexicalized Recursive Transition Networks which we call Automaton-Based Generative Dependency Grammar (gdg). We show how to extract a gdg fr...