Sciweavers

4305 search results - page 353 / 861
» The Test of Time
Sort
View
147
Voted
STACS
2009
Springer
16 years 1 months ago
Reverse Engineering Prefix Tables
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...
Julien Clément, Maxime Crochemore, Giuseppi...
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
16 years 1 months ago
Response-time analysis of arbitrarily activated tasks in multiprocessor systems with shared resources
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
Mircea Negrean, Simon Schliecker, Rolf Ernst
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
16 years 1 months ago
A fast untestability proof for SAT-based ATPG
—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...
Daniel Tille, Rolf Drechsler
IV
2009
IEEE
155views Visualization» more  IV 2009»
16 years 1 months ago
Visualizing Temporal Dynamics at the Genomic and Metabolic Level
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...
Romain Bourqui, Michel A. Westenberg
AIED
2009
Springer
16 years 1 months ago
Automated Assessment of Oral Reading Prosody
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...
Jack Mostow, Minh Duong