NRL - PDFSEARCH.IO - Document Search Engine

NRL
Results: 821

#	Item
211	NRL ReportExecuting Trace Specifications Using Prolog JOHN D. MCLEAN, DAVID M. WEISS, AND CARL E. LANDWEHR Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:04 Logic programming Prolog Logic in computer science Qi Append Horn clause Clause Visual Prolog B-Prolog Software engineering Computing Computer programming
212	NRL ReportBest Available Technologies (BATs) for Computer Security CARL Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 18:59:16 Multics Operating system Unix Ring B Kernel Linux kernel System Development Corporation Capability-based security Computer architecture System software Software
213	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil Language: English - Date: 2013-01-31 10:57:16 Digital electronics Electronics Xilinx Field-programmable gate array PowerPC Electronic engineering Computer architecture Reconfigurable computing
214	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2011-03-10 09:46:18
215	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2012-05-24 13:01:27
216	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2010-05-27 14:25:08
217	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2012-09-25 10:55:46
218	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2014-06-26 14:12:13
219	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2011-09-19 06:53:19
220	PDF Document Add to Reading List Source URL: heron.nrl.navy.mil - Date: 2011-04-05 10:25:47

UPDATE