Sciweavers

3013 search results - page 164 / 603
» Context-Oriented Domain Analysis
Sort
View
ISCAS
2003
IEEE
175views Hardware» more  ISCAS 2003»
15 years 11 months ago
Analysis of timing jitter in ring oscillators due to power supply noise
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...
Tony Pialis, Khoman Phang
BIRTHDAY
2003
Springer
15 years 11 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
COMPSAC
2002
IEEE
15 years 11 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
EUROMICRO
2002
IEEE
15 years 11 months ago
Towards an Impact Analysis for Component Based Real-Time Product Line Architectures
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
Anders Wall, Magnus Larsson, Christer Norströ...
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
15 years 10 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert