959 search results - page 113 / 192 » On the implementation of automatic differentiation tools |
120
click to vote
FORTE
1989
15 years 5 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
102
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
123
click to vote
IJCIS
2007
15 years 3 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
124
click to vote
JNCA
2007
15 years 3 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
136
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In a dynamic service oriented environment it is desirable for service consumers and providers to offer and obtain guarantees regarding their capabilities and requirements. WS-Agre...