2335 search results - page 268 / 467 » Functional Differentiation of Computer Programs |
106
click to vote
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
EUROPAR
2003
Springer
15 years 5 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
ICFP
2002
ACM
16 years 18 days ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
99
Voted
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Skeletons simplify parallel programming by providing general patterns of parallel computations. When several skeletons are used inside the same program, skeleton composit...
115
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...