1379 search results - page 176 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
117
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
150
click to vote
SOSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
150
click to vote
ILP
2007
Springer
15 years 9 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
133
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
137
click to vote
BCB
2010
14 years 10 months ago
2010
Many biologically motivated problems are expressed as dynamic programming recurrences and are difficult to parallelize due to the intrinsic data dependencies in their algorithms. ...