7519 search results - page 33 / 1504 » Optimizing Generic Functions |
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
PE
2002
Springer
13 years 9 months ago
2002
Springer
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
ICCAD
2002
IEEE
14 years 6 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
SIAMCOMP
1998
13 years 9 months ago
1998
Polynomial-time safe and unsafe approximations for intractable sets were introduced by Meyer and Paterson [Technical Report TM-126, Laboratory for Computer Science, MIT, Cambridge,...