2957 search results - page 202 / 592 » Code analysis and CS-XML |
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
131
click to vote
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
144
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
117
click to vote
ISI
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents an exploratory study of jihadi extremist groups' videos using content analysis and a multimedia coding tool to explore the types of videos, groups' mo...
148
Voted
PQCRYPTO
2010
15 years 1 months ago
2010
The McEliece public-key cryptosystem is based on the fact that decoding unknown linear binary codes is an NP-complete problem. The interest on implementing post-quantum cryptograph...