9267 search results - page 247 / 1854 » Expectation-Oriented Analysis and Design |
EURODAC
1995
IEEE
14 years 1 months ago
1995
IEEE
The paper presents an approach for performance and complexity analysis of hardware/software implementations for real-time systems on every stage of the partitioning. There are two...
ATVA
2008
Springer
13 years 11 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
ESANN
2001
13 years 11 months ago
2001
This paper illustrates how canonical correlation analysis can be used for designing efficient visual operators by learning. The approach is highly task oriented and what constitute...
ENTCS
2008
13 years 9 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
ENGL
2007
13 years 9 months ago
2007
—A hybrid translinear (TL) circuit constituted by two kinds of transistors, bipolar and CMOS transistors, was proposed to control its quiescent current. And a new method was intr...