Date: Wed, 14 Mar 2001 13:10:34 -0800 From: "David O'Brien" <TrimYourCc@NUXI.com> To: freebsd-hackers@freebsd.org Subject: Re: if_fxp - the real point Message-ID: <20010314131034.A3308@dragon.nuxi.com> In-Reply-To: <20010314113734.G29888@fw.wintelcom.net>; from bright@wintelcom.net on Wed, Mar 14, 2001 at 11:37:34AM -0800 References: <200103092332.f29NW4785782@gollum.esys.ca> <20010309221250.2384337B71B@hub.freebsd.org> <200103092332.f29NW4785782@gollum.esys.ca> <20010314123503.C74704@daemon.ninth-circle.org> <5.0.0.25.0.20010314110743.02373a00@mail.etinc.com> <20010314090915.D29888@fw.wintelcom.net> <20010314104748.A31046@dragon.nuxi.com> <20010314113734.G29888@fw.wintelcom.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Mar 14, 2001 at 11:37:34AM -0800, Alfred Perlstein wrote:
> > ALL the time. Microsoft has given the UC-Davis security and formal
> > verification lab a multi-year grant to look at this problem.
> > (the approach being researched is "model checking")
>
> How does one get the forms for these sort of grants? :)
Write white paper, submit to M$. Or network at conference, have M$
friend tell you a proposal would be meet open arms. The typical
University/research way of getting [commercial] grants.
--
-- David (obrien@FreeBSD.org)
GNU is Not Unix / Linux Is Not UniX
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20010314131034.A3308>