692 search results - page 84 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
120
click to vote
PROFES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
104
click to vote
RE
1997
Springer
15 years 4 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
213
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
108
click to vote
IPPS
2006
IEEE
2006
IEEE
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
15 years 5 months ago
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...