4190 search results - page 302 / 838 » Type Class Directives |
144
click to vote
COMPGEOM
2004
ACM
16 years 2 days 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...
267
click to vote
FIDJI
2004
Springer
16 years 1 days 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...
154
click to vote
GD
2004
Springer
16 years 1 days 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...
239
click to vote
NAA
2004
Springer
16 years 5 hour 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...
154
click to vote
FPL
2009
Springer
15 years 11 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...