2673 search results - page 242 / 535 » Guided Static Analysis |
193
click to vote
ICSOC
2009
Springer
15 years 3 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
188
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
165
click to vote
JSSPP
2009
Springer
16 years 16 days ago
2009
Springer
It is important to identify scalability constraints in existing job scheduling software as they are applied to next generation parallel systems. In this paper, we analyze the scala...
163
click to vote
RTAS
2008
IEEE
16 years 11 days ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...
173
click to vote
ICMCS
2007
IEEE
16 years 9 days ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...