423 search results - page 60 / 85 » On Term Rewriting Systems Having a Rational Derivation |
EDM
2008
14 years 11 months ago
2008
We introduce an open data repository and set of associated visualization and analysis tools. The Pittsburgh Science of Learning Center's "DataShop" has data from tho...
KES
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. In the last years new scientific knowledge and technological developments derived from the Human Genome Project have been affecting the way in which biomedical research a...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
ISQED
2011
IEEE
14 years 1 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
NOSSDAV
2009
Springer
15 years 4 months ago
2009
Springer
Peer-assisted online storage and distribution systems have recently enjoyed large-scale deployment gaining increased popularity for multimedia content sharing in the Internet. Suc...