3212 search results - page 92 / 643 » Faster Concept Analysis |
160
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
118
click to vote
SOSP
1989
ACM
15 years 5 months ago
1989
ACM
In this paper, we report on the performance of the remote procedure call implementation for the Firefly multiprocessor and analyze the implementation to account precisely for all ...
123
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents research on the application of the means-end chain (MEC) framework for investigating customers cognitive structure regarding community applications. It is argu...
116
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
174
Voted
CGO
2011
IEEE
14 years 7 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...