2673 search results - page 467 / 535 » Guided Static Analysis |
136
click to vote
WSC
1998
15 years 5 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
150
click to vote
WSC
1997
15 years 5 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
150
Voted
WCE
2007
15 years 5 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
140
click to vote
POPL
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
123
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we compare several approaches for the extraction of modulation frequency features from speech signal using a phoneme recognition system. The general framework in th...