1432 search results - page 63 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
137
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
175
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
117
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
129
click to vote
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...
137
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...