168 search results - page 30 / 34 » Evaluation of a Java Computer Algebra System |
113
click to vote
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
86
Voted
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a detailed characterization of instruction cache performance for IBM’s J2EE-enabled web server, WebSphere Application Server (WAS). When running two J2EE benchmarks o...
82
Voted
AIIA
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
141
Voted
FUNGAMES
2010
15 years 1 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
109
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We analyse the corpus of user relationships of the Slashdot technology news site. The data was collected from the Slashdot Zoo feature where users of the website can tag other use...