12264 search results - page 2076 / 2453 » An Analysis of the XSL Algorithm |
167
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
133
Voted
EUROCAST
2007
Springer
16 years 1 months ago
2007
Springer
After the detection of the first extrasolar planet (exoplanet) more than one decade ago we currently know about more than 200 planets around other stars and there are about twenty...
207
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
174
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
197
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
Field-programmable circuits now have a capacity that allows them to accelerate floating-point computing, but are still missing core libraries for it. In particular, there is a ne...