6960 search results - page 1275 / 1392 » Continuity Analysis of Programs |
150
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
145
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...
146
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
123
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
146
click to vote
FPGA
2008
ACM
15 years 4 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...