Sciweavers

3806 search results - page 51 / 762
» The Power of Process
Sort
View
QSIC
2007
IEEE
15 years 10 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
132
Voted
NC
2010
159views Neural Networks» more  NC 2010»
15 years 2 months ago
Automata and processes on multisets of communicating objects
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
Linmin Yang, Yong Wang, Zhe Dang
MIDDLEWARE
2004
Springer
15 years 9 months ago
A hierarchical process execution support for grid computing
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
Fábio R. L. Cicerre, Edmundo Roberto Mauro ...
149
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Training design in single relay AF cooperative systems with correlated channels
In this paper, training design is studied for a single relay amplify-and-forward cooperative network. The taps of the frequency selective channels are assumed to be correlated and...
Christos Mavrokefalidis, Athanasios A. Rontogianni...
ICCD
2006
IEEE
157views Hardware» more  ICCD 2006»
16 years 1 months ago
Statistical Analysis of Power Grid Networks Considering Lognormal Leakage Current Variations with Spatial Correlation
— As the technology scales into 90nm and below, process-induced variations become more pronounced. In this paper, we propose an efficient stochastic method for analyzing the vol...
Ning Mi, Jeffrey Fan, Sheldon X.-D. Tan