959 search results - page 34 / 192 » On the implementation of automatic differentiation tools |
119
click to vote
SSDBM
2000
IEEE
15 years 8 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
145
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
142
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
107
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
122
click to vote
CPP
2011
14 years 3 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...