3007 search results - page 114 / 602 » Linear Functional Fixed-points |
ICITA
2005
IEEE
15 years 5 months ago
2005
IEEE
Optimum theorems for combining QoS metrics to reduce computation time in nodes (routers) is proposed based on fundamental theorems on QoS metrics. The proposed theorems unify sele...
106
click to vote
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
APPROX
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
FPL
2003
Springer
15 years 5 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
113
click to vote
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...