Sciweavers

1539 search results - page 86 / 308
» Is it time for real-time functional programming
Sort
View
ENTCS
2008
75views more  ENTCS 2008»
15 years 3 months ago
Intensional Properties of Polygraphs
Abstract
Guillaume Bonfante, Yves Guiraud
ISIPTA
2003
IEEE
117views Mathematics» more  ISIPTA 2003»
15 years 8 months ago
Dynamic Programming for Discrete-Time Systems with Uncertain Gain
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
Gert de Cooman, Matthias C. M. Troffaes
PRICAI
2004
Springer
15 years 8 months ago
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
Susumu Katayama
IPSN
2010
Springer
15 years 10 months ago
Slotted programming for sensor networks
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...
Roland Flury, Roger Wattenhofer
FPCA
1989
15 years 7 months ago
Automatic Complexity Analysis
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...
Mads Rosendahl