181 search results - page 14 / 37 » Using Static Analysis to Find Bugs |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
ESOP
2006
Springer
14 years 20 days ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
CGO
2009
IEEE
14 years 29 days ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...