258 search results - page 52 / 52 » Static Semantics as Program Transformation and Well-founded ... |
CASES
2004
ACM
13 years 10 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
LCPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
DGO
2008
13 years 6 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...