Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulation » interactive simulations, interactive visualization
constructive https » construction https, constructive type, constructive help
program problem » programs problem, programs problems, problem problem
program program » programs program, programming program
interactive simulation » interactive simulations, interactive visualization
constructive https » construction https, constructive type, constructive help
program problem » programs problem, programs problems, problem problem
program program » programs program, programming program
1
Publicado 2014
Table of Contents:
“... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2012
Table of Contents:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”Ligazón do recurso
Electrónico
eBook