„program analysis“

Suchergebnisse

7.892 Treffer

• The allocation of innovation promotion programs – an empirical analysis
  Rüffer, Niclas 2015 Eul
• Kinematic analysis of bubble chamber events – FIT an IBM 709 programme imposing momentum and energy conservation on measurements of complete events
  Böck, R. 1961 European Organization for Nuclear Research
• Human ecological analysis of land and forest use by the Hmong people of harmonising with the governmental reforestation program in Vietnam
  Nguyen, Tien Hai
• High Performance Computing – 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
  Kunkel, Julian ; Ludwig, Thomas 2015 Springer International Publishing
• On algorithms and complexity for sets with cardinality constraints – PSPACE and PTIME logics for program analysis
  Kuncak, Viktor ; Rinard, Martin ; Marnette, Bruno 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Application description manual PS MVD program system – multivariate analysis of variance and discriminant analysis OS/ES
  Läuter, Jürgen ; Hermann, Klaus 1984 Akad. d. Wiss. d. DDR, Inst. für Mathematik
• Semantics and implementation problems in LOGLAN with its many level prefixing concept – Vortrag, gehalten auf d. Internat. Seminar on New Tools of Programming and Means for the Analysis of Programs, in Radziejowice, Polen, September 1984
  Langmaack, Hans 1985 Inst. für Informatik u. Prakt. Mathematik
• Irradiation embrittlement of pressure vessel steels – analysis of IAEA coordinated programme results
  Ghoneim, Mohammad M. ; Abou Zahra, Achmed A. ; Hammad, Fawzi H. 1983 Zentralbibliothek d. Kernforschungsanlage
• Tools and algorithms for the construction and analysis of systems – 15th international conference ; proceedings
  Kowalewski, Stefan 2009 Springer
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Multi-version program analysis – 05261 abstracts collection ; Dagstuhl seminar
  Ball, Thomas ; Diehl, Stephan ; Notkin, David ; Zeller, Andreas 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Multi-version program analysis – Dagstuhl seminar summary
  Ball, Thomas ; Diehl, Stephan ; Notkin, David ; Zeller, Andreas 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Harmonising regional trade law in the Southern African Development Community (SADC) – a critical analysis of the CISG, OHADA and CESL ; DROP programme, Universiteit Stellenbosch University
  Shumba, Tapiwa 2015 Nomos
• Analysis of Dam Failures & Development of a Dam Safety Evaluation Tool
  Imbrogno, David 2015 LAP LAMBERT Academic Publishing
• Automatic Tuning of HPC Applications – The Periscope Tuning Framework
  Gerndt, Michael ; César, Eduardo ; Benkner, Siegfried 2015 Shaker
• Holistic hardware counter performance analysis of parallel programs
  Wylie, Brian J. N. ; Mohr, Bernd ; Wolf, Felix 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Software Engineering – A Comprehensive Guide for Software Engineers and Programmers
  Rashid, Syed Zahidur 2015 LAP LAMBERT Academic Publishing
• Multi-Physics Application Development – Design and implmentation of the Kratos Multi-physics framework
  Dadvand, Pooyan 2010 LAP LAMBERT Academic Publishing
• Common problems of rural small business owners – a regional analysis
  Harris, Michael L. 2008 VDM Verlag Dr. Müller
• Automatic tuning of HPC applications – the periscope tuning framework ; [PTF]
  Gerndt, Michael ; César, Eduardo ; Benkner, Siegfried 2015 Shaker