1
Udgivet 2013
Indholdsfortegnelse: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus Based Equipment...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ...A Preliminary Study of Fitness Inheritance in Evolutionary Constrained Optimization...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... Formation Using Cellular Automata and L-Systems: A Case Study in Producing Islamic Patterns -- Interactive...
Få fuldtekst
Electronisk eBog
8
Udgivet 2015
Indholdsfortegnelse: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
Få fuldtekst
Electronisk eBog
12
Udgivet 2012
Indholdsfortegnelse: ... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...
Få fuldtekst
Electronisk eBog
13
Udgivet 2012
Indholdsfortegnelse: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Få fuldtekst
Electronisk eBog
14
Udgivet 2012
Indholdsfortegnelse: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
Få fuldtekst
Electronisk eBog
16
Udgivet 2014
Indholdsfortegnelse: ...Analysis and Design of Power Line Filter using Transmission Parameters -- Studies...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
Få fuldtekst
Electronisk eBog
18
Udgivet 2013
Indholdsfortegnelse: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
Få fuldtekst
Electronisk eBog