|
|
|
|
|
| | Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... | | |
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Thirteen years after the publication of the first MPI (message passing interface)
specification and 17 years after the first published paper on PVM(parallel virtual
machine), MPI and PVM have emerged as standard programming environments
and continue to be the development environment of choice for a large variety of... | | Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan
The papers in this volume were selected for presentation at the Eleventh Annual
International Symposium on Algorithms and Computation (ISAAC 2000), held
on 18{20 December, 2000 at the Institute of Information Science, Academia
Sinica, Taipei, Taiwan. Previous meetings were held in Tokyo (1990), Taipei
(1991), Nagoya (1992),... | | |
|
|
Result Page: 268 267 266 265 264 263 262 261 260 259 258 257 256 255 254 253 252 251 250 |