486 search results - page 55 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
LCTRTS
2007
Springer
14 years 3 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
DAC
1994
ACM
14 years 28 days ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
DAC
2004
ACM
14 years 17 days ago
2004
ACM
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
CSMR
2005
IEEE
14 years 2 months ago
2005
IEEE
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
SOFTVIS
2003
ACM
14 years 2 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...