3330 search results - page 443 / 666 » software 2010 |
128
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
105
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
134
click to vote
SBP
2010
Springer
15 years 11 months ago
2010
Springer
Open source communities have been of great interest for researchers recently, yet little can be agreed upon when it comes to developers motives. While it has been shown that partic...
118
Voted
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in superscalar datapaths. Rename logic consists of a table that holds a physical register mapping for...
137
click to vote
COMPIMAGE
2010
Springer
15 years 10 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...