High-Assurance Reconfigurable Multicore Processor Based Systems

2011 ◽  
Author(s):  
Manasi Peshave ◽  
Farokh B. Bastani ◽  
I-Ling Yen
Keyword(s):  
Multicore Processor ◽  
High Assurance

Efficient Face Detection on Epiphany Multicore Processor

2017 ◽  
Vol 1 (1) ◽  
pp. 113-127 ◽  
Author(s):  
A. A. Sukhinov ◽  
◽  
G. B. Ostrobrod ◽  
Keyword(s):  
Face Detection ◽  
Multicore Processor

Security Engineering for High Assurance, Policy-Based Applications

2002 ◽  
Author(s):  
David Rosenthal ◽  
Francis Fung ◽  
Stephen Garland ◽  
Andrew Myers ◽  
David Evans
Keyword(s):  
Security Engineering ◽  
High Assurance

High Assurance Virtualization Engine (HAVEN)

2009 ◽  
Author(s):  
Ramesh Karri ◽  
Nasir Memon ◽  
Vikram Padman ◽  
Pratik Mathur
Keyword(s):  
High Assurance

High Assurance Testbed for Multilevel Interoperability, 2004 Developments

2004 ◽  
Author(s):  
Cynthia E. Irvine ◽  
Thuy D. Nguyen ◽  
Timothy E. Levin
Keyword(s):  
High Assurance

High assurance composite systems

1993 ◽  
Vol 11 (4) ◽  
pp. 7-12
Author(s):  
Jonathan Fellows
Keyword(s):  
Composite Systems ◽  
High Assurance
Sign in / Sign up

Export Citation Format

Share Document