1179 search results - page 132 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
160
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
134
click to vote
GLVLSI
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
159
click to vote
ISF
2008
15 years 4 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
136
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
166
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...