The Prefix table of a string reports for each position the maximal length of its prefixes starting here. The Prefix table and its dual Suffix table are basic tools used in the d...
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...