1981 search results - page 173 / 397 » Model-Checking Hierarchical Structures |
SOCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
EUROPAR
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents the design and experimental evaluation of two dynamic load partitioning and balancing strategies for parallel Structured Adaptive Mesh Refinement (SAMR) applic...
79
Voted
DELTA
2002
IEEE
15 years 3 months ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
74
Voted
MVA
1992
14 years 11 months ago
1992
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
80
Voted
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...