Sciweavers

4101 search results - page 192 / 821
» Differential Power Analysis
Sort
View
BIRTHDAY
2010
Springer
15 years 3 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
TPHOL
2009
IEEE
16 years 1 months ago
Formal Analysis of Optical Waveguides in HOL
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
Osman Hasan, Sanaz Khan Afshar, Sofiène Tah...
GLOBECOM
2008
IEEE
16 years 1 months ago
Performance Metric Sensitivity Computation for Optimization and Trade-Off Analysis in Wireless Networks
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
John S. Baras, Vahid Tabatabaee, George Papageorgi...
CSB
2004
IEEE
106views Bioinformatics» more  CSB 2004»
15 years 11 months ago
A Theoretical Analysis of Gene Selection
A great deal of recent research has focused on the challenging task of selecting differentially expressed genes from microarray data (`gene selection'). Numerous gene selecti...
Sach Mukherjee, Stephen J. Roberts
CMSB
2008
Springer
15 years 9 months ago
Formal Analysis of Abnormal Excitation in Cardiac Tissue
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entche...