1081 search results - page 135 / 217 » Type Inference of SELF |
150
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: The ever increasing sizes of population genetic datasets pose great challenges for population structure analysis. The Tracy-Widom (TW) statistical test is widely used ...
167
click to vote
POPL
2003
ACM
16 years 6 days ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
107
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
133
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
CANDT
2009
15 years 3 months ago
2009
We analyze help-seeking strategies in two large tech support boards and observe a number of previously unreported differences between tech support boards and other types of online...