1392 search results - page 79 / 279 » A Calculus for Dynamic Linking |
PEPM
1994
ACM
14 years 1 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
ISCC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—With the increasing deployment of wireless technologies, such as WLAN, HSDPA, and WiMAX, it is often the case that simultaneous coverage of several access networks is av...
FMOODS
2003
13 years 10 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Consistency of object dynamics, which is related to reliable predictability, is an important factor for generating object manipulation motions. This paper proposes a technique ...
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...