Sciweavers

7835 search results - page 217 / 1567
» Software are Processes Too
Sort
View
SIAMIS
2011
14 years 12 months ago
Continuous Primal-Dual Methods for Image Processing
In this article we study a continuous Primal-Dual method proposed by Appleton and Talbot and generalize it to other problems in image processing. We interpret it as an Arrow-Hurwi...
M. Goldman
136
Voted
TE
2010
102views more  TE 2010»
14 years 11 months ago
An Undergraduate Course and Laboratory in Digital Signal Processing With Field Programmable Gate Arrays
In this paper, an innovative educational approach to introducing undergraduates to both digital signal processing (DSP) and field programmable gate array (FPGA)-based design in a o...
Uwe Meyer-Bäse, G. Alonzo Vera, Anke Meyer-B&...
FOSSACS
2012
Springer
14 years 21 days ago
Functions as Session-Typed Processes
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
Bernardo Toninho, Luís Caires, Frank Pfenni...
RE
2004
Springer
15 years 10 months ago
From Goals to Aspects: Discovering Aspects from Requirements Goal Models
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, John...