Sciweavers

734 search results - page 89 / 147
» Dynamic programming for impulse controls
Sort
View
IJSYSC
2000
67views more  IJSYSC 2000»
13 years 7 months ago
Incorporating prior knowledge in fuzzy model identification
This paper presents an algorithm for incorporating a priori knowledge into data-driven identification of dynamic fuzzy models of the Takagi-Sugeno type. Knowledge about the modell...
János Abonyi, Robert Babuska, Henk B. Verbr...
PPPJ
2009
ACM
14 years 2 months ago
Phase detection using trace compilation
Dynamic compilers can optimize application code speciļ¬cally for observed code behavior. Such behavior does not have to be stable across the entire program execution to be beneļ¬...
Christian Wimmer, Marcelo Silva Cintra, Michael Be...
ECOOP
2007
Springer
14 years 1 months ago
Gradual Typing for Objects
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named Ī»? ā†’. Gradual typin...
Jeremy G. Siek, Walid Taha
ECOOPW
2003
Springer
14 years 27 days ago
Advancing the State of the Art in Run-Time Inspection
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
Robert E. Filman, Katharina Mehner, Michael Haupt
CCS
2006
ACM
13 years 11 months ago
Application security support in the operating system kernel
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
Manigandan Radhakrishnan, Jon A. Solworth