Treffer 81 - 78 von 78

82

VeriDroid: Automating Android Application Verification
Liu, Yepang CSE ; Xu, Chang

Android application Dynamic analysis Functional defects
Konferenz
Zu den Favoriten
83

LLM Assisted Development
Castelberg, Dominik ; Flury, Flury

Development Tools Haskell IFS (Institute for Softw...
Dissertation
Zu den Favoriten
84

Demand-Driven Static Analysis of Heap-Manipulating Programs
Chenguang Sun

Programming languages Software engineering not... static analysis demand-driven slicing analysis points-to analysis
Dissertation
Zu den Favoriten
85

Thin slicing
Sridharan, Manu ; Fink, Stephen J. ; Bodik, Rastislav
ACM SIGPLAN Notices ; volume 42, issue 6, page 112-122 ; ISSN 0362-1340 1558-1160

Fachzeitschrift
Zu den Favoriten
86

VeriDroid: Automating Android Application Verification
Yepang Liu ; Chang Xu ; The Pennsylvania State University CiteSeerX Archives
http://cs.nju.edu.cn/changxu/1 publications/MIDDLEWARE13_03.pdf.

Design Verification. Keywords A... dynamic analysis functional defects
Fachzeitschrift
Zu den Favoriten
87

Detecting and Fixing Memory-Related Performance Problems in Managed Languages
Fang, Lu ; Xu, Guoqing

Computer science amplification Big Data data-parallel interruptible task performance bugs
Dissertation
Zu den Favoriten
88

Dieses Ergebnis kann Gästen nicht angezeigt werden.

89

Characterizing and detecting performance bugs for smartphone applications
Liu, Yepang ; Xu, Chang ; Cheung, Shing Chi

Empirical study performance bug static analysis testing
Fachzeitschrift
Zu den Favoriten
91

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Fages, François ; Soliman, Sylvain ; Coolen, Rémi ; et al.
ISSN: 1383-7133.

[INFO.INFO-PL]Computer S...
Fachzeitschrift
Zu den Favoriten
92

Dieses Ergebnis kann Gästen nicht angezeigt werden.

93

A Comparison of Job Completion Times Using Three Different Batch Processing Implementations
Lee R. Clendenning ; The Pennsylvania State University CiteSeerX Archives
http://www.ijme.us/cd_08/PDF/102 IT 302.pdf.

Fachzeitschrift
Zu den Favoriten
94

Characterizing and Detecting Performance Bugs for Smartphone Applications
Yepang Liu ; Chang Xu ; Shing-chi Cheung ; et al.
http://cs.nju.edu.cn/changxu/1 publications/ICSE14_02.pdf.

Experimentation Measurement Performance. Keywords Em...
Fachzeitschrift
Zu den Favoriten
96

Non-intrusive, Automated Log Discovery and Parsing
Rodrigues, Kirk ; Yuan, Ding ; Electrical and Computer Engineering

distributed systems failure diagnosis logging
Dissertation
Zu den Favoriten
97

ATLAS Analytics and Machine Learning Platforms
Vukotic, Ilija ; Barberis, Dario ; Legger, Federica ; et al.

Particle Physics - Exper...
Zu den Favoriten
98

A Framework for Testing Concurrent Programs
Ricken, Mathias Guenter ; Cartwright, Robert S.

Applied sciences Multithreading Concurrent programming Scheduling Computer engineering Computer science
Dissertation
Zu den Favoriten

Filter