Sciweavers

576 search results - page 14 / 116
» Synchronization of Some DFA
Sort
View
GI
2001
Springer
14 years 1 months ago
Transaction Synchronization for XML Data in Client-Server Web Applications
: Whenever database centered client-server web applications have to be used by multiple web clients on different platforms, then recently XML has been considered as an important da...
Stefan Böttcher, Adelhard Türling
ICASSP
2009
IEEE
14 years 13 days ago
Timing and frequency synchronization for OFDM based cooperative systems
In this paper, we investigate the timing and carrier frequency offset (CFO) synchronization problem in decode and forward cooperative systems operating over frequency selective ch...
Qinfei Huang, Mounir Ghogho, Jibo Wei, Philippe Ci...
ICESS
2005
Springer
14 years 2 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 7 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
OMER
2001
13 years 10 months ago
State Machine Modeling: From Synch States to Synchronized State Machines
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
Dominikus Herzberg, André Marburger