614 search results - page 25 / 123 » LCLint: A Tool for Using Specifications to Check Code |
129
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
100
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
111
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...