Search results

(1 - 4 of 4)
Experiments with the ALPOC theorem prover
Experiments with the ALPOC theorem prover
Author(s):
Spencer, Horton, Francis
Discipline:
Computer Science
Discipline:
Computer Science
Date:
1995
Type:
Article
A system for selecting and preparing a batch of data files, and running a selected computer program with each data file is...
Concurrent task execution on the Intel Xeon Phi
Concurrent task execution on the Intel Xeon Phi
Author(s):
Zhu
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2014
Type:
Thesis / Dissertation
The Intel Xeon Phi coprocessor is a new choice for the high performance computing industry and it needs to be tested. In this...
Investigating suspected background processes in Android malware classification through dynamic automated reverse engineering and semi-automated debugging
Investigating suspected background processes in Android malware classification through dynamic automated reverse engineering and semi-automated debugging
Author(s):
Taheri
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2020
Type:
Thesis / Dissertation
Android malware detection is one of the enthusiastic research domains in recent years. Despite researchers’ admirable...
Building and evaluating web corpora representing national varieties of English
Building and evaluating web corpora representing national varieties of English
Author(s):
Cook, Brinton
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2017-09-01
Type:
Article
Corpora are essential resources for language studies, as well as for training statistical natural language processing systems...
Zircon - This is a contributing Drupal Theme
Design by WeebPal.