5387 search results - page 493 / 1078 » Generating generic functions |
152
click to vote
ENTCS
2006
15 years 7 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
178
click to vote
IJHR
2008
15 years 7 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...
157
click to vote
JSCIC
2006
15 years 6 months ago
2006
In this paper, a moving mesh discontinuous Galerkin (DG) method is developed to solve the nonlinear conservation laws. In the mesh adaptation part, two issues have received much a...
141
click to vote
JAT
2007
15 years 6 months ago
2007
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
148
click to vote
JCT
2007
15 years 6 months ago
2007
In two previous papers, the study of partitions with short sequences has been developed both for its intrinsic interest and for a variety of applications. The object of this paper...