1209 search results - page 23 / 242 » Universal Algebra and Computer Science |
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
ICS
1997
Tsinghua U.
14 years 24 days ago
1997
Tsinghua U.
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
RELMICS
2009
Springer
14 years 1 months ago
2009
Springer
FOCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...