References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Beu, Titus Adrian: Introduction to numerical programming. A practical guide for scientists and engineers using Python and C/C++ (2015)
  2. Sadeghi, Parissa H.; Huch, Frank: The interactive curry observation debugger icode. (2007)
  3. Stoller, Scott D.; Schneider, Fred B.: Automated analysis of fault-tolerance in distributed systems (2005)
  4. Hansen, Klaus Marius: Thoth --- a publish/subscribe architecture for peer-to-peer tool integration (2004)
  5. Hansen, Klaus Marius: Thoth -- a publish/subscribe architecture for peer-to-peer tool integration (2004)
  6. Hansen, Klaus Marius: Thoth-A publish/subscribe architecture for peer-to-peer tool integration (2004)
  7. Pongcharoen, P.; Hicks, C.; Braiden, P. M.: The development of genetic algorithms for the finite capacity scheduling of complex products, with multiple levels of product structure. (2004)
  8. Bauer, C.; Do, H.S.: One-loop integrals with XLOOPS-giNaC (2002)
  9. Bono, Viviana; Damiani, Ferruccio; Giannini, Paola: A calculus for ”Environment-aware” computation. (2002)
  10. Echahed, Rachid; Serwe, Wendelin: Defining actions in concurrent declarative programming. (2002)
  11. Kalé, Laxmikant; Skeel, Robert; Bhandarkar, Milind; Brunner, Robert; Gursoy, Attila; Krawetz, Neal; Phillips, James; Shinozaki, Aritomo; Varadarajan, Krishnan; Schulten, Klaus: NAMD2: Greater scalability for parallel molecular dynamics (1999)
  12. Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto: A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (1998)
  13. Sajaniemi, Jorma; Ikonen, Kari: Vined - a system for program manipulation through user-definable simultaneous views. (1998)
  14. Sastry, Venkat V.S.S.: Graphical user interfaces for numerical libraries (1997)
  15. Camposano, Raul; Wilberg, Joerg: Embedded system design. (1996)
  16. Tiller, Michael M.; Dantzig, Jonathan A.: Implementation of design sensitivity analysis and numerical optimization in engineering analysis (1996)
  17. Wang, Howard H.; Rock, Stephen M.; Lee, Michael J.: OTTER: The design and development of an intelligent underwater robot. (1996)
  18. Wang, Howard H.; Rock, Stephen M.; Lee, Michael J.: OTTER: The design and development of an intelligent underwater robot. (1996)