1855 search results - page 169 / 371 » Composing model programs for analysis |
140
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
129
click to vote
WSC
2001
15 years 4 months ago
2001
Due to high demand uncertainty, excess inventory has been a key issue in inventory control. Caterpillar developed the dealers' parts inventory sharing (DPIS) and returns prog...
115
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
145
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Previous studies of application usage show that the performance of collective communications are critical for high-performance computing and are often overlooked when compared to ...
124
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...