3454 search results - page 370 / 691 » Modern computer algebra |
211
click to vote
ICSOC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
176
click to vote
COMPGEOM
2004
ACM
16 years 6 days ago
2004
ACM
Let P be a simple polygon with m vertices, k of which are reflex, and which contains r red points and b blue points in its interior. Let n = m + r + b. A ham-sandwich geodesic is ...
171
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
160
click to vote
ISPA
2004
Springer
16 years 4 days ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
201
click to vote
ISSAC
2004
Springer
16 years 4 days ago
2004
Springer
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...