Sciweavers

11168 search results - page 225 / 2234
» Abstract State Processes
Sort
View
ASPDAC
2007
ACM
92views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Signal-to-Memory Mapping Analysis for Multimedia Signal Processing
Abstract
Ilie I. Luican, Hongwei Zhu, Florin Balasa
TIT
2002
75views more  TIT 2002»
15 years 6 months ago
Analytic variations on redundancy rates of renewal processes
Abstract--Csisz
Philippe Flajolet, Wojciech Szpankowski
TMI
2002
123views more  TMI 2002»
15 years 6 months ago
Validation of Medical Image Processing in Image-Guided Therapy
Do we need an abstract ?.
Pierre Jannin, J. Michael Fitzpatrick, David J. Ha...
SSS
2009
Springer
15 years 11 months ago
An Optimal Self-stabilizing Firing Squad
Consider a fully connected network where up to t processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of e...
Danny Dolev, Ezra N. Hoch, Yoram Moses
EACL
2003
ACL Anthology
15 years 7 months ago
A Dynamic Logic Formalisation of the Dialogue Gameboard
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
Raquel Fernández