Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality models » functional models, functionality modelling, functional model
work functionality » more functionality, network functionality, cova functionality
parallel function » parallel functional, parallel auction, parallel union
function work » functions work, function fork, functional work
models https » modeling https
functionality models » functional models, functionality modelling, functional model
work functionality » more functionality, network functionality, cova functionality
parallel function » parallel functional, parallel auction, parallel union
function work » functions work, function fork, functional work
models https » modeling https
1
Publicat 2013
Taula de continguts:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obtenir text complet
Electrònic
eBook
3
Publicat 2014
Taula de continguts:
“... network connectivity -- Shaping of neurons by environmental interaction -- Modelling dendrite shape from...”Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“...Basic spike train statistics: Point process models -- Stochastic Models of Spike Trains...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... and Models for the Future Generation of Emotional and Intelligent Systems -- Modeling Consciousness...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Discretizations of Advection-Diffusion Models -- Parallel Grid Adaptation and Dynamic Load Balancing for a CFD...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“...Introduction -- Theory behind the SAR Model -- Parallel Exact SAR Model Solutions -- Comparing...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2013
Taula de continguts:
“..., Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“... in Requirements-based Hazard Mitigations -- Evaluating Feature Models: A Goal-Question-Metric Study at Opel...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Obtenir text complet
Electrònic
eBook
19
Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...
Publicat 2007
Taula de continguts:
“... and Partitioning -- A Hybrid Approach for System-Level Design Evaluation -- Automatic Parallelization of Sequential...”Obtenir text complet
Electrònic
eBook
20
Publicat 2007
Taula de continguts:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Obtenir text complet
Electrònic
eBook