Sciweavers

4604 search results - page 133 / 921
» Concurrency in Synchronous Systems
Sort
View
IJFCS
2008
63views more  IJFCS 2008»
15 years 3 months ago
How to Synchronize the Activity of All Components of a P System?
We consider the problem of synchronizing the activity of all the membranes of a P system. After pointing at the connection with a similar problem dealt with in the field of cellul...
Francesco Bernardini, Marian Gheorghe, Maurice Mar...
ESORICS
2006
Springer
15 years 7 months ago
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
Boris Köpf, David A. Basin
FTRTFT
1998
Springer
15 years 8 months ago
Fair Synchronous Transition Systems and Their Liveness Proofs
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
Amir Pnueli, Natarajan Shankar, Eli Singerman
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 3 months ago
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system ha...
Joachim Wehler
TWC
2008
146views more  TWC 2008»
15 years 3 months ago
Synchronization, Channel Estimation, and Equalization in MB-OFDM Systems
Abstract-- This paper addresses preamble-based low complexity synchronization, channel estimation and equalization for Zero-padded (ZP) MB-OFDM based UWB systems. The proposed sync...
Yinghui Li, Hlaing Minn, R. M. A. Rajatheva