1
Sommario: ..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
Testo
Elettronico eBook
4
Pubblicazione 2015
Sommario: ... Neural Network -- Towards an Integrated Semantic Framework for Neurological Multidimensional Data...
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Rewriting Semantics in Extensible Programming Languages -- Neuro-Fuzzy Model Related to Job Assignation...
Testo
Elettronico eBook
7
Pubblicazione 2005
Sommario: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...
Testo
Elettronico eBook
9
Sommario: ... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...
Testo
Elettronico eBook
10
Pubblicazione 2015
Sommario: ... to Obfuscate Programs Directly -- Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data...
Testo
Elettronico eBook
11
Pubblicazione 2013
Sommario: ...Wireless Sphygmomanometer with Data Encryption -- Design and Implementation of Multimedia Social...
Testo
Elettronico eBook
12
Sommario: ...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...
Testo
Elettronico eBook