Monthly Archives: July 2007

Lists and Implication Done

Posted on July 30, 2007 by Mathias

I’m back in Los Angeles now. I didn’t have time… Continue reading →

Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post

Lists Instead of Sets

Posted on July 28, 2007 by Mathias

I’m currently being anti-social and sitting in … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

San Diego

Posted on July 27, 2007 by Mathias

We just got to San Diego and checked into the h… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Implication for @Combine

Posted on July 26, 2007 by Mathias

As during the last few days, I’m in the process… Continue reading →

Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post

Greetings from LA

Posted on July 26, 2007 by Mathias

My girlfriend and I are in LA right now, stayin… Continue reading →

Posted in Uncategorized | Leave a comment

Print This Post

Connexions

Posted on July 25, 2007 by Mathias

Ok, Moesday (Monday+Tuesday) was a little rough… Continue reading →

Posted in Concurrent Unit Testing, DrJava, Ramblings | Leave a comment

Print This Post

TSA, Here We Go Again

Posted on July 24, 2007 by Mathias

About half a year ago, Diana and I went to Kans… Continue reading →

Posted in Pictures, Ramblings | Leave a comment

Print This Post

Thesis, Quantitatively

Posted on July 19, 2007 by Mathias

Google added a few figures to their "Word Count… Continue reading →

Posted in MS Thesis, Ramblings, Research | Leave a comment

Print This Post

DrJava and the Order of the Phoenix

Posted on July 18, 2007 by Mathias

Today I took another look at the DrJava 1.6 com… Continue reading →

Posted in DrJava, Ramblings, Research | Leave a comment

Print This Post

Exceptions in Predicates

Posted on July 14, 2007 by Mathias

Today, I finished going through the simple mist… Continue reading →

Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post

Timing an Interpreter in Java

Posted on July 13, 2007 by Mathias

The last two days I’ve helped Walid with one of… Continue reading →

Posted in Concurrent Unit Testing, MS Thesis, Research | Leave a comment

Print This Post

Topological Sort

Posted on July 10, 2007 by Mathias

Following Corky’s suggestion, I’ve been trying … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Expensive Textbooks

Posted on July 9, 2007 by Mathias

I really need to use the library more, textbook… Continue reading →

Posted in Concurrent Unit Testing, Ramblings | Leave a comment

Print This Post

Ahead of Time Announcement: From July 26 to July 31 I’m Gone!

Posted on July 9, 2007 by Mathias

Diana had booked us flights for Comic-Con. I ra… Continue reading →

Posted in Uncategorized | Leave a comment

Print This Post

Paperful Writing

Posted on July 9, 2007 by Mathias

THe last three or four days I’ve done most of m… Continue reading →

Posted in Concurrent Unit Testing, DrJava | Leave a comment

Print This Post

Independence Day

Posted on July 4, 2007 by Mathias

Happy July 4th, everyone, whatever that means. … Continue reading →

Posted in Concurrent Unit Testing, MS Thesis, Uncategorized | Leave a comment

Print This Post

Need `join` Synchronization Point

Posted on July 2, 2007 by Mathias

I just wrote a test program, basically somethin… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Multiple Joins

Posted on July 2, 2007 by Mathias

The task of generating only valid schedules is … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Fork/Join

Posted on July 1, 2007 by Mathias

After I started implementing the schedule gener… Continue reading →

Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post