Sciweavers

4716 search results - page 523 / 944
» Iterative-free program analysis
Sort
View
AMC
2005
112views more  AMC 2005»
15 years 6 months ago
Mechanization for solving SPP by reducing order method
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
Zhenqing Li, Weiming Wang
BIB
2002
135views more  BIB 2002»
15 years 6 months ago
Pise: Software for Building Bioinformatics Webs
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
Don Gilbert
DIDACTICA
2000
70views more  DIDACTICA 2000»
15 years 6 months ago
Visualisierung und Animation der semantischen Analyse von Programmen
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
Andreas Kerren
KBSE
2008
IEEE
16 years 1 months ago
Dependence Anti Patterns
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...
David Binkley, Nicolas Gold, Mark Harman, Zheng Li...
ICSM
2007
IEEE
16 years 1 months ago
Computation of Static Execute After Relation with Applications to Software Maintenance
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
Árpád Beszédes, Tamás ...