1
Published 2012
Table of Contents: ... for Embedded Java -- Interfacing Java to Hardware Coprocessors and FPGAs -- Safety-Critical Java: The Mission...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... into Java Environment -- Content-Based Distribution for Load Sharing in Locally Clustered Web Servers -- A...
View full text
Electronic eBook