2278 search results - page 254 / 456 » Specification Techniques for Automatic Performance Analysis ... |
153
click to vote
KBSE
2007
IEEE
16 years 16 days ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
160
click to vote
EUROMICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
148
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
161
click to vote
VTS
2003
IEEE
15 years 11 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
180
click to vote
CSFW
2007
IEEE
16 years 18 days ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...