1612 search results - page 115 / 323 » Asynchronous Pattern Matching |
135
click to vote
SPIRE
1999
Springer
15 years 9 months ago
1999
Springer
Collaborative Virtual Environments (CVE) support the collaboration, communication and social interaction among users in virtual spaces. In this paper we present a customizable CVE...
138
click to vote
GBRPR
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we explore how a spectral technique suggested by quantum walks can be used to distinguish non-isomorphic cospectral graphs. Reviewing ideas from the field of quantum...
110
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
162
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
152
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...