„program analysis“

Suchergebnisse

7.892 Treffer

• Shape Analysis of Sets
  Reineke, Jan 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Loop Optimization (Dagstuhl Seminar 18111)
  Hack, Sebastian ; Kelly, Paul H. J. ; Lengauer, Christian
• Testing and Verification of Compilers (Dagstuhl Seminar 17502)
  Chen, Junjie ; Donaldson, Alastair F. ; Zeller, Andreas ; Zhang, Hongyu
• Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352)
  Darulova, Eva ; Donaldson, Alastair F. ; Rakamaric, Zvonimir ; Rubio-González, Cindy
• Automated Program Repair (Dagstuhl Seminar 17022)
  Kim, Sunghun ; Le Goues, Claire ; Pradel, Michael ; Roychoudhury, Abhik
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Network Attack Detection and Defense (Dagstuhl Seminar 16361)
  Dacier, Marc C. ; Dietrich, Sven ; Kargl, Frank ; König, Hartmut
• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie
• Dark Silicon: From Embedded to HPC Systems (Dagstuhl Seminar 16052)
  Gerndt, Hans Michael ; Glaß, Michael ; Parameswaran, Sri ; Rountree, Barry L.
• Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
  Filieri, Antonio ; Kwiatkowska, Marta ; Misailovic, Sasa ; Mytkowicz, Todd
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
  Cadar, Christian ; Ganesh, Vijay ; Sasnauskas, Raimondas ; Sen, Koushik
• Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
  Kroening, Daniel ; Reps, Thomas W. ; Seshia, Sanjit A. ; Thakur, Aditya
• Synchronous Programming (Dagstuhl Seminar 13471)
  Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus
• Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)
  Benkner, Siegfried ; Franchetti, Franz ; Gerndt, Hans Michael ; Hollingsworth, Jeffrey K.
• Single-round performance of colorectal cancer screening programs: a network meta-analysis of randomized clinical trials
  Terasawa, Teruhiko ; Tadano, Toshihiro ; Abe, Koichiro ; Sasaki, Seiju ; Hosono, Satoyo ; Katayama, Takafumi ; Hoshi, Keika ; Nakayama, Tomio ; Hamashima, Chisato
• Policy analysis of the Universal Public Health Insurance program for Afghan refugees in Iran: a protocol study
  Amuzadeh-Araei, Sahar ; Takian, Amirhossein ; Jabbari, Alireza
• Benefit-Cost Analysis: Distributional Considerations under Producer Quota Buyouts
  Schmitz, Andrew ; Schmitz, Troy G.
• Congressional modification of benefit-cost analysis as a vehicle for particularized benefits and a limitation on agency discretion: the case of the federal contract tower program
  Mills, Russell W.
• Analysis of fatty acid metabolism in prostate cancer and discovery of a new programmed cell death-associated luminal cell subpopulation
  Zeng, Yan ; Jiang, Zhaolin