5962 search results - page 108 / 1193 » Working with Patterns and Code |
129
click to vote
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
132
click to vote
WOMPAT
2001
Springer
15 years 7 months ago
2001
Springer
In contrast to the common belief that OpenMP requires data-parallel extensions to scale well on architectures with non-uniform memory access latency, recent work has shown that it ...
174
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
107
Voted
TSE
2008
15 years 3 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
125
click to vote
TSE
2008
15 years 3 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...