25 search results - page 2 / 5 » Symbolic Computation in Java: An Appraisement |
GREC
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
SPIN
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
ITICSE
2005
ACM
14 years 1 months ago
2005
ACM
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes how use the Java Swing HTMLEditorKit to perform multi-threaded web data mining on the EDGAR system (Electronic DataGathering, Analysis, and Retrieval system)....
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...