215 search results - page 16 / 43 » Functional debugging of systems-on-chip |
131
Voted
ENTCS
2007
15 years 3 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
110
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
124
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
166
Voted
EUROSYS
2008
ACM
16 years 19 days ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
138
Voted
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...