Treffer 101 - 78 von 78

102

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

Android application Dynamic analysis Functional defects
Konferenz
Zu den Favoriten
103

LLM Assisted Development
Castelberg, Dominik ; Flury, Flury

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

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
105

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
106

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
107

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
108

Dieses Ergebnis kann Gästen nicht angezeigt werden.

109

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
111

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
112

Dieses Ergebnis kann Gästen nicht angezeigt werden.

113

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
114

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
116

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

distributed systems failure diagnosis logging
Dissertation
Zu den Favoriten
117

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

Particle Physics - Exper...
Zu den Favoriten
118

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