5343 search results - page 506 / 1069 » Keyword programming in java |
146
click to vote
EWC
2000
15 years 4 months ago
2000
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...
118
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract Stock selection for hedge fund portfolios is a challenging problem for Genetic Programming (GP) because the markets (the environment in which the GP solution must survive)...
250
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
164
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
253
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...