2271 search results - page 241 / 455 » Scalable Software Libraries |
130
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
124
click to vote
HOTDEP
2008
15 years 6 months ago
2008
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
126
click to vote
WSC
2007
15 years 6 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
129
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
126
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes our diversity featured retrieval system which are built for the task of ImageCLEFPhoto 2008. Two existing tools are used: Solr and Carrot2 . We have experimen...