353 search results - page 22 / 71 » TRICS: A Testing Tool for C |
SIGCOMM
2005
ACM
14 years 1 months ago
2005
ACM
Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. While active ...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Three-dimensional rotational angiography is a very useful tool for accessing abnormal vascular structures related to a variety of vascular diseases. Quantitative study of the abnor...
ICSM
1999
IEEE
13 years 12 months ago
1999
IEEE
Software architecture visualization tools tend to support browsing, that is, exploration by following concepts. If architectural diagrams are to be used during daily software main...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
NDSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...