1
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... Cellular Automaton in the Pentagrid with Five States -- Minimum and non-Minimum Time Solutions...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Få fuldtekst
Electronisk eBog
8
Udgivet 2011
Indholdsfortegnelse: ...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ...-Tolerant Parallel Applications with Dynamic Parallel Schedules: A Programmer’s Perspective -- Autonomic...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Element with Quantum Cellular Automata -- Universal 2-State Asynchronous Cellular Automaton with Inner...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ..., an ACO Algorithm for Solving the Four-Criteria Military Path-finding Problem -- Searching Ground States...
Få fuldtekst
Electronisk eBog
14
Indholdsfortegnelse: ... -- Sequences -- State Management -- Namespaces and Libraries -- Metadata -- Multimethods and Hierarchies...
Få fuldtekst
Electronisk eBog