6474 search results - page 533 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
167
click to vote
HICSS
2002
IEEE
16 years 3 days ago
2002
IEEE
The location and configuration of transmission infrastructure for cellular communication networks is a complex engineering task involving many competing objectives. While minimis...
214
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
197
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
190
click to vote
CGO
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present a technique for reducing the overhead of collecting path profiles in the context of a dynamic optimizer. The key idea to our approach, called Targeted Pa...
218
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...