Potential Proposals (SRI Private)

IP Prioritization (SRI Private)

Project slides:

Enclaves (SRI Private)

Information about PDL and the Computer Science Laboratory

Where in the world is PDL?

Contractual information (SRI Private)

Formal Methods Contracts.

NSF and ONR Contracts.

Major challenge in computer science: how to use large images (.gif, .jpg, .bmp) pictures in a powerpoint slide, but then tell powerpoint "ok, throw away that large picture, I've cropped it, and shrunk it, and I don't want the .ppt file to contain the entire 11MB image, when at printer resolution about 10KB would be sufficient." Exporting to .htm produces .gifs of each page, which can then be reimported into .ppt files, but this is an annoying way to have to go about it. Of course, using xv or even coreldraw the same effect can be achieved, but that's a pain. I want a better way.

Parent Html