3330 search results - page 244 / 666 » software 2010 |
88
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...
113
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
81
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
Current mobile browser capabilities make it possible to quickly develop advanced mobile location based services without having to write device specific software, or build custom h...
92
Voted
ARC
2010
Springer
15 years 26 days ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
119
Voted
WOA
2010
14 years 10 months ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...