Sciweavers

2706 search results - page 358 / 542
» Dynamical models of sentence processing
Sort
View
154
Voted
ECUMN
2007
Springer
15 years 10 months ago
Enforcing Access Control Using Risk Assessment
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
Nguyen Ngoc Diep, Le Xuan Hung, Yonil Zhung, Sungy...
LSSC
2007
Springer
15 years 10 months ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
136
Voted
IPPS
2006
IEEE
15 years 10 months ago
A proactive fault-detection mechanism in large-scale cluster systems
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...
Linping Wu, Dan Meng, Wen Gao, Jianfeng Zhan
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 10 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
GLVLSI
2003
IEEE
185views VLSI» more  GLVLSI 2003»
15 years 10 months ago
Shielding effect of on-chip interconnect inductance
—Interconnect inductance introduces a shielding effect which decreases the effective capacitance seen by the driver of a circuit, reducing the gate delay. A model of the effectiv...
Magdy A. El-Moursy, Eby G. Friedman