387 search results - page 11 / 78 » On the design of a Java computer algebra system |
ICCS
2007
Springer
14 years 17 days ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
ISORC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
ESCIENCE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents a new approach to the issues of performance monitoring and visualization of distributed applications using the J-OCM monitoring system. We are focusing on the ...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...