7404 search results - page 228 / 1481 » Software performance antipatterns |
184
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
153
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
148
click to vote
EDO
2000
Springer
15 years 9 months ago
2000
Springer
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
169
click to vote
ETRA
2008
ACM
15 years 7 months ago
2008
ACM
We describe an open-source software framework that simulates the measurements made using one or several cameras in a videooculographic eye tracker. The framework can be used to co...
167
click to vote
HCI
2007
15 years 7 months ago
2007
This paper discusses how the importance of social networks for performing everyday tasks in the developing world leads to new considerations of the utility of social networking sof...