Taxonomic Search: john OR franco, adyson

Results 1 - 10 of 14

Results

file

A Solver for Non-linear Boolean Functions

Submitted by adyson on Wed, 02/15/2012 - 4:40pm. Contributor:
  • 206.62 KB
  • 0 views
  • 65 downloads
  • Download
file

Disappearing Formal Methods

Submitted by adyson on Wed, 02/15/2012 - 4:43pm. Contributor:
  • 187.86 KB
  • 0 views
  • 59 downloads
  • Download
file

Pragmatic Approaches with COTS

Submitted by adyson on Mon, 02/13/2012 - 5:48pm. Contributor:
  • 107.98 KB
  • 0 views
  • 58 downloads
  • Download