4190 search results - page 302 / 838 » Type Class Directives |
117
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents an algorithm for sampling and triangulating a generic C2 -smooth surface Σ ⊂ R3 that is input with an implicit equation. The output triangulation is guarant...
220
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
115
click to vote
GD
2004
Springer
15 years 10 months ago
2004
Springer
The upward planarity testing problem consists of testing if a digraph admits a drawing Γ such that all edges in Γ are monotonically increasing in the vertical direction and no e...
185
click to vote
NAA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
128
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a comparison between two technologies for reconfigurable circuits that are FPGA'se the FPAA's. The comparison is based on a case study of the area of...