1
Julkaistu 2010
Sisällysluettelo: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2012
Sisällysluettelo: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2015
Sisällysluettelo: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2013
Sisällysluettelo: ... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2006
Sisällysluettelo: ... -- Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems -- Mining Dynamic Document...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ... Ontologies for Collaborative Information Management: Some Challenges and Ideas -- The Construction of Domain...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Hae kokoteksti
Elektroninen E-kirja