3500 search results - page 207 / 700 » Implementing Java on Clusters |
ISSAC
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we consider the problem of fast computation of n-ary products, for large n, over arbitrary precision integer or rational number domains. The combination of loop unro...
114
click to vote
AUSAI
1998
Springer
15 years 6 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
115
click to vote
ICFCA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
116
click to vote
OHS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper takes a first step towards defining a standard component-based open hypermedia system storage interface in the context of the Open Hypermedia System Working Gr...
CADUI
2004
15 years 3 months ago
2004
Abstract We describe MAUI, a user interface design tool that is based on a matrix algebra model of interaction. MAUI can be used to build and analyse designs for interactive system...