Sciweavers

11168 search results - page 122 / 2234
» Abstract State Processes
Sort
View
SAS
2009
Springer
214views Formal Methods» more  SAS 2009»
16 years 5 months ago
Abstract Interpretation of FIFO Replacement
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
Daniel Grund, Jan Reineke
152
Voted
IPPS
2006
IEEE
15 years 10 months ago
An extensible global address space framework with decoupled task and data abstractions
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...
Sriram Krishnamoorthy, Ümit V. Çataly&...
BMCBI
2011
14 years 11 months ago
Estimating developmental states of tumors and normal tissues using a linear time-ordered model
Background: Tumor cells are considered to have an aberrant cell state, and some evidence indicates different development states appearing in the tumorigenesis. Embryonic developme...
Bo Zhang, Beibei Chen, Tao Wu, Zhenyu Xuan, Xiaope...
ESCIENCE
2005
IEEE
15 years 10 months ago
Publishing Persistent Grid Computations as WS Resources
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...
Thomas Heinis, Cesare Pautasso, Oliver Deak, Gusta...
139
Voted
TSP
2008
166views more  TSP 2008»
15 years 4 months ago
Audio Denoising by Time-Frequency Block Thresholding
Abstract--Removing noise from audio signals requires a nondiagonal processing of time-frequency coefficients to avoid producing "musical noise." State of the art algorith...
Guoshen Yu, Stéphane Mallat, Emmanuel Bacry