„Static analysis“

Suchergebnisse

2.163 Treffer

• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• An abstract specification language for static program analysis
  Vistein, Michael ; Ortmeier, Frank ; Reif, Wolfgang ; Huuck, Ralf ; Fehnker, Ansgar 2009 Universität Augsburg
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• Towards automatic generation of functionality semantics to improve PLC software modularization
  Wilch, Jan ; Fischer, Juliane ; Langer, Nikolai ; Felger, Markus ; Bengel, Matthias ; Vogel-Heuser, Birgit
• Reducing Parallel Program Simulation Complexity by Static Analysis
  Aversa, Rocco ; Di Martino, Beniamino ; Mazzocca, Nicola ; Villano, Umberto
• Development of analytical and FEM solutions for static and dynamic analysis of smart piezoelectric laminated composite plates on elastic foundation
  Chanda, Aniket Gopa ; Kontoni, Denise-Penelope ; Sahoo, Rosalin
• Static analysis of prestressed micropile-raft foundation with varying lengths resting on sandy soil
  Ebadi-Jamkhaneh, Mehdi ; Kontoni, Denise-Penelope
• 18F-FET PET prior to recurrent high-grade glioma re-irradiation—additional prognostic value of dynamic time-to-peak analysis and early static summation images?
  Fleischmann, Daniel F. ; Unterrainer, Marcus ; Bartenstein, Peter ; Belka, Claus ; Albert, Nathalie L. ; Niyazi, Karim-Maximilian
• Static strain aging of α-Fe-P alloys
  Li, C. -C ; Dziura, E. J. ; Leslie, W. C.
• Short-range reordering of heavy interstitials in Ta, Nb, and Fe during relaxation and static strain aging
  Delobelle, P. ; Varchon, D. ; Oytana, C.
• Static and dynamic fracture toughness of a medium carbon microalloyed steel of three different microstructures
  Sankaran, S. ; Malakondaiah, G. ; Gouthama ; Sangal, S. ; Padmanabhan, K. A.
• Degassing of static melts by insoluble purge gases
  Dantzig, J. A. ; Clumpner, J. A. ; Tyler, D. E.
• Shear Band Patterns in Metallic Glasses under Static Indentation, Dynamic Indentation, and Scratch Processes
  Subhash, Ghatu ; Zhang, Hongwen
• Understanding the contributions of normal-fatigue and static loading to the dwell fatigue in a near-alpha titanium alloy
  Sinha, V. ; Mills, M. J. ; Williams, J. C.
• Quasi-Static and High-Strain-Rate Experimental Microstructural Investigation of a High-Strength Aluminum Alloy
  Salem, H. G. ; Lee, William M. ; Bodelot, Laurence ; Ravichandran, G. ; Zikry, M. A.
• The influence of compositional and microstructural variations on the mechanism of static fracture in aluminum alloys
  Garrett, G. G. ; Knott, J. F.
• The quasi-static and cyclic fatigue fracture behavior of 2014 aluminum alloy metal-matrix composites
  Srivatsan, T. S. ; Annigeri, R.
• Effects of martensite morphology and volume fraction on quasi-static and dynamic deformation behavior of dual-phase steels
  Kim, Sangho ; Lee, Sunghak
• Dissolution of solid antimony in molten bismuth under static conditions
  Shoji, Yoshifusa ; Uchida, Sosuke
• Mechanisms and Kinetics of Static Spheroidization of Hot-Worked Ti-6Al-2Sn-4Zr-2Mo-0.1Si with a Lamellar Microstructure
  Park, Chan Hee ; Won, Jong Woo ; Park, Jin-Woo ; Semiatin, S. L. ; Lee, Chong Soo