3212 search results - page 92 / 643 » Faster Concept Analysis |
130
Voted
APN
2000
Springer
15 years 4 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...
92
Voted
SOSP
1989
ACM
15 years 1 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 ...
90
Voted
HICSS
2003
IEEE
15 years 6 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...
SAC
2008
ACM
15 years 8 days 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...
147
click to vote
CGO
2011
IEEE
14 years 4 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...