6834 search results - page 67 / 1367 » The Fail-Heterogeneous Architectural Model |
SSPR
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
TPHOL
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper outlines a formal model of the Intel IA-64 architecture, and explains how this model can be used to verify the correctness of assembly-level code optimizations. The form...
SASO
2010
IEEE
13 years 7 months ago
2010
IEEE
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
QOSA
2010
Springer
14 years 1 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
CSREAESA
2006
13 years 11 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...