The following pages link to (Q3996990):
Displaying 21 items.
- Optimal buffer inventories for multistage production systems with failures (Q811330) (← links)
- Producing the left parse during bottom-up parsing (Q1044742) (← links)
- Efficient high-level parallel programming (Q1128713) (← links)
- HALO --- a fuzzy programming language (Q1181992) (← links)
- Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
- Solving partial differential equations using recursive grids (Q1330490) (← links)
- The representation of permutations by trees (Q1339828) (← links)
- Efficient massively parallel implementation of some combinatorial algorithms (Q1365935) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- DyC: An expressive annotation-directed dynamic compiler for C (Q1583356) (← links)
- Advances in design and implementation of optimization software (Q1598765) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- Accurate bounds for critical temperatures of \(\text{O}(N)\) spin models by renormalized random walk representations. (Q1967723) (← links)
- A greedy algorithm for nonlinear inverse problems with an application to nonlinear inverse gravimetry (Q2000749) (← links)
- Best-first minimax search (Q2171269) (← links)
- Priority Queues and Sorting for Read-Only Data (Q4922111) (← links)
- On tuning a mean-field model for semi-supervised classification (Q5093835) (← links)
- (Q5134569) (← links)
- Toppling and height probabilities in sandpiles (Q5149668) (← links)
- Covariate Information Number for Feature Screening in Ultrahigh-Dimensional Supervised Problems (Q5881153) (← links)
- Integer priority queues with decrease key in constant time and the single source shortest paths problem (Q5917573) (← links)
