4037 search results - page 446 / 808 » Video performance in Java |
157
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
182
click to vote
FCCM
2009
IEEE
16 years 1 months ago
2009
IEEE
The Ambric Massively Parallel Processor Array (MPPA) is a device that contains 336 32-bit RISC processors and is appropriate for embedded systems due to its relatively small physi...
192
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Communication of large data volumes is a core functionality of distributed systems middleware, namely, for interconnecting components, for distributed computation and for fault tol...
184
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
196
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...