1901 search results - page 191 / 381 » Predicting Program Properties from |
162
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
159
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
171
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
182
click to vote
IJPP
2011
14 years 10 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
202
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...