Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
Help

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Project Center Silicon Valley, California Project Center - MQP Remove constraint Project Center: Silicon Valley, California Project Center - MQP Major Computer Science Remove constraint Major: Computer Science Year 2019 Remove constraint Year: 2019

1 - 4 of 4

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Select an image to start the slideshow

NVIDIA: Software Safety Assurance for the Boot Power Management Processor on the Tegra SoC

1 of 4

Software Safety Assurance for the Boot Power Management Processor on NVIDIA’s Tegra SoC

2 of 4

A Constraint Language for Feature-Oriented Security Policies using SMT

3 of 4

A Language for Feature-Oriented Security Policies using SMT

4 of 4

Limit your search

Collections

Major Qualifying Projects4

Year

2019[remove]4

Creator

Deva, Goutham Om2
Drewniak, Nathan1
Harrison, Robert Alexander1
Hoffman, Jeremy Michael1
Rao, Tejas2
more Creators »

Advisor

Claypool, Mark L.4

Project Center

Silicon Valley, California Project Center - MQP[remove]4

Major

Computer Science[remove]4

Publisher

Worcester Polytechnic Institute4

Resource type

Major Qualifying Project4

A service of Samvera.

Digital WPI v3.3.0

Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0