9626 search results - page 1436 / 1926 » Invariant Based Programming |
164
click to vote
PPL
2008
15 years 7 months ago
2008
Algorithmic skeletons intend to simplify parallel programming by providing a higher abstraction compared to the usual message passing. Task and data parallel skeletons can be dist...
177
click to vote
IJON
2007
15 years 7 months ago
2007
In this paper, a ridgelet kernel regression model is proposed for approximation of high dimensional functions. It is based on ridgelet theory, kernel and regularization technology ...
190
click to vote
TCAD
2008
15 years 7 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
191
click to vote
TKDE
2008
15 years 7 months ago
2008
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
167
click to vote
CAD
2005
Springer
15 years 7 months ago
2005
Springer
In 3-axis NC (Numerical Control) machining, various cutters are used and the offset compensation for these cutters is important for a gouge free tool path generation. This paper i...