Nial: A candidate language for fifth generation computer systems. - Carl McCrosky; Janice I. Glasgow; Michael A. Jenkins (ACM Annual Conference, 1984)

User Defined Parallel Control Strategies in Nial. - Janice I. Glasgow; Michael A. Jenkins; Carl McCrosky (SLP, 1985)

Programming Styles in Nial. - Michael A. Jenkins; Janice I. Glasgow; Carl McCrosky (IEEE Softw., 1986)

The elimination of intermediate containers in the evaluation of first-class array expressions. - Carl McCrosky (ICCL, 1988)

Improving First-Class Array Expressions Using Prolog. - Carl McCrosky; Anthony J. Kusalik (ICLP/SLP, 1988)

On the design of on-chip instruction caches. - Carl McCrosky; Brian ven der Buhs (Microprocess. Microsystems, 1988)

Design of a processor for array-theoretic computation. - Carl McCrosky; Michael A. Jenkins (J. Syst. Softw., 1989)

Expressing parallel algorithms in Nial. - Janice I. Glasgow; Michael A. Jenkins; Henk Meijer; Carl McCrosky (Parallel Comput., 1989)

Realizing the parallelism of array-based computation. - Carl McCrosky (Parallel Comput., 1989)

Intermediate Container Removal. - Carl McCrosky (Comput. Lang., 1991)

Integrated Specification, Simulation, and Fabrication of Systolic/Wavefront Arrays. - Sudarsan Tandri; Mostafa I. H. Abd-El-Barr; Carl McCrosky (Int. J. Comput. Simul., 1991)

Reducing the Cost of Test Pattern Generation by Information Reusing. - Weidong Li; Carl McCrosky; Mostafa I. H. Abd-El-Barr (ICCD, 1993)

A Synthesis of Type-Checking and Parsing. - Carl McCrosky; Ken Sailor (Comput. Lang., 1993)

High-Level Synthesis of Digital Circuits by Finding Fixpoints. - Lakshmikanth Ghatraju; Mostafa I. H. Abd-El-Barr; Carl McCrosky (EDAC-ETC-EUROASIC, 1994)

A Practical Approach to Type-Sensitive Parsing. - Ken Sailor; Carl McCrosky (Comput. Lang., 1994)

Transformation of functional specifications of finite difference methods to parallel distributed codes. - Kanad Roy; Carl McCrosky (PACT, 1995)

Graph-based output phase assignment for PLA minimization. - Yanbing Xu; Mostafa I. H. Abd-El-Barr; Carl McCrosky (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995)

Negation Trees: A Unified Approach to Boolean Function Complementation. - Yuke Wang; Carl McCrosky (IEEE Trans. Computers, 1996)

A New Theory for Testability-Preserving Optimization of Combinational Circuits. - Jiabi Zhu; Mostafa I. H. Abd-El-Barr; Carl McCrosky (VLSI Design, 1996)

Performance Comparison of Control Schemes for ABR Service in ATM LANs. - Lei Wang 014; Carl McCrosky (MASCOTS, 1997)

Adaptive Rate Subscriber Loop Data Transmission using Ethernet Interfaces. - Norifumi Takaya; David E. Dodds; Carl McCrosky (J. Circuits Syst. Comput., 1997)

An Algorithm for Total Symmetric OBDD Detection. - Yuke Wang; Mostafa I. H. Abd-El-Barr; Carl McCrosky (IEEE Trans. Computers, 1997)

An Approximate Solution for Queuing Network Models of a Burst-Level Traffic Control Scheme in ATM WAN. - Lei Wang 014; Carl McCrosky (Perform. Evaluation, 1998)

Solving Boolean Equations Using ROSOP Forms. - Yuke Wang; Carl McCrosky (IEEE Trans. Computers, 1998)

Transistor Stuck-Open Fault Detection in Multilevel CMOS Circuits. - Mostafa I. H. Abd-El-Barr; Yanging Xu; Carl McCrosky (Great Lakes Symposium on VLSI, 1999)

Data flow control in ATM networks: an evaluation of ER and BCA. - Nanda K. Katikaneni; Carl McCrosky (ICCCN, 1999)

Area-Efficient VLSI Layouts for Binary Hypercubes. - Alpesh Patel; Anthony J. Kusalik; Carl McCrosky (IEEE Trans. Computers, 2000)

Single-faced Boolean Functions and their Minimization. - Yuke Wang; Carl McCrosky; Xiaoyu Song (Comput. J., 2001)

Implementation of a Physical Activity Monitoring System for the Elderly People with Built-in Vital Sign and Fall Detection. - Anh Dinh; Daniel Teng; Li Chen; Yang Shi; Carl McCrosky; Jenny Basran; Vanina Del Bello-Hass (ITNG, 2009)

Resource shared architecture of multiple transforms for multiple video codecs. - Khan A. Wahid; Muhammad Martuza; Mousumi Das; Carl McCrosky (CCECE, 2011)

A fast hybrid DCT architecture supporting H.264, VC-1, MPEG-2, AVS and JPEG codecs. - Muhammad Martuza; Carl McCrosky; Khan A. Wahid (ISSPA, 2012)

Efficient hardware implementation of 8 × 8 integer cosine transforms for multiple video codecs. - Khan A. Wahid; Muhammad Martuza; Mousumi Das; Carl McCrosky (J. Real Time Image Process., 2013)