562 search results - page 58 / 113 » A Concurrent Model for Linear Logic |
162
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
151
click to vote
WSC
1997
15 years 8 months ago
1997
A new scheme for interactively testing what-if and alternative scenarios in parallel simulations is presented. Potential branches or choices can be specified interactively and in...
160
click to vote
IPL
2010
15 years 5 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
141
click to vote
IJCAI
1997
15 years 8 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
197
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...