1911 search results - page 246 / 383 » Program analysis for code duplication in logic programs |
144
Voted
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
155
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
210
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
113
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
119
click to vote
PVM
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...