Computer Science

14 Finished

14 results

Filter

Research project
Shf: Small: Virtualization Of Heterogeneous And Non-Uniform Memory Hierarchy
Ding, X.
National Science Foundation
8/1/16 → 7/31/19
Project: Research project
Satc: Core: Medium: Collaborative: Theory And Practice Of Cryptosystems Secure Against Subversion
Tang, Q.
National Science Foundation
10/1/18 → 9/30/21
Project: Research project
A Family-Based Framework Of Quality Assurance For Biomedical Ontologies
Perl, Y.
National Institutes of Health
3/4/15 → 2/28/19
Project: Research project
Twc: Small: Collaborative: Improving Android Security With Dynamic Slicing
Neamtiu, I.
National Science Foundation
9/1/16 → 8/31/19
Project: Research project
Career: Differential Types And Declarative Hypothesis Testing For Software Evolution
Neamtiu, I.
National Science Foundation
9/1/15 → 3/31/17
Project: Research project
Efficient Monte Carlo Methods For Characterization Of Safety Margins Of Nuclear Power Plants
Nakayama, M.
National Science Foundation
9/1/15 → 8/31/18
Project: Research project
Optimization Algorithms For Decision Problems With Many Variables
Calvin, J.
National Science Foundation
8/15/16 → 7/31/19
Project: Research project
Career: Secure And Reliable Outsourced Storage Systems Using Remote Data Checking
Curtmola, R.
National Science Foundation
7/1/11 → 6/30/16
Project: Research project
Efficient Simulation Of Risk And Performance Measures, With Applications To The Design And Operation Of Nuclear Power Plants
Nakayama, M.
National Science Foundation
9/1/12 → 8/31/15
Project: Research project
Chs: Small: An Optimized Human-Machine Intelligence Framework For Single And Multi-Label Classification Tasks Through Active Learning
Basu Roy, S.
National Science Foundation
9/1/18 → 8/31/21
Project: Research project
Csr: Medium: Mobile Distributed Computing In The Cloud
Borcea, C.
National Science Foundation
10/1/14 → 9/30/17
Project: Research project
Tc: Medium: Collaborative Research: Program Analysis For Smartphone Application Security
Neamtiu, I.
National Science Foundation
9/1/15 → 8/31/17
Project: Research project
Satc: Ttp: Medium: Collaborative: Securing The Software Supply Chain
Curtmola, R.
National Science Foundation
7/1/18 → 6/30/21
Project: Research project
Ccf-Bsf: Af: Small: Collaborative Research: Practice-Friendly Theory And Algorithms For Linear Regression Problems
Koutis, I.
National Science Foundation
10/1/18 → 9/30/21
Project: Research project