14515 search results - page 300 / 2903 » Efficient Embedded Computing |
183
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
203
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...
202
click to vote
PR
2007
15 years 6 months ago
2007
In this paper, we make use of the relationship between the Laplace–Beltrami operator and the graph Laplacian, for the purposes of embedding a graph onto a Riemannian manifold. T...
238
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
Early stress recognition is of great relevance in precision plant protection. Pre-symptomatic water stress detection is of particular interest, ultimately helping to meet the chal...
148
click to vote
SIGOPS
2008
15 years 6 months ago
2008
This paper describes Project Kittyhawk, an undertaking at IBM Research to explore the construction of a nextgeneration platform capable of hosting many simultaneous web-scale work...