Resultados de 1 a 10 de 31 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Acm Sigplan Notices
assunto:
Software Engineering
Memory Organisation. Data Processing
Computer Science; Control Theory; Systems
assunto:
Software Engineering
Memory Organisation. Data Processing
Computer Science; Control Theory; Systems
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
NOrec: streamlining STM by abolishing ownership recordsDalessandro, Luke ; Spear, Michael F. ; Scott, Michael L.SIGPLAN notices, 2010-05, Vol.45 (5), p.67-78Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Error propagation analysis for file systemsRubio-González, Cindy ; Gunawi, Haryadi S. ; Liblit, Ben ; Arpaci-Dusseau, Remzi H. ; Arpaci-Dusseau, Andrea C.SIGPLAN notices, 2009-06, Vol.44 (6), p.270-280Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
GRace: a low-overhead mechanism for detecting data races in GPU programsZheng, Mai ; Ravi, Vignesh T. ; Qin, Feng ; Agrawal, GaganSIGPLAN notices, 2011-08, Vol.46 (8), p.135-146Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
Application heartbeats for software performance and healthHoffmann, Henry ; Eastep, Jonathan ; Santambrogio, Marco D. ; Miller, Jason E. ; Agarwal, AnantSIGPLAN notices, 2010-05, Vol.45 (5), p.347-348Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
Nikola: embedding compiled GPU functions in HaskellMainland, Geoffrey ; Morrisett, GregSIGPLAN notices, 2010-11, Vol.45 (11), p.67-78Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
ULCC: a user-level facility for optimizing shared cache performance on multicoresDing, Xiaoning ; Wang, Kaibo ; Zhang, XiaodongSIGPLAN notices, 2011-08, Vol.46 (8), p.103-112Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Abstracting abstract machinesVan Horn, David ; Might, MatthewSIGPLAN notices, 2010-09, Vol.45 (9), p.51-62Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
Toward a verified relational database management systemMalecha, Gregory ; Morrisett, Greg ; Shinnar, Avraham ; Wisnesky, RyanSIGPLAN notices, 2010-01, Vol.45 (1), p.237-248Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
RoleCast: finding missing security checks when you do not know what checks areSon, Sooel ; McKinley, Kathryn S. ; Shmatikov, VitalySIGPLAN notices, 2011-10, Vol.46 (10), p.1069-1084Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Speculative parallelization using software multi-threaded transactionsRaman, Arun ; Kim, Hanjun ; Mason, Thomas R. ; Jablin, Thomas B. ; August, David I.SIGPLAN notices, 2010-03, Vol.45 (3), p.65-76Texto completo disponível |
Resultados de 1 a 10 de 31 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science, Software Engineering (29)
- Computer Science (29)
- Science & Technology (29)
- Technology (29)
- Memory And File Management (22)
- Programming Languages (10)
- Information Systems. Data Bases (10)
- Computer Systems Performance. Reliability (8)
- Computer Systems And Distributed Systems. User Interface (8)
- Language Processing And Microprogramming (7)
- Transactional Memory (4)
- Theoretical Computing (4)
- Aspect-Oriented Programming (2)
- Access Control (2)
-
Mais opções
Data de Publicação
- Antes de2007 (1)
- 2007Até2007 (2)
- 2008Até2008 (6)
- 2009Até2010 (18)
- Após 2010 (5)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 