1760 search results - page 195 / 352 » Program Analysis Using Weighted Pushdown Systems |
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
98
Voted
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
101
Voted
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
121
Voted
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
136
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...