Thomas Bartenstein

Learn More
This paper describes an Economic and Return-onInvestment (RoI) model for a test methodology that ensures product quality for logic devices that are in the 130 nm technology node and below. We describe the key components of the nanometer test methodology (NTM) and how it drives the model. In addition to ensuring product quality we address the cost of test(More)
This paper introduces GREEN STREAMS, a novel solution to address a critical but often overlooked property of data-intensive software: energy efficiency. GREEN STREAMS is built around two key insights into data-intensive software. First, energy consumption of data-intensive software is strongly correlated to data volume and data processing, both of which are(More)
We introduce RATE TYPES, a novel type system to reason about and optimize data-intensive programs. Built around stream languages, RATE TYPES performs static quantitative reasoning about <i>stream rates</i> -- the frequency of data items in a stream being consumed, processed, and produced. Despite the fact that streams are fundamentally dynamic, we find two(More)
Platinum-acridine hybrid agents show low-nanomolar potency in chemoresistant non-small cell lung cancer (NSCLC), but high systemic toxicity in vivo. To reduce the promiscuous genotoxicity of these agents and improve their pharmacological properties, a modular build-click-screen approach was used to evaluate a small library of twenty hybrid agents containing(More)