7103 search results - page 457 / 1421 » Program Generation and Components |
132
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
To encourage open source/libre software development, it is desirable to have tools that can help to identify open source license violations. This paper describes the implementatio...
143
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In recent years the computing power of graphics cards has increased significantly. Indeed, the growth in the computing power of these graphics cards is now several orders of magn...
120
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
133
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
123
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...