Sciweavers

10182 search results - page 256 / 2037
» Case Studies
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
A Case Study in Parallel Verification of Component-Based Systems
Nikola Benes, Ivana Cerná, Jiri Sochor, Pav...
ESE
2008
68views Database» more  ESE 2008»
15 years 6 months ago
An industrial case study in reconstructing requirements views
Marco Lormans, Arie van Deursen, Hans-Gerhard Gro&...
FGCS
2008
109views more  FGCS 2008»
15 years 6 months ago
A grid-aware MIP solver: Implementation and case studies
This paper presents a grid-enabled system for solving large-scale mixed integer programming (MIP) problems. The system has been developed using Globus and MPICH-G2, and consists o...
Emilio Pasquale Mancini, Sonya Marcarelli, Igor Va...