Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Compiler Construction [[electronic resource] ] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke
| Compiler Construction [[electronic resource] ] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 253 p. 78 illus.) |
| Disciplina | 005.453 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Computer programming Computer science Compilers and Interpreters Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
| ISBN | 3-662-46663-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq. |
| Record Nr. | UNISA-996200342903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke
| Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Björn Franke |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 253 p. 78 illus.) |
| Disciplina | 005.453 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Computer programming Computer science Compilers and Interpreters Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
| ISBN | 3-662-46663-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq. |
| Record Nr. | UNINA-9910484565903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Critical by Design? : Genealogies, Practices, Positions / / ed. by Michael Renner, Moritz Greiner-Petter, Claudia Mareis
| Critical by Design? : Genealogies, Practices, Positions / / ed. by Michael Renner, Moritz Greiner-Petter, Claudia Mareis |
| Autore | Mareis Claudia |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2022 |
| Descrizione fisica | 1 online resource (332 p.) |
| Collana | Design |
| Soggetto topico | DESIGN / History & Criticism |
| Soggetto non controllato |
Critical Design
Critical Theory Cultural Theory Design Politics Material Culture Theory of Art |
| ISBN | 3-8394-6104-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Critical by design? An introduction -- Genealogies -- What is a critical object? Design as «desubjugation» (after Foucault) -- The vitality of the negative: critical design between social philosophy and conceptual art -- Ask what can be! Modal critique and design as drivers of accidence -- What are the politics of ontological design? A critical reflection on the mutual becoming of «the human» and «the world» -- Engaging in epistemic disobedience: on the decolonialization of design discourses -- Practices -- Unsettling individualized design practice through collaboration -- «Ci concimiamo a vicenda»: building support structures as part of design practice -- Re-visioning pelvic care through design -- Trojan horses: ambiguity as a critical design strategy -- Grey design: critical practices of design at the peripheries of the discipline -- Positions -- The ineliminable aesthetic dimension of art -- Design culture as critical practice -- What might be the speculative social? -- Biased design, or the misery of neutrality -- Undesign and understanding -- Epilogue -- The life and death of critical and speculative design: post-disciplinarity, post-truth, post-self and post-capital -- Appendix -- Critical by design? The book's design as SF figures -- List of Figures & Tables -- Biographies -- Imprint |
| Record Nr. | UNISA-996463250903316 |
Mareis Claudia
|
||
| Bielefeld, : transcript Verlag, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Critical by Design? : Genealogies, Practices, Positions / / ed. by Michael Renner, Moritz Greiner-Petter, Claudia Mareis
| Critical by Design? : Genealogies, Practices, Positions / / ed. by Michael Renner, Moritz Greiner-Petter, Claudia Mareis |
| Autore | Mareis Claudia |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bielefeld, : transcript Verlag, 2022 |
| Descrizione fisica | 1 online resource (332 p.) |
| Collana | Design |
| Soggetto topico | DESIGN / History & Criticism |
| Soggetto non controllato |
Critical Design
Critical Theory Cultural Theory Design Politics Material Culture Theory of Art |
| ISBN | 3-8394-6104-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Critical by design? An introduction -- Genealogies -- What is a critical object? Design as «desubjugation» (after Foucault) -- The vitality of the negative: critical design between social philosophy and conceptual art -- Ask what can be! Modal critique and design as drivers of accidence -- What are the politics of ontological design? A critical reflection on the mutual becoming of «the human» and «the world» -- Engaging in epistemic disobedience: on the decolonialization of design discourses -- Practices -- Unsettling individualized design practice through collaboration -- «Ci concimiamo a vicenda»: building support structures as part of design practice -- Re-visioning pelvic care through design -- Trojan horses: ambiguity as a critical design strategy -- Grey design: critical practices of design at the peripheries of the discipline -- Positions -- The ineliminable aesthetic dimension of art -- Design culture as critical practice -- What might be the speculative social? -- Biased design, or the misery of neutrality -- Undesign and understanding -- Epilogue -- The life and death of critical and speculative design: post-disciplinarity, post-truth, post-self and post-capital -- Appendix -- Critical by design? The book's design as SF figures -- List of Figures & Tables -- Biographies -- Imprint |
| Record Nr. | UNINA-9910553081303321 |
|
Mareis Claudia
|
||
| Bielefeld, : transcript Verlag, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Not at your service : manifestos for design / / edited by Björn Franke and Hansuli Matter
| Not at your service : manifestos for design / / edited by Björn Franke and Hansuli Matter |
| Autore | Matter Hansuli |
| Pubbl/distr/stampa | Birkhäuser - an imprint of De Gruyter, 2021 |
| Descrizione fisica | 1 online resource (528 pages) : illustrations; digital file(s) |
| Disciplina | 745.4 |
| Soggetto topico |
Art and design
Design - Philosophy DESIGN / Product |
| ISBN | 3-0356-2275-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- German versions -- I. Education -- Dimensions of design: operating in a new space of opportunity -- The art of prudent interference -- Design your future -- Higher education and the transformation of gaming -- Keep feeling fascination: design and open enquiry -- The potentiality of Swiss industrial design -- German versions -- II. processes -- Design and drama -- Design ethnography as a “dirty” practice -- Designing in relations: setting up a collaborative design training programme -- Interacting in entangled environments -- Activating attitude -- German versions -- III. Epistemology -- Ludics: the art of play and societal impact -- Design research as a gesture of showing -- Images of knowledge are figures of thought -- Archaeology of the present: an important tool for consciously designing (for) our future -- German versions -- IV. issues -- Cultural identity and design -- A plea of an aesthetic future for design -- In transformation: design for the ecological shift -- How immersive technologies shape our thinking and change us -- More gender–more design? Gender-sensitive design for the society of today -- German versions -- Bibliography part I–IV |
| Record Nr. | UNISA-996398647403316 |
|
Matter Hansuli
|
||
| Birkhäuser - an imprint of De Gruyter, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||