10848 search results - page 79 / 2170 » Programming in Biomolecular Computation |
112
click to vote
ICFP
2012
ACM
13 years 4 days ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
CAV
2012
Springer
13 years 5 days ago
2012
Springer
elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in...
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
DIS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...