4067 search results - page 427 / 814 » Programs for Applying Symmetries |
152
click to vote
SAS
2007
Springer
16 years 26 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
163
click to vote
CONIELECOMP
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
179
click to vote
ICAC
2006
IEEE
16 years 24 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
168
Voted
ICSM
2006
IEEE
16 years 23 days ago
2006
IEEE
One approach to supporting program comprehension involves binding concepts to source code. Previously proposed approaches to concept binding have enforced nonoverlapping boundarie...
177
Voted
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...