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: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2015
Inhoudsopgave: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volledige tekst
Elektronisch E-boek
5
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
6
Gepubliceerd in 2008
Inhoudsopgave: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2007
Inhoudsopgave: ... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...
Volledige tekst
Elektronisch E-boek