1707 search results - page 286 / 342 » Early Integer Programming |
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
IWINAC
2005
Springer
15 years 3 months ago
2005
Springer
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...