2662 search results - page 28 / 533 » Tools Demonstrations |
ISSS
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
ACSE
1997
ACM
14 years 3 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
SI3D
1995
ACM
14 years 2 months ago
1995
ACM
The NanoManipulator system has been expanded from a virtualreality interface for a specific scanning tunneling microscope to include control of atomic force microscopes. The curre...
EPK
2006
14 years 7 days ago
2006
: The heterogeneity of different formats for EPCs is a major problem for model interchange between specialized tools in practice. In this paper, we compare three different formats ...