2853 search results - page 90 / 571 » On Coherence in Computer Algebra |
96
Voted
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
Coherence misses in shared-memory multiprocessors account for a substantial fraction of execution time in many important scientific and commercial workloads. Memory streaming prov...
89
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
105
Voted
ENTCS
2008
15 years 4 days ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
161
click to vote
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...
111
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...