9842 search results - page 416 / 1969 » Compositional timing analysis |
145
Voted
TPLP
2010
15 years 4 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
166
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
177
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, we describe a SVM classification framework of session detection task on both Chinese and English query logs. With eight features on the aspects of temporal and cont...
148
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Video quality assessment (QA) continues to be an important area of research due to the overwhelming number of applications where videos are delivered to humans. In particular, the...
186
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...