Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programming » programming programmed, programming program
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programming spaces » programming ispaces, programming space, programming shapes
spaces https » space https, impacts https
programming programming » programming programmed, programming program
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programming spaces » programming ispaces, programming space, programming shapes
spaces https » space https, impacts https
1
Publicat 2012
Taula de continguts:
“... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”Obtenir text complet
Electrònic
eBook
2
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...
Publicat 2010
Taula de continguts:
“... Circuit Simulation -- Poster Session 1: Circuit Level Techniques -- Clock Repeater Characterization...”Obtenir text complet
Electrònic
eBook
3
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Publicat 2013
Taula de continguts:
“... Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast...”Obtenir text complet
Electrònic
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obtenir text complet
Electrònic
eBook
5
Taula de continguts:
“...Introductory Examples: Simulation, Estimation, and Graphics -- Generating Random Numbers -- Monte...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Publicat 2007
Taula de continguts:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... Process Languages Using Process Mining -- Net Components for the Integration of Process Mining into Agent...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... Applications -- A Case for Visualization-Integrated System-Level Design Space Exploration -- Mixed Virtual/Real...”Obtenir text complet
Electrònic
eBook
14
Publicat 2012
Taula de continguts:
“... and Simulations -- Integrated Real-Time Acoustic Communication System for Controlling of Bio-inspired Underwater...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“...Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration -- Software...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... -- Numerical Integration -- Systems of Inhomogeneous Linear Equations -- Roots and Extremal Points -- Fourier...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook