Recent Additions

• Development of IDOT’s Proposed Smoothness Specification Based on the International Roughness Index 

  Lee, Hyung S.; Vavrik, William; Abdualla, Hesham (Illinois Center for Transportation/Illinois Department of Transportation, 2020-09)

  The existing smoothness specification implemented by the Illinois Department of Transportation (IDOT) was based on profile-index measurement, which was also widely used by other agencies. There is a national and international ...

  application/pdf

  PDF (16MB)
• Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic 

  Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu (2020-09)

  Automation of fixpoint reasoning has been extensively studied for various mathematical structures, logical formalisms, and computational domains, resulting in specialized fixpoint provers for heaps, for streams, for term ...

  application/pdf

  PDF (1MB)
• Virtual Single-Core for Multicore Real-Time Computing 

  Lui Sha, Jung-eun Kim, Jose Meseguer, and Peter C. Ölveczky (2020-08-30)

  This paper introduces Virtual Single-Core (VSC) technology that allows engineers to use a group of cores in a multicore computer as if the group of cores were a larger single-core computer. Multicore technology has many ...

  application/pdf

  PDF (288kB)
• BUILDING CUSTOMIZED RISC-V SOC WITH SYSTOLIC ARRAY OPTIMIZED FOR SPECIALIZED MATRIX MULTIPLICATION 

  Zhang, Haiyang (2020-05)

  With diminishing performance improvement from general-purpose processors and reducing cost for programmable hardware, accelerating computation with dedicated accelerators has been gaining increased attention, with FPGAs ...

  application/pdf

  PDF (2MB)
• Fabrication of Photonic Nanojet (PNJ) Generators with a Graded Index (GRIN) Profile 

  Littlefield, Alexander (2020-05)

  A photonic nanojet (PNJ) is a non-evanescent beam of light with a subdiffraction width that can propagate over a distance greater than one wavelength. Currently, PNJs are generated primarily with microspheres. Other designs, ...

  application/pdf

  PDF (11MB)