Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software Engineering ESEC/FSE '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6-10, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Nierstrasz, Oscar ; Lemoine, MichelBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
2 |
Material Type: Artigo
|
Assisting Static Compiler Vectorization with a Speculative Dynamic Vectorizer in an HW/SW Codesigned EnvironmentKumar, Rakesh ; Martínez, Alejandro ; González, AntonioACM transactions on computer systems, 2016-01, Vol.33 (4), p.1-33 [Periódico revisado por pares]New York: ACMTexto completo disponível |
|
3 |
Material Type: Livro
|
UML»’99 — The Unified Modeling Language: Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 ProceedingsFrance, Robert ; Rumpe, Bernhard France, Robert ; Rumpe, BernhardBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
|
4 |
Material Type: Livro
|
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 ProceedingsDwyer, Matthew Dwyer, MatthewBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
5 |
Material Type: Livro
|
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. ProceedingsCousot, Radhia Cousot, RadhiaBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
6 |
Material Type: Livro
|
Middleware 2003: ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, ProceedingsEndler, Markus ; Schmidt, Douglas Schmidt, Douglas ; Endler, MarkusBerlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Coherence protocol for transparent management of scratchpad memories in shared memory manycore architecturesAlvarez, Lluc ; Vilanova, Lluís ; Moreto, Miquel ; Casas, Marc ; Gonzàlez, Marc ; Martorell, Xavier ; Navarro, Nacho ; Ayguadé, Eduard ; Valero, MateoProceedings of the 42nd Annual International Symposium on computer architecture, 2015, p.720-732ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Hybrid access-specific software cache techniques for the cell BE architectureGonzàlez, Marc ; Vujic, Nikola ; Martorell, Xavier ; Ayguadé, Eduard ; Eichenberger, Alexandre ; Chen, Tong ; Sura, Zehra ; Zhang, Tao ; O'Brien, Kevin ; O'Brien, Kathryn2008 International Conference on Parallel Architectures and Compilation Techniques (PACT), 2008, p.292-302ACMTexto completo disponível |
|
9 |
Material Type: Livro
|
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, ProceedingsFrance, Robert B ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin France, Robert B ; Atkinson, Colin ; Kazmeier, J'rgen ; Breu, RuthNetherlands: Springer Nature 2012Texto completo disponível |
|
10 |
Material Type: Livro
|
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, ProceedingsNoble, JamesBerlin, Heidelberg: Springer Berlin / Heidelberg 2012Texto completo disponível |