949 search results - page 15 / 190 » Programmed Mutagenesis Is Universal |
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
ISESE
2003
IEEE
14 years 23 days ago
2003
IEEE
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, code, or test. Pair programming is becoming increasingl...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
CP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
FECS
2006
13 years 9 months ago
2006
-- The Fourth (4th ) Annual Student Research Symposium (SRS) for graduate and undergraduate students majoring in science, engineering, and mathematics will be conducted at Texas Ch...