296 search results - page 20 / 60 » Program Refactoring, Program Synthesis, and Model-Driven Dev... |
EH
2002
IEEE
14 years 3 months ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
CF
2006
ACM
14 years 10 days ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
ICFP
2012
ACM
12 years 23 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
JUCS
2006
13 years 10 months ago
2006
: Optimal synthesis of workflow structures, the formerly undefined problem, has been introduced. Mathematical programming model is presented for determining the cost optimal workfl...