Sciweavers

391 search results - page 56 / 79
» Automatic programming with semantic streams
Sort
View
WSC
2008
15 years 1 months ago
Unifying simulation and optimization of strategic sourcing and transportation
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
Malak Al-Nory, Alexander Brodsky
FUIN
2010
114views more  FUIN 2010»
14 years 8 months ago
A Logic-Based System for e-Tourism
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
CAP
2010
14 years 5 months ago
A quantitative study of reductions in algebraic libraries
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
Yue Li, Gabriel Dos Reis
182
Voted
POPL
2005
ACM
15 years 11 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
98
Voted
EUROPAR
2007
Springer
15 years 5 months ago
Esodyp+: Prefetching in the Jackal Software DSM
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
Michael Klemm, Jean Christophe Beyler, Ronny T. La...