Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonnegative integers are represented by words over {0, 1} without two consecutive 1. Given a set X of integers such that the language of their greedy representations in this system is accepted by a finite automaton, we consider the problem of deciding whether or not X is a finite union of arithmetic p...

This paper assesses the economic implications of an innovative approach to preventing the spread of HIV/AIDS in the Washington, DC. “Test & Treat” is premised on the idea that the epidemic can ultimately be eliminated by testing people widely and regularly and by putting all infected persons on antiretroviral medicines upon diagnosis. The relative costs and benefits of Test & Treat are quantifi...

Ever-shrinking microprocessor product development times require enhanced High-Volume Manufacturing (HVM) techniques. This paper describes the full holdscan testing system implemented in the 90nm Intel Pentium 4 processor. Benefits of this scan system include significantly reduced functional test-writing and fault-grade effort, extensive initialization of the design for test and debug, massive v...

Formal system modeling and rigorous validation techniques have become a corner stone in the development practice for safety critical systems. It is characteristic for model-based approaches that the relationship between the model and its implementation needs to be monitored and ultimately brought to conformance. To bridge the gap between model and implementation, the current paper proposes a ne...

Content-level conformance testing is a key to achieving interoperable data exchange among applications deployed across collaborating, yet independent enterprises. In this paper, we identify four types of content-level conformance tests to support interoperable data exchange: documentverification tests, information-mapping tests, transaction-behavior tests, and scenario-based tests. We describe ...

Our goal in this work was to develop an accurate method to identify laughter segments, ultimately for the purpose of speaker recognition. Our previous work used MLPs to perform frame level detection of laughter using short-term features, including MFCCs and pitch, and achieved a 7.9% EER on our test set. We improved upon our previous results by including high-level and long-term features, media...

The result of these predictions was a mobilization of the industry to head off a situation where test costs could impede Moore's Law. The challenge brought forth by the ITRS report caused test tool suppliers to take notice. Specifically, they began to see this developing situation as an opportunity for increased utilization of design-for-test (DFT) methodologies. Ultimately, this projected tren...