5810 search results - page 212 / 1162 » An Approach to Programming Based on Concepts |
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
206
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
164
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
Correctly predicting the direction that branches will take is increasingly important in today’s wide-issue computer architectures. The name program-based branch prediction is gi...
160
click to vote
AGILEDC
2007
IEEE
16 years 22 days ago
2007
IEEE
This report examines how the VeriSign Managed Security Services team (MSS) has successfully extended agile software development practices to deal with a complex, multi-product dev...
173
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
We propose a method of knowledge reuse for an ensemble of genetic programming-based learners solving a visual learning task. First, we introduce a visual learning method that uses...