5343 search results - page 426 / 1069 » Keyword programming in java |
110
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
122
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
110
click to vote
DRM
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
128
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Genetic Programming (GP) is an automated computational programming methodology, inspired by the workings of natural evolution techniques. It has been applied to solve complex prob...
108
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Software is increasingly pervasive in the products we use. Consequently, more programmers are needed to develop the software, and consequently there is unmet demand on programming...