3688 search results - page 177 / 738 » Static analysis of aspects |
138
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
160
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...
168
click to vote
WCET
2008
15 years 8 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
162
click to vote
AINA
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we study the adequacy of applying peer-topeer techniques to mobile networks by conducting a series of experiments using smart phones as peers. We measure important ...
155
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an analytical performance prediction model that can be used to predict the speedup and similar performance metrics of four approximate string searching implemen...