Sciweavers

9595 search results - page 460 / 1919
» Functional programming in C
Sort
View
RECOMB
2007
Springer
16 years 7 months ago
Minimizing and Learning Energy Functions for Side-Chain Prediction
Abstract. Side-chain prediction is an important subproblem of the general protein folding problem. Despite much progress in side-chain prediction, performance is far from satisfact...
Chen Yanover, Ora Schueler-Furman, Yair Weiss
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 11 months ago
Event-based control using quadratic approximate value functions
Abstract— In this paper we consider several problems involving control with limited actuation and sampling rates. Event-based control has emerged as an attractive approach for ad...
Randy Cogill
CASES
2007
ACM
15 years 11 months ago
Recursive function data allocation to scratch-pad memory
This paper presents the first automatic scheme to allocate local (stack) data in recursive functions to scratch-pad memory (SPM) in embedded systems. A scratch-pad is a fast direct...
Angel Dominguez, Nghi Nguyen, Rajeev Barua
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 5 months ago
HyperANF: Approximating the Neighbourhood Function of Very Large Graphs on a Budget
The neighbourhood function NG(t) of a graph G gives, for each t ∈ N, the number of pairs of nodes x, y such that y is reachable from x in less that t hops. The neighbourhood fun...
Paolo Boldi, Marco Rosa, Sebastiano Vigna
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 7 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...