1452 search results - page 189 / 291 » Algorithmic Analysis of Array-Accessing Programs |
224
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
116
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
120
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
117
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: One of the most commonly performed tasks when analysing high throughput gene expression data is to use clustering methods to classify the data into groups. There are a...
100
Voted
SIAMJO
2008
15 years 19 days ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...