692 search results - page 38 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
104
click to vote
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
ETRA
2000
ACM
15 years 3 months ago
2000
ACM
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
ECIS
2003
15 years 1 months ago
2003
This study adopts a stakeholder analysis to examine stakeholders’ roles and contributions in influencing organizational decisions to abandon information systems (IS) development...
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
FPCA
1989
15 years 3 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...