1
Gepubliceerd in 2010
Inhoudsopgave: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2015
Inhoudsopgave: ... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2007
Inhoudsopgave: ... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2014
Inhoudsopgave: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volledige tekst
Elektronisch E-boek