6897 search results - page 24 / 1380 » Parallelization of Modular Algorithms |
142
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
185
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
The ability to classify packets according to pre-defined rules is critical to providing many sophisticated value-added services, such as security, QoS, load balancing, traffic acco...
191
click to vote
IWDM
1989
15 years 10 months ago
1989
PRISMA/DB is implementedin a parallelobject-orientedlanguage to gain insight in the usage of parallelism. This environment allows us to experiment with parallelism by simply chang...