5664 search results - page 413 / 1133 » Creativity support tools |
304
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 ...
166
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...
191
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
191
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...