1204 search results - page 75 / 241 » Parallel concurrent ML |
132
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
138
click to vote
TIST
2011
14 years 11 months ago
2011
Recognition of chatting activities in social interactions is useful for constructing human social networks. However, the existence of multiple people involved in multiple dialogue...
130
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Communication overhead is one of the most important factors affecting the performance of message passing multicomputers. We present evidence (through the analysis of several paral...
135
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
145
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...