Comments on: ESP: MSR’s little helper

By: Craigslist Phoenix

Craigslist Phoenix — Tue, 02 Nov 2010 07:16:05 +0000

Wonderful info related to java. Do provide us info related to other software as well. Thanks for this nice post.

By: Shoes store

Shoes store — Fri, 29 Oct 2010 13:42:16 +0000

I live to wear comfortable shoes. To do this, I have to spend much time on finding the right model. But thanks to the site “Shoes Info”, find the right shoe was much faster and easier!

By: Shoes

Shoes — Fri, 29 Oct 2010 13:41:26 +0000

I live to wear comfortable shoes. To do this, I have to spend much time on finding the right model. But thanks to the site “Shoes Info”, find the right shoe was much faster and easier.

By: dmandelin

dmandelin — Mon, 21 Apr 2008 18:00:11 +0000

AndersH:

Good idea. It’s funny–I was looking at a paper on BDD-based analysis for formatting ideas for another paper during the last couple weeks, but never once thought to connect it to *this* problem. If we find we need more precision for some analysis, that could be a great project for an intern this summer (which is something I’ve been thinking about lately).

AJ:

Thanks. I don’t know how understandable it is to general audiences either, but I think I found a different, easier-to-understand explanation because I ended up coming at the problem from a different direction.

Sorry about the fonts: I know they’re not good, but I’m not exactly teh l33t WordPress user, so it’s actually a pretty big pain for me to get the ‘pre’ blocks in there at all. Also, it seems to eat inline styles if I try to add those to customize things. I know stylesheets can be edited, but I think you might need to have login access to edit PHP files or something. I guess I could ask the hosting people if they can create some better styles for code.

By: AJ

AJ — Sat, 19 Apr 2008 21:01:42 +0000

Awesome point. Not sure if this is because I’m familiar with the material already, but I thought your descriptions were clear and elegant. A fun read!

Only complaint is that the code font is small enough that I’m too lazy to read it all. I know you’re dealing with fixed-width column, but you’ve got 1″ margins to play with, and you could just widen the column too .

By: AndersH

AndersH — Sat, 19 Apr 2008 08:16:38 +0000

Since you are trying to store a state table compactly, you could look at BDD (binary decision diagrams), or rather in the case where a variable can have more that two states NDD (N-ary decision diagrams). It seems the operations you need (state removal on guards and state union) can be done on the compressed representation. Of course, the size of the NDD might also explode, but in that case, you could just revert to the approximated state.