9842 search results - page 260 / 1969 » Compositional timing analysis |
118
click to vote
ATS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
172
click to vote
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
123
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
This work is focused on the analysis of manipulators with both joint and link flexibility. Due to the different order of joint and link stiffness, the full-order nonlinear system ...
143
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
109
click to vote
PAMI
1998
15 years 4 months ago
1998
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...