2846 search results - page 382 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
153
click to vote
NDSS
2007
IEEE
16 years 25 days 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...
220
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—Advances in Cloud computing enable new possibilities to Internet applications developers. Previously, the main concern of Internet applications developers was deployment and hos...
184
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
160
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
174
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
The rapid growth of Internet population leads to the shortage of IP addresses. The next generation IP protocol, IPv6, which extends the IP address length from 32 bits to 128 bits,...