5434 search results - page 386 / 1087 » Tool support for MOLA |
265
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Scientific visualization applications are very dataintensive, with high demands for I/O and data management. Developers of many visualization tools hesitate to use traditional DBM...
158
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This study investigates the context of interactions of IT security practitioners, based on a qualitative analysis of 30 interviews and participatory observation. We identify nine ...
307
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
167
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
182
click to vote
ISCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...