1051 search results - page 174 / 211 » Protocols in the use of empirical software engineering artif... |
CODES
2007
IEEE
14 years 23 days ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
LSO
2001
Springer
14 years 1 months ago
2001
Springer
Knowledge is a vital component for organisational growth and data mining provides the technological basis for automated knowledge elicitation from data sources. The emergence of Ap...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
The growing complexity of modern processors has made the generation of highly efficient code increasingly difficult. Manual code generation is very time consuming, but it is oft...