11784 search results - page 825 / 2357 » Improving Software Process Improvement |
199
click to vote
CC
2001
Springer
16 years 3 days ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
184
click to vote
CC
2001
Springer
16 years 3 days ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
212
click to vote
COSPS
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
200
click to vote
HICSS
2000
IEEE
16 years 17 hour ago
2000
IEEE
Combining and utilizing data from different sources is a common problem in many companies today. Useful data can be found in various applications, such as spreadsheets, project ma...
176
click to vote
IUI
2000
ACM
15 years 12 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...