7892 search results - page 315 / 1579 » Programming with Models |
113
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
124
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
112
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...
118
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
129
click to vote
ISPASS
2010
IEEE
15 years 8 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...