TK
From MaRDI portal
Cited in
(16)- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- NAMD2: Greater scalability for parallel molecular dynamics
- Implementation of design sensitivity analysis and numerical optimization in engineering analysis
- Graphical user interfaces for numerical libraries
- The development of genetic algorithms for the finite capacity scheduling of complex products, with multiple levels of product structure.
- One-loop integrals with XLOOPS-GiNaC
- xloops
- numxlib
- graphlib.py
- Hat
- Defining actions in concurrent declarative programming
- Embedding an interpreted language using higher-order functions and types
- docstrip
- scientific article; zbMATH DE number 866628 (Why is no real title available?)
- scientific article; zbMATH DE number 6300407 (Why is no real title available?)
- Automated analysis of fault-tolerance in distributed systems
This page was built for software: TK
