1730 search results - page 238 / 346 » Algebra and Computation |
161
click to vote
IANDC
2010
15 years 1 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
245
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
A method for affine rectification of a plane exploiting knowledge of relative scale changes is presented. The rectifying transformation is fully specified by the relative scale cha...
127
click to vote
TCS
2010
14 years 11 months ago
2010
The literature on definitions of security based on causality-like notions such as noninterference has used several distinct semantic models for systems. Early work was based on st...
149
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
140
click to vote
ISSAC
2009
Springer
15 years 11 months ago
2009
Springer
We present a high performance algorithm for multiplying sparse distributed polynomials using a multicore processor. Each core uses a heap of pointers to multiply parts of the poly...