1612 search results - page 115 / 323 » Asynchronous Pattern Matching |
113
click to vote
SPIRE
1999
Springer
15 years 6 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...
112
click to vote
GBRPR
2005
Springer
15 years 7 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...
TPHOL
2003
IEEE
15 years 7 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...
133
click to vote
ENTCS
2008
15 years 2 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...
124
click to vote
POPL
2010
ACM
15 years 9 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...