3454 search results - page 422 / 691 » Modern computer algebra |
147
click to vote
CONCUR
2007
Springer
16 years 7 days ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
163
click to vote
PPAM
2007
Springer
16 years 6 days ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
205
click to vote
CCECE
2006
IEEE
16 years 4 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
145
click to vote
SKG
2006
IEEE
16 years 2 days ago
2006
IEEE
Data Grid is one of the important research subjects in the field of Grid Computing. To get a high efficiency of the system, this paper proposes a set of novel multicast algorithms...
164
click to vote
COMPGEOM
2006
ACM
16 years 1 days ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...