3931 search results - page 79 / 787 » Separation logic and abstraction |
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
REFLECTION
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
STOC
1990
ACM
15 years 1 months ago
1990
ACM
ions (Extended Abstract) Noga Alon Paul Seymour Robin Thomas Let G be an n-vertex graph with nonnegative weights whose sum is 1 assigned to its vertices, and with no minor isomorp...
117
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—We consider the location service in a mobile adhoc network (MANET), where each node needs to maintain its location information in the network by (i) frequently updating ...
126
click to vote
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This paper proposes a novel method to deal with the representation issue in texture classification. A learning framework of image descriptor is designed based on the Fish...