fbinard documents

Deadlock Preventive Adaptive Wormhole Routing on k-ary n-cube Interconnection Networks
Technology Deadlock Preventive Adaptive Wormhole Routing on k-ary n-cube Interconnection Networks
Genetic Programming with Polymorphic Types and Higher-Order Functions
Technology Genetic Programming with Polymorphic Types and Higher-Order Functions
An Abstraction-Based Genetic Programming System
Technology An Abstraction-Based Genetic Programming System
Parks Canada Secret Sauxe
Documents Parks Canada Secret Sauxe
Towards an automated biological programming tool
Technology Towards an automated biological programming tool
Proving Properties of Programs Using Automatically Generated Models
Business Proving Properties of Programs Using Automatically Generated Models