2957 search results - page 393 / 592 » Code analysis and CS-XML |
155
click to vote
CONCURRENCY
1998
15 years 4 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
125
click to vote
INFSOF
2002
15 years 4 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
175
click to vote
TIP
2002
15 years 4 months ago
2002
An unsupervised classification algorithm is derived by modeling observed data as a mixture of several mutually exclusive classes that are each described by linear combinations of i...
121
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
156
Voted
IWPC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...