4725 search results - page 206 / 945 » Dependence-Based Program Analysis |
172
Voted
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
197
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
156
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
155
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...
175
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...