909 search results - page 28 / 182 » Generic Programming: An Introduction |
101
click to vote
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
134
click to vote
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...
AAIP
2009
14 years 8 months ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
103
click to vote
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...