Søg alternativer:
interactive simulation » interactive simulations, interactive visualization
program optimizations » problem optimization, programming optimization, process optimization
optimizations array » optimization gray, optimization ray, optimizations error
simulation program » education program
1
Udgivet 2015
Indholdsfortegnelse: ... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...
Få fuldtekst
Electronisk eBog
2
Udgivet 2005
Indholdsfortegnelse: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
Få fuldtekst
Electronisk eBog
3
Udgivet 2012
Indholdsfortegnelse: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...
Få fuldtekst
Electronisk eBog
5
Udgivet 2015
Indholdsfortegnelse: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
Få fuldtekst
Electronisk eBog
6
Udgivet 2014
Indholdsfortegnelse: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
Få fuldtekst
Electronisk eBog
8
Udgivet 2006
Indholdsfortegnelse: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Få fuldtekst
Electronisk eBog
9
Udgivet 2012
Indholdsfortegnelse: ... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
Få fuldtekst
Electronisk eBog
12
Udgivet 2005
Indholdsfortegnelse: ... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ... Optimization for Web Service Composition -- A Comparison between EJB and COM+ Business Components, Case Study...
Få fuldtekst
Electronisk eBog
16
Udgivet 2007
Indholdsfortegnelse: ... Correlated Nanostructures -- Atomistic Simulations of Dislocation — Crack Interaction -- Monte Carlo...
Få fuldtekst
Electronisk eBog
17
Udgivet 2006
Indholdsfortegnelse: ... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...
Få fuldtekst
Electronisk eBog
18
Udgivet 2013
Indholdsfortegnelse: ... -- Meta-modeling and Optimization for Varying Dimensional Search Space -- A General Variable Neighborhood...
Få fuldtekst
Electronisk eBog
19
Udgivet 2011
Indholdsfortegnelse: ...-connected Grid -- Optimization Design of Lifetime Distribution in Power Diode with Fast and Soft Recovery...
Få fuldtekst
Electronisk eBog
20
Udgivet 2014
Indholdsfortegnelse: ...Monolithic Design and Fabrication of a 2-DOF Bio-Inspired Leg Transmission -- Optimization...
Få fuldtekst
Electronisk eBog