4600 search results - page 231 / 920 » Presentation Of The Eurolang Project |
160
click to vote
DT
2000
15 years 7 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
173
click to vote
ENTCS
2002
15 years 7 months ago
2002
Two co-initial reductions in a term rewriting system are said to be equivalent if they perform the same steps, albeit maybe in a different order. We present four characterisations...
197
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
180
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Performance Engineering is concerned with the reliable prediction and estimation of the performance of scientific and engineering applications on a variety of parallel and distrib...
184
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
s LEXSYS, (Legume Expert System) was a project conceived at IITA (International Institute of Tropical Agriculture) Ibadan Nigeria. It was initiated by the COMBS (Collaborative Grou...