Sciweavers

13271 search results - page 432 / 2655
» Computers, Programming, and People
Sort
View
ICPR
2008
IEEE
16 years 8 months ago
Image segmentation by convex quadratic programming
A quadratic programming formulation for multiclass image segmentation is investigated. It is proved that, in the convex case, the non-negativity constraint on the recent reported ...
Mariano Rivera, Oscar Dalmau Cedeño, Josue ...
PVM
2005
Springer
16 years 9 days ago
A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
Stéphane Genaud, Choopan Rattanapoka
PDC
2004
ACM
16 years 8 days ago
Participatory programming and the scope of mutual responsibility: balancing scientific, design and software commitment
Over the past seven years, we have been conducting a variety of participatory design activities with research biologists, programmers, and bioinformaticians at the Institut Pasteu...
Catherine Letondal, Wendy E. Mackay
185
Voted
ICDCS
1998
IEEE
15 years 11 months ago
Granularity Control for Distributed Execution of Logic Programs
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
George Xirogiannis
BIRTHDAY
2010
Springer
15 years 8 months ago
Counterexample Guided Path Reduction for Static Program Analysis
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
Ansgar Fehnker, Ralf Huuck, Sean Seefried