Sciweavers

15421 search results - page 3 / 3085
» Dependability
Sort
View
ICSM
2009
IEEE
15 years 6 months ago
Identifying high-level dependence structures using slice-based dependence analysis
This thesis presented a framework of the possible combination of approaches for low-level program slicing-baseddependence analysis and high-level concept assignment. Three combina...
Zheng Li
NOLISP
2005
Springer
15 years 5 months ago
Weighting Scores to Improve Speaker-Dependent Threshold Estimation in Text-Dependent Speaker Verification
The difficulty of obtaining data from impostors and the scarcity of data are two factors that have a large influence in the estimation of speakerdependent thresholds in text-depend...
Javier R. Saeta, Javier Hernando
POPL
1991
ACM
15 years 3 months ago
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies
Keshav Pingali, Micah Beck, Richard Johnson, Mayan...
JFP
2007
112views more  JFP 2007»
14 years 11 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
ISSTA
1998
ACM
15 years 4 months ago
Computation of Interprocedural Control Dependence
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha