| 2006 |
|---|
| 17 | EE | Ravi R. Iyer,
Mahesh Bhat,
Li Zhao,
Ramesh Illikkal,
Srihari Makineni,
Michael Jones,
Kumar Shiv,
Donald Newell:
Exploring Small-Scale and Large-Scale CMP Architectures for Commercial Java Servers.
IISWC 2006: 191-200 |
| 16 | EE | Michael C. Mozer,
Michael Jones,
Michael Shettel:
Context Effects in Category Learning: An Investigation of Four Probabilistic Models.
NIPS 2006: 993-1000 |
| 15 | EE | Micah Lewis,
Michael Jones:
A dead variable analysis for explicit model checking.
PEPM 2006: 48-57 |
| 14 | EE | Peter Lamborn,
Michael Jones:
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.
PPSN 2006: 731-740 |
| 13 | EE | Kevin Seppi,
Michael Jones,
Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic.
Fundam. Inform. 70(1-2): 111-126 (2006) |
| 2005 |
|---|
| 12 | EE | Partha Pratim Pande,
Cristian Grecu,
Michael Jones,
André Ivanov,
Res Saleh:
Effect of traffic localization on energy dissipation in NoC-based interconnect.
ISCAS (2) 2005: 1774-1777 |
| 11 | EE | Eric Mercer,
Michael Jones:
Model Checking Machine Code with the GNU Debugger.
SPIN 2005: 251-265 |
| 10 | EE | Tonglaga Bao,
Michael Jones:
Time-Efficient Model Checking with Magnetic Disk.
TACAS 2005: 526-540 |
| 9 | EE | Partha Pratim Pande,
Cristian Grecu,
Michael Jones,
André Ivanov,
Resve A. Saleh:
Performance Evaluation and Design Trade-Offs for Network-on-Chip Interconnect Architectures.
IEEE Trans. Computers 54(8): 1025-1040 (2005) |
| 2004 |
|---|
| 8 | EE | Kevin Seppi,
Michael Jones,
Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic.
ACSD 2004: 217-226 |
| 7 | EE | Maurizio Gavardoni,
Michael Jones,
Russell Poffenberger,
Miguel Conde:
System Monitor for Diagnostic, Calibration and System Configuration.
ITC 2004: 1263-1268 |
| 6 | EE | Michael Jones,
Eric Mercer:
Explicit State Model Checking with Hopper.
SPIN 2004: 146-150 |
| 5 | EE | Michael Jones,
Aaron Benson,
Dan Delorey:
Proving Compatibility Using Refinement.
TPHOLs 2004: 168-183 |
| 2003 |
|---|
| 4 | EE | Michael Jones,
Eric Mercer,
Tonglaga Bao,
Rahul Kumar,
Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 2002 |
|---|
| 3 | EE | Cecilia Magdalena Procopiuc,
Michael Jones,
Pankaj K. Agarwal,
T. M. Murali:
A Monte Carlo algorithm for fast projective clustering.
SIGMOD Conference 2002: 418-427 |
| 2 | | Sing Bing Kang,
Michael Jones:
Appearance-Based Structure from Motion Using Linear Classes of 3-D Models.
International Journal of Computer Vision 49(1): 5-22 (2002) |
| 1999 |
|---|
| 1 | EE | Michael Jones,
Aaron H. Konstam:
The Use of Genetic Algorithms and Neural Networks to Investigate the Baldwin Effect.
SAC 1999: 275-279 |
