4460 search results - page 220 / 892 » Resources in process algebra |
251
click to vote
HT
2011
ACM
14 years 10 months ago
2011
ACM
One of the key motivating factors for information providers to use personalisation is to maximise the benefit to the user in accessing their content. However, traditionally such s...
174
click to vote
NAR
2011
14 years 9 months ago
2011
ArachnoServer (www.arachnoserver.org) is a manually curated database providing information on the sequence, structure and biological activity of protein toxins from spider venoms....
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
201
click to vote
PPSC
1989
15 years 7 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
188
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...