Sciweavers

5131 search results - page 312 / 1027
» Heterogeneous Component Analysis
Sort
View
IWPC
2009
IEEE
15 years 11 months ago
Practical static analysis for inference of security-related program properties
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
Yin Liu, Ana Milanova
144
Voted
ISPD
2000
ACM
124views Hardware» more  ISPD 2000»
15 years 9 months ago
A performance optimization method by gate sizing using statistical static timing analysis
We propose a gate resizing method for delay and power optimization that is based on statistical static timing analysis. Our method focuses on the component of timing uncertainties...
Masanori Hashimoto, Hidetoshi Onodera
JCC
2006
78views more  JCC 2006»
15 years 4 months ago
Software news and updates carma: A molecular dynamics analysis program
: A computer program has been developed to aid the analysis of molecular dynamics trajectories. The program is tuned for macromolecular large-scale problems and supports features s...
Nicholas M. Glykos
BPSC
2010
139views Business» more  BPSC 2010»
15 years 2 months ago
Static Information Flow Analysis of Workflow Models
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
Rafael Accorsi, Claus Wonnemann
IWPC
2009
IEEE
15 years 11 months ago
Vector space analysis of software clones
In this paper, we introduce a technique for applying Independent Component Analysis to vector space representations of software code fragments such as methods or blocks. The dista...
Scott Grant, James R. Cordy