1140 search results - page 95 / 228 » Embedded Software: Better Models, Better Code |
111
click to vote
CONCURRENCY
2006
15 years 3 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...
129
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
130
click to vote
ACMSE
2007
ACM
15 years 7 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
156
Voted
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
98
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...