2335 search results - page 378 / 467 » Functional Differentiation of Computer Programs |
116
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a dynamic task scheduling approach to executing dense linear algebra algorithms on multicore systems (either shared-memory or distributed-memory). We use a tas...
101
click to vote
FCT
2009
Springer
15 years 9 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
109
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of private efficient data mining of vertically-partitioned databases. Each of several parties holds a column of a data matrix (a vector) and the parties wan...
110
click to vote
ICCSA
2007
Springer
15 years 8 months ago
2007
Springer
The problem of aggregating multiple numerical criteria to form overall objective functions is of considerable importance in many disciplines. The ordered weighted averaging (OWA) a...
100
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...