New research direction, new blog | 0 comments Posted March 15, 2007 07:30 PM by jones.
First Image: A model of erosion that allows concave surfaces | 0 comments Posted February 24, 2007 07:07 PM by jones.
Our First Artifical hoodoo-like shape | 0 comments Posted February 13, 2007 02:55 PM by jones.
Average Sunset on Mt. Timpanogos | 0 comments Posted February 9, 2007 10:16 AM by jones.
CGNP: My new lab | 0 comments Posted December 11, 2006 04:31 PM by jones.
The color of the Earth in different months | 0 comments Posted August 22, 2006 09:19 PM by jones.
Sandstone fracturing models | 0 comments Posted August 22, 2006 08:55 PM by jones.
Sweet laptops for graphics | 0 comments Posted August 2, 2006 02:59 PM by jones.
Natural Phenomena | 0 comments Posted August 2, 2006 02:39 PM by jones.
Links from the Microsoft Faculty Summit, day 2. | 0 comments Posted July 19, 2006 09:12 AM by jones.
Links from Microsoft Research Faculty Summit, Day 1 | 0 comments Posted July 17, 2006 11:18 AM by jones.
Rendering terrain in time-varying conditions | 2 comments Posted July 14, 2006 04:21 PM by jones.
Talk at Microsoft Research this Thursday | 0 comments Posted June 20, 2006 09:37 AM by jones.
Formal Methods Conferences Accept Rates | 0 comments Posted June 5, 2006 01:47 PM by jones.
Who's who in model checking | 0 comments Posted May 3, 2006 10:33 AM by jones.
Former Students | 0 comments Posted May 2, 2006 02:50 PM by jones.
Static typechecking in Mozart | 0 comments Posted January 18, 2006 08:12 AM by jones.
Resources on the analytical hierarchy | 0 comments Posted December 30, 2005 09:40 PM by jones.
Microsoft's Indigo | 0 comments Posted November 16, 2005 11:52 AM by jones.
Writing a debugger for C# in C# | 0 comments Posted October 5, 2005 09:42 PM by jones.
Vocabulary for "Modeling, Optimization and Computation for Software Verification" by Roozbehani et al | 1 comments Posted October 3, 2005 03:49 PM by jones.
Journal on Emergent Algorithms | 0 comments Posted September 28, 2005 01:37 PM by jones.
Application Server and Web Applicaiton Verification | 0 comments Posted September 27, 2005 03:35 PM by jones.
Learning how to run a research lab | 0 comments Posted September 26, 2005 09:04 PM by jones.
Update from SPIN 2005 | 0 comments Posted August 23, 2005 12:51 PM by jones.
Connection between HL BIR and LL BIR in the AST | 0 comments Posted July 20, 2005 04:10 PM by jones.
Low level BIR syntax | 0 comments Posted June 29, 2005 03:10 PM by jones.
Integrating Bogor and JavaBDD | 0 comments Posted June 17, 2005 01:42 PM by jones.
Yet another low-level mc68hc11 reference | 0 comments Posted June 2, 2005 01:16 PM by jones.
Ada language reference | 0 comments Posted June 2, 2005 10:34 AM by jones.
Tracking Bees with Radar | 0 comments Posted May 13, 2005 01:22 PM by jones.
What does P-Complete mean? | 0 comments Posted May 12, 2005 08:31 PM by jones.
Fundamenta Informaticae | 0 comments Posted May 9, 2005 10:40 PM by jones.
Thesis topic ideas | 1 comments Posted May 9, 2005 11:13 AM by jones.
References on interesting logics | 0 comments Posted April 26, 2005 10:14 AM by jones.
TACAS presentation on model checking with magnetic disk | 0 comments Posted April 4, 2005 10:40 PM by jones.
something to read | 0 comments Posted January 18, 2005 12:58 PM by jones.
Technical writing style guides | 0 comments Posted January 6, 2005 08:44 PM by jones.
bio stuff | 0 comments Posted December 2, 2004 10:01 AM by jones.
on the fly optimization | 0 comments Posted November 20, 2004 10:39 PM by jones.
linear time invariant systems | 1 comments Posted November 10, 2004 04:09 PM by jones.
sampled data in control | 0 comments Posted November 8, 2004 02:07 PM by jones.
Hybrid Model Checking | 0 comments Posted October 28, 2004 11:45 AM by jones.
Open source embedded mp3 players | 0 comments Posted October 27, 2004 03:58 PM by jones.
NSF CFP for emb/hyb ssystems for 2004 | 0 comments Posted October 27, 2004 01:42 PM by jones.
ARM processor details | 0 comments Posted October 25, 2004 08:44 PM by jones.
"To store or not to store" by Behrmann, Larsen and Pelanek | 0 comments Posted August 4, 2004 02:23 PM by jones.
MatLab programming guide | 0 comments Posted August 2, 2004 08:51 AM by jones.
Basic Blocks | 0 comments Posted July 19, 2004 12:26 PM by jones.
hash function references | 0 comments Posted June 30, 2004 08:00 AM by jones.
Statis analysis introduction | 0 comments Posted June 28, 2004 09:00 AM by jones.
Magnetic disk in model checking | 0 comments Posted June 3, 2004 09:57 AM by jones.
Tic tac toe example from SPIN | 1 comments Posted May 19, 2004 10:10 AM by jones.
embedded C code in SPIN | 0 comments Posted May 18, 2004 03:36 PM by jones.
SPIN distribution (for MAC too) | 0 comments Posted May 14, 2004 11:24 AM by jones.
Counter Logic with Uninterprected Functions (CLU) | 0 comments Posted May 10, 2004 03:10 PM by jones.
Details about AtelierB's Predicate Prover | 0 comments Posted May 10, 2004 02:42 PM by jones.
International NSF programs | 0 comments Posted May 10, 2004 01:24 PM by jones.
another interesting conference | 0 comments Posted April 3, 2004 12:50 AM by jones.
IF tools | 0 comments Posted April 2, 2004 03:12 AM by jones.
6811 real time interrupts | 0 comments Posted March 11, 2004 09:13 PM by jones.
Reading from a port in the 6811 | 0 comments Posted March 11, 2004 10:01 AM by jones.
Persnickety details about 68hc11 timing | 0 comments Posted March 10, 2004 03:50 PM by jones.
motorola 68hc11 docs link | 0 comments Posted March 5, 2004 04:16 PM by jones.
NASA testbed details | 0 comments Posted February 21, 2004 08:53 PM by jones.
6811 code for a robot | 0 comments Posted February 21, 2004 01:49 PM by jones.
68HC11 Instruction reference | 0 comments Posted February 19, 2004 09:10 AM by jones.
GNU tools for 68HC11 | 0 comments Posted February 19, 2004 08:30 AM by jones.
background reading in concurrency theory | 0 comments Posted January 27, 2004 08:35 AM by jones.
MAGIC: model checking for C | 0 comments Posted January 20, 2004 12:51 PM by jones.
collapsing states | 0 comments Posted January 8, 2004 02:10 PM by jones.
Self-organization book | 0 comments Posted December 17, 2003 10:37 AM by jones.
2d applications in java/swing | 0 comments Posted December 17, 2003 06:57 AM by jones.
Race conditions | 0 comments Posted December 15, 2003 02:45 PM by jones.
computing mean, variance etc. | 0 comments Posted December 11, 2003 12:51 PM by jones.
Modeling error discovery as failure | 0 comments Posted November 22, 2003 09:01 PM by jones.
Cray X1 perf eval numbers | 0 comments Posted November 19, 2003 01:36 PM by jones.
Planet lab | 0 comments Posted November 18, 2003 02:26 PM by jones.
Common Object File Format specs | 0 comments Posted November 12, 2003 08:02 PM by jones.
embedded systems at NSF | 0 comments Posted November 11, 2003 10:04 AM by jones.
Running BrickOS inside GDB using H8/300 target | 0 comments Posted November 6, 2003 02:27 PM by jones.
BrickOS on Windows | 0 comments Posted November 3, 2003 03:26 PM by jones.
BrickOS | 0 comments Posted October 29, 2003 07:47 PM by jones.
C/C++ on Lego RCX | 0 comments Posted October 27, 2003 10:03 AM by jones.
Lego RCX refercnes | 0 comments Posted October 21, 2003 09:52 AM by jones.
SPIN 2001, 2002 Proceedings | 0 comments Posted October 13, 2003 08:31 AM by jones.
Java for Lego Mindstorms | 0 comments Posted October 9, 2003 02:51 PM by jones.
NSF CFPs | 0 comments Posted October 3, 2003 08:43 AM by jones.
SC travel plans | 0 comments Posted October 2, 2003 06:28 PM by jones.
LNCS Class from Springer | 0 comments Posted October 2, 2003 10:34 AM by jones.
Considerations for Airborn Systems and Equipment | 1 comments Posted October 1, 2003 06:29 AM by jones.
Java PathFinder source | 0 comments Posted September 29, 2003 09:38 AM by jones.
Dependability links | 0 comments Posted September 18, 2003 04:10 PM by jones.
A Scalable Test Bench for Chip-set Design Verification | 0 comments Posted September 18, 2003 08:13 AM by jones.
Specification Coverage Aided Test Selection | 0 comments Posted September 8, 2003 08:45 AM by jones.
Guided search for CTL | 0 comments Posted September 4, 2003 11:38 AM by jones.
Directed Model checking for Java | 0 comments Posted September 1, 2003 02:49 PM by jones.