The following pages link to TK (Q23349):
Displaying 11 items.
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
- NAMD2: Greater scalability for parallel molecular dynamics (Q1305980) (← links)
- Implementation of design sensitivity analysis and numerical optimization in engineering analysis (Q1364528) (← links)
- Graphical user interfaces for numerical libraries (Q1372068) (← links)
- The development of genetic algorithms for the finite capacity scheduling of complex products, with multiple levels of product structure. (Q1410335) (← links)
- One-loop integrals with XLOOPS-GiNaC (Q1613703) (← links)
- Defining Actions in Concurrent Declarative Programming (Q2841291) (← links)
- Embedding an interpreted language using higher-order functions and types (Q2913927) (← links)
- (Q4873656) (← links)
- (Q5418474) (← links)
