7103 search results - page 463 / 1421 » Components and Generative Programming |
168
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
215
click to vote
ICPPW
2005
IEEE
16 years 14 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
175
click to vote
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
158
click to vote
TLDI
2003
ACM
16 years 3 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
185
click to vote
CAV
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...