51692 search results - page 10155 / 10339 » it 2008 |
168
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
178
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
143
Voted
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
We have been developing a Grid-enabled MPI communication library called GridMPI, which is designed to run on multiple clusters connected to a wide-area network. Some of these clust...
175
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
147
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...