2335 search results - page 269 / 467 » Functional Differentiation of Computer Programs |
115
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
140
click to vote
BMCBI
2006
15 years 21 days ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
98
Voted
EMMCVPR
2003
Springer
15 years 5 months ago
2003
Springer
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
104
click to vote
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
125
Voted
CVPR
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper brings a novel method for three-dimensional reconstruction of surfaces that takes advantage of the symmetry resulting from alternating the positions of a camera and a l...