1099 search results - page 49 / 220 » A Parallel Programming Style and Its Algebra of Programs |
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
PLDI
1994
ACM
15 years 1 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
VL
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a modu...