Sciweavers

8723 search results - page 252 / 1745
» A New Analysis of Co-Training
Sort
View
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 3 months ago
Comprehensive frequency-dependent substrate noise analysis using boundary element methods
We present a comprehensive methodology for the electrodynamic modeling of substrate noise coupling. A new and efficient method is introduced for the calculation of the Green'...
Hongmei Li, Jorge Carballido, Harry H. Yu, Vladimi...
SAC
2010
ACM
16 years 1 months ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
IWINAC
2009
Springer
16 years 1 months ago
Brain Complexity: Analysis, Models and Limits of Understanding
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
Andreas Schierwagen
BIOTECHNO
2008
IEEE
16 years 1 months ago
Exploiting Codon-Triplets Association for Genome Primary Structure Analysis
— The way evolution shapes the arrangement of synonymous codons within open reading frames (ORF) for fine tuning mRNA decoding efficiency is not yet understood. Since the ribosom...
José P. Lousado, Gabriela R. Moura, Manuel ...