 | 2011 |
|---|
| 8 |       | Joseph C. Libby,
Ashley Furrow,
Paddy O'Brien,
Kenneth B. Kent:
A framework for verifying functional correctness in Odin II.
FPT 2011: 1-6 |
| 2009 |
|---|
| 7 | | Joseph C. Libby,
Kenneth B. Kent:
A Methodology for Rapid Optimization of HandelC Specifications.
IEEE International Workshop on Rapid System Prototyping 2009: 81-87 |
| 6 | | Joseph C. Libby,
Kenneth B. Kent:
An embedded implementation of the Common Language Infrastructure.
Journal of Systems Architecture - Embedded Systems Design 55(2): 114-126 (2009) |
| 2008 |
|---|
| 5 | | Joseph C. Libby,
Farnaz Gharibian,
Kenneth B. Kent:
Automatic Identification of Parallelism in Handel-C.
DSD 2008: 660-664 |
| 4 | | Ryan Wood,
Joseph C. Libby,
Kenneth B. Kent:
Application Specific Instruction Sets and their Impact on the Design Space Requirements of a Hardware Java Virtual Machine.
IEEE International Workshop on Rapid System Prototyping 2008: 175-181 |
| 3 | | Joshua R. Dick,
Kenneth B. Kent,
Joseph C. Libby:
A quantitative analysis of the .NET common language runtime.
Journal of Systems Architecture - Embedded Systems Design 54(7): 679-696 (2008) |
| 2007 |
|---|
| 2 | | Joseph C. Libby,
Kenneth B. Kent:
An Embedded Implementation of the Microsoft Common Language Infrastructure.
DSD 2007: 165-172 |
| 1 | | Joshua R. Dick,
Kenneth B. Kent,
Joseph C. Libby:
A Partitioning Analysis of the .NET Common Language Runtime.
ECBS 2007: 317-326 |
Data released under the ODC-BY 1.0 license — See also our legal information page