614 search results - page 43 / 123 » LCLint: A Tool for Using Specifications to Check Code |
131
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
118
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
115
click to vote
ICSM
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
122
click to vote
CASES
2000
ACM
15 years 7 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
125
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Retrieving related graphs containing a query graph from a large graph database is a key issue in many graph-based applications, such as drug discovery and structural pattern recog...