10159 search results - page 364 / 2032 » System Design Validation Using Formal Models |
177
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
148
Voted
SIMPRA
2008
15 years 4 months ago
2008
The Wiener model is a versatile nonlinear block oriented model structure for miscellaneous applications. In this paper a method for identifying the parameters of such a model usin...
119
click to vote
MR
2007
15 years 3 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
129
click to vote
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
The use of context as an input is one of the major characteristics of Ubiquitous Computing systems. This paper looks into the structural and the systematic features of context in ...