19866 search results - page 325 / 3974 » Computing all factorizations in *** |
155
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
205
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computation should...
164
click to vote
CCCG
2007
15 years 8 months ago
2007
We propose a method for computing acute (non-obtuse) triangulations. That is, for a given two dimensional domain (a set of points or a planar straight line graph), we compute a tr...
156
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computing plays a critical role in sustainability. This paper examines the status of education for sustainability in computing. There are clearly stated high level declarations fo...
176
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
We provide characterizations of the relations that can be computed with arbitrary knowledge on networks where all processors use the same algorithm and start from the same state (...