1
Publicado 2013
Table of Contents: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Ligazón do recurso
Electrónico eBook
4
Publicado 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Ligazón do recurso
Electrónico eBook
5
Publicado 2007
Table of Contents: ... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Ligazón do recurso
Electrónico eBook