959 search results - page 159 / 192 » On the implementation of automatic differentiation tools |
145
Voted
FAST
2010
15 years 6 months ago
2010
A content-addressable storage (CAS) system is a valuable tool for building storage solutions, providing efficiency by automatically detecting and eliminating duplicate blocks; it ...
160
Voted
USENIX
2008
15 years 6 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
150
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
153
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
188
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...