1452 search results - page 121 / 291 » Algorithmic Analysis of Array-Accessing Programs |
111
click to vote
CSDA
2006
15 years 17 days ago
2006
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
118
click to vote
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
104
Voted
FSTTCS
2003
Springer
15 years 5 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
87
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...