1452 search results - page 131 / 291 » Algorithmic Analysis of Array-Accessing Programs |
106
Voted
ACTA
2005
15 years 14 days ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
148
click to vote
JMLR
2012
13 years 3 months ago
2012
Graph partitioning algorithms play a central role in data analysis and machine learning. Most useful graph partitioning criteria correspond to optimizing a ratio between the cut a...
84
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
89
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
PVM
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...