Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A development environment for complex distributed real-time applicationsStoyen, A.D. ; Marlowe, T.J. ; Younis, M.F. ; Petrov, P.V.IEEE transactions on software engineering, 1999-01, Vol.25 (1), p.50-74 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression TemplatesNelson, Blake ; Kirby, Robert M. ; Parker, StevenACM transactions on mathematical software, 2014-04, Vol.40 (3), p.1-21 [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Artigo
|
Algorithm to calculate equal-area grid cells in irregular estuarine cross-sectionsPerillo, Gerardo M.E. ; Piccolo, M.Cintia ; Mosquera, José ; Aggio, SantiagoComputers & geosciences, 1999-04, Vol.25 (3), p.277-282 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
|
4 |
Material Type: Artigo
|
An efficient code for calculation of the 6C, 9C and 12C symbols for C 3 v , T d , and O h point groupsNikitin, A VComputer physics communications, 2012-03, Vol.183 (3), p.733-736 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Artigo
|
beachmat: A Bioconductor C++ API for accessing high-throughput biological data from a variety of R matrix typesLun, Aaron T L ; Pagès, Hervé ; Smith, Mike L Pertea, MihaelaPLoS computational biology, 2018-05, Vol.14 (5), p.e1006135-e1006135 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
|
6 |
Material Type: Livro
|
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and ProgramsKulisch, Ulrich ; Hammer, Rolf ; Hocks, Matthias ; Ratz, DietmarBerlin, Heidelberg: Springer Berlin / Heidelberg 1995Texto completo disponível |
|
7 |
Material Type: Artigo
|
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and PrecisionJaiswal, Swati ; Khedker, Uday P ; Chakraborty, SupratikarXiv.org, 2018-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Dense and Sparse Matrix Classes Using the C++ Standard Template LibraryNielsen, Soren SComputational economics, 1999-10, Vol.14 (1), p.47-68 [Periódico revisado por pares]Dordrecht: Society for Computational EconomicsTexto completo disponível |
|
9 |
Material Type: Artigo
|
Development and Evaluation of Vectorised and Multi-Core Event Reconstruction Algorithms within the CMS Software FrameworkHauth, T ; Innocente, V ; Piparo, DJournal of physics. Conference series, 2012-01, Vol.396 (5), p.52065-9 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |
|
10 |
Material Type: Artigo
|
DLRS: gene tree evolution in light of a species treeSJÖSTRAND, Joel ; SENNBLAD, Bengt ; ARVESTAD, Lars ; LAGERGREN, JensBioinformatics, 2012-11, Vol.28 (22), p.2994-2995 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |