3742 search results - page 740 / 749 » On the Use of Formal Techniques for Validation |
175
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
185
click to vote
PLDI
2009
ACM
16 years 11 days ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
190
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
214
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
184
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
In POPL 2002, Petrank and Rawitz showed a universal result-finding optimal data placement is not only NP-hard but also impossible to approximate within a constant factor if P = NP...