skip to main content

Idioma:

Resultados 1 - 10 de 6.668 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar solo

Revistas arbitradas (5.863)

Refinado por: materia: Algorithms

eliminar

materia: Computer Science, Theory & Methods

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann Dal Lago, U. Mathematical structures in computer science, 2022-06, Vol.32 (6), p.760-776 [Revista revisada por pares] Cambridge: Cambridge University Press Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		PGAS-FMM: Implementing a distributed fast multipole method using the X10 programming language Milthorpe, Josh ; Rendell, Alistair P. ; Huber, Thomas Concurrency and computation, 2014-03, Vol.26 (3), p.712-727 [Revista revisada por pares] Blackwell Publishing Ltd Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		Full Abstraction for Probabilistic PCF Ehrhard, Thomas ; Pagani, Michele ; Tasson, Christine Journal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Revista revisada por pares] New York: Association for Computing Machinery Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		Signature-Free Asynchronous Binary Byzantine Consensus with t < n/3, O(n2) Messages, and O(1) Expected Time Mostéfaoui, Achour ; Moumen, Hamouma ; Raynal, Michel Journal of the ACM, 2015-08, Vol.62 (4), p.1-21, Article 31 [Revista revisada por pares] New York, NY, USA: ACM Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		Productively accelerating positron emission tomography image reconstruction on graphics processing units with Julia Van Gendt, Michiel ; Besard, Tim ; Vandenberghe, Stefaan ; De Sutter, Bjorn The international journal of high performance computing applications, 2022-05, Vol.36 (3), p.320-336 [Revista revisada por pares] London, England: SAGE Publications Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		A Linear Logic Programming Language for Concurrent Programming over Graph Structures CRUZ, FLAVIO ; ROCHA, RICARDO ; GOLDSTEIN, SETH COPEN ; PFENNING, FRANK Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.493-507 [Revista revisada por pares] Cambridge, UK: Cambridge University Press Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Probabilistic programming in Python using PyMC3 Salvatier, John ; Wiecki, Thomas V. ; Fonnesbeck, Christopher PeerJ. Computer science, 2016-04, Vol.2, p.e55, Article e55 [Revista revisada por pares] San Diego: PeerJ, Inc Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		Parallelization Strategies for Spatial Agent-Based Models Fachada, Nuno ; Lopes, Vitor V. ; Martins, Rui C. ; Rosa, Agostinho C. International journal of parallel programming, 2017-06, Vol.45 (3), p.449-481 [Revista revisada por pares] New York: Springer US Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme Burns, A. ; Davis, R. I. ; Wang, P. ; Zhang, F. Real-time systems, 2012-01, Vol.48 (1), p.3-33 [Revista revisada por pares] Boston: Springer US Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Evaluation of Rust code verbosity, understandability and complexity Ardito, Luca ; Barbato, Luca ; Coppola, Riccardo ; Valsesia, Michele PeerJ. Computer science, 2021-02, Vol.7, p.e406-e406, Article e406 [Revista revisada por pares] United States: PeerJ. Ltd Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 6.668 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Revistas arbitradas (5.863)

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora