Sciweavers

11066 search results - page 315 / 2214
» Linearity in Process Languages
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
15 years 6 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
FUZZY
1997
Springer
166views Fuzzy Logic» more  FUZZY 1997»
15 years 9 months ago
Optimizing Video Signal Processing Algorithms by Evolution Strategies
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...
H. Blume, O. Franzen, M. Schmidt
ICASSP
2009
IEEE
15 years 12 months ago
Automatic visual-only language identification: A preliminary study
We describe experiments in visual-only language identification, in which only lip-shape and lip-motion are used to determine the language of a spoken utterance. We focus on the t...
Jacob L. Newman, Stephen J. Cox
PDP
2003
IEEE
15 years 10 months ago
Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
Javier Cuenca, Domingo Giménez, José...
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 9 months ago
Information dissemination in networks via linear iterative strategies over finite fields
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
Shreyas Sundaram, Christoforos N. Hadjicostis