Sciweavers

4716 search results - page 216 / 944
» Tangible functional programming
Sort
View
EAAI
2008
128views more  EAAI 2008»
15 years 6 months ago
Dual heuristic programming based nonlinear optimal control for a synchronous generator
This paper presents the design of an infinite horizon nonlinear optimal neurocontroller that replaces the conventional automatic voltage regulator and the turbine governor (CONVC)...
Jung-Wook Park, Ronald G. Harley, Ganesh K. Venaya...
CSUR
1999
137views more  CSUR 1999»
15 years 6 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
Online Convex Programming and regularization in adaptive control
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
Maxim Raginsky, Alexander Rakhlin, Serdar Yük...
121
Voted
ASPDAC
2004
ACM
80views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Exploiting program execution phases to trade power and performance for media workload
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
Subhasis Banerjee, G. Surendra, S. K. Nandy
IWPC
2003
IEEE
15 years 11 months ago
A Tool For Understanding Multi-Language Program Dependencies
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
Panagiotis K. Linos, Zhi-hong Chen, Seth Berrier, ...