1
Publicado em 2012
Sumário: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2011
Sumário: ... Programming -- Abstract Expression Grammar Symbolic Regression -- Age-Fitness Pareto Optimization -- Scalable...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Fink, Gil., Fink, Gil., Flatow, Ido., Group, SELA.
Publicado em 2014
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2007
Sumário: ...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... -- Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems -- Aspects -- Models...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ...: An Architecture for Flexible Interaction with Electronic Devices -- Exo-Leasing: Escrow Synchronization for Mobile...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... Algorithms for Finite Automata -- Probabilistic Systems and Optimization -- Assume-Guarantee Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... -- An Approach for Parallel Fluid-Structure Interaction on Unstructured Meshes -- Optimizing a Conjugate Gradient...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ...Your First Google Maps -- Introducing Google Maps -- Getting Started -- Interacting with the User...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2007
Sumário: ... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ... Monitoring and Debugging Using the Mercury Monitoring System -- Interactive Visualization of Grid Monitoring...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2007
Sumário: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
Obter o texto integral
Recurso Electrónico livro electrónico