From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from jazzhorn.ncsc.mil (mummy.ncsc.mil [144.51.88.129]) by tarius.tycho.ncsc.mil (8.13.1/8.13.1) with SMTP id l3HEJlEu004767 for ; Tue, 17 Apr 2007 10:19:47 -0400 Received: from smtp-mclean.mitre.org (jazzhorn.ncsc.mil [144.51.5.9]) by jazzhorn.ncsc.mil (8.12.10/8.12.10) with ESMTP id l3HEJjpd014912 for ; Tue, 17 Apr 2007 14:19:46 GMT Received: from smtp-mclean.mitre.org (localhost.localdomain [127.0.0.1]) by smtp-mclean.mitre.org (8.12.11.20060308/8.12.11) with SMTP id l3HEJi6J002860 for ; Tue, 17 Apr 2007 10:19:45 -0400 Received: from smtp-mclean.mitre.org (localhost.localdomain [127.0.0.1]) by smtp-mclean.mitre.org (Postfix) with ESMTP id 9E2D11BDE7 for ; Tue, 17 Apr 2007 10:19:44 -0400 (EDT) To: "Zwartsenberg, Remmolt" Cc: Subject: Re: FCGlob (does someone have the time to generate a special purpose machine) References: <200704172007.54844.russell@coker.com.au> From: ramsdell@mitre.org (John D. Ramsdell) Date: 17 Apr 2007 10:19:43 -0400 In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-selinux@tycho.nsa.gov List-Id: selinux@tycho.nsa.gov "Zwartsenberg, Remmolt" writes: > Having some experience with designing and implementing finite state > machines ... I have no experience implementing finite state machines, so I cannot comment on your implementation questions. My first impulse would be to see if gfsm provides the needed functionality. > I would not mind implementing this requirement on the 64 processor > Linux Cluster at the University of Utrecht, but do any of you guys > have any idea of how we could fund this? Once again, I'm afraid I am of no help. John -- This message was distributed to subscribers of the selinux mailing list. If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with the words "unsubscribe selinux" without quotes as the message.