Sciweavers

15421 search results - page 3 / 3085
» Dependability
Sort
View
ICSM
2009
IEEE
14 years 2 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
14 years 28 days 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
13 years 11 months ago
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies
Keshav Pingali, Micah Beck, Richard Johnson, Mayan...
JFP
2007
112views more  JFP 2007»
13 years 7 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
13 years 11 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