257 search results - page 24 / 52 » New Bisimulation Semantics for Distributed Systems |
91
Voted
SAS
2007
Springer
15 years 5 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
115
click to vote
KDD
2005
ACM
16 years 4 days ago
2005
ACM
Web users display their preferences implicitly by navigating through a sequence of pages or by providing numeric ratings to some items. Web usage mining techniques are used to ext...
97
Voted
AAAI
1994
15 years 1 months ago
1994
A distributed neural network model called SPEC for processing sentences with recursive relative clauses is described. The model is based on separating the tasks of segmenting the ...
106
click to vote
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...