1880 search results - page 199 / 376 » A Static Analysis for Beta-Binders |
148
click to vote
ESE
2006
15 years 6 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
204
click to vote
ECCV
2008
Springer
16 years 8 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...
183
click to vote
JSSPP
2009
Springer
16 years 1 months 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...
174
click to vote
RTAS
2008
IEEE
16 years 1 months 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...
186
click to vote
ICMCS
2007
IEEE
16 years 28 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...