6740 search results - page 1210 / 1348 » Using Classification as a Programming Language |
127
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
The placement of regenerators in optical networks has become an active area of research during the last years. Given a set of lightpaths in a network G and a positive integer d, re...
190
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We present a probabilistic algorithm that, given a connected graph G (represented by adjacency lists) of average degree d, with edge weights in the set {1, . . . , w}, and given a ...
153
click to vote
JAVA
2001
Springer
15 years 9 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
130
click to vote
JAVA
1999
Springer
15 years 9 months ago
1999
Springer
CT With the development of dynamic compilers for Java, Java’s performance promises to rival that of equivalent C/C++ binary executions. This should ensure that Java will become t...
184
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...