Publications

The deferrable scheduling algorithm for fixed priority transactions (DS-FP) is demonstrated to be a very effective approach for minimizing real-time update transaction workload while maintaining te

We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets.

We study analogs of classical relational calculus in the context of strings. We start by studying string logics.

Software engineering is trending towards systematically engineering software domains by developing software families and rapidly producing members.

A talk entitled "Defining Services in an Integrated Digital Network" has been prepared for presentation to minority engineering students as part of the Systems Engineering Talks Committee program.

Operational security assurance evaluation is a task that consists of providing explicit evidence that the deployed, operational security mechanisms fulfill their respective security objectives.

This report summarizes an exploratory study conducted to identify AT&T Bell Laboratories Kelly Education and Training Center (KETC) customers' expectation for service.

Interest in optical communications has stimulated research to find a suitable optical transmission medium.

If a cool gas is blown into a hot tube (Fig. 1), the gas heats lip first at the wall of the tube and remains cool longer at its center.

The novel multiexit deep neural network (DNN) architectures provide a new optimization solution for efficient model inference in edge systems.