Sciweavers

1344 search results - page 103 / 269
» Automatic performance analysis with periscope
Sort
View
CCGRID
2010
IEEE
15 years 1 months ago
Gridifying a Diffusion Tensor Imaging Analysis Pipeline
—Diffusion Tensor MRI (DTI) is a rather recent image acquisition modality that can help identify disease processes in nerve bundles in the brain. Due to the large and complex nat...
Matthan W. A. Caan, Frans M. Vos, Antoine H. C. va...
DSN
2000
IEEE
15 years 5 months ago
Survivability Analysis of Network Specifications
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
Sanjay K. Jha, Jeannette M. Wing, Richard C. Linge...
FM
2008
Springer
192views Formal Methods» more  FM 2008»
15 years 3 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
DDECS
2009
IEEE
171views Hardware» more  DDECS 2009»
15 years 8 months ago
Packet header analysis and field extraction for multigigabit networks
—Packet header analysis and extraction of header fields needs to be performed in all network devices. As network speed is increasing quickly, high speed packet header processing...
Petr Kobierský, Jan Korenek, Libor Polcak
IDA
2009
Springer
15 years 8 months ago
Canonical Dual Approach to Binary Factor Analysis
Abstract. Binary Factor Analysis (BFA) is a typical problem of Independent Component Analysis (ICA) where the signal sources are binary. Parameter learning and model selection in B...
Ke Sun, Shikui Tu, David Yang Gao, Lei Xu