Sciweavers

22864 search results - page 385 / 4573
» An Integrated and
Sort
View
161
Voted
NAR
2007
99views more  NAR 2007»
15 years 6 months ago
PATRIC: The VBI PathoSystems Resource Integration Center
The PathoSystems Resource Integration Center (PATRIC) is one of eight Bioinformatics Resource Centers (BRCs) funded by the National Institute of Allergy and Infection Diseases (NI...
E. E. Snyder, N. Kampanya, J. Lu, Eric K. Nordberg...
219
Voted
ATMOS
2010
183views Optimization» more  ATMOS 2010»
15 years 5 months ago
The Complexity of Integrating Routing Decisions in Public Transportation Models
To model and solve optimization problems arising in public transportation, data about the passengers is necessary and has to be included in the models in any phase of the planning...
Marie Schmidt, Anita Schöbel
155
Voted
SIAMSC
2010
140views more  SIAMSC 2010»
15 years 5 months ago
Parallel High-Order Integrators
In this work we discuss a class of defect correction methods which is easily adapted to create parallel time integrators for multi-core architectures and is ideally suited for deve...
Andrew J. Christlieb, Colin B. Macdonald, Benjamin...
214
Voted
ICTAC
2009
Springer
15 years 4 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
ECEASST
2010
15 years 4 months ago
Safe Integration of Annotated Components in Open Source Projects
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
Sergio Areias, Daniela Carneiro da Cruz, Pedro Ran...