Hakutulokset - parallel reactive programming function function https

Tarkoititko:
programming function » programming functional , programming functionals , programme function
reactive programming » recursive programming , declarative programming , imperative programming
parallel reactive » parallel reactions , parallel adaptive , parallel reactor
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Hae kokoteksti

Elektroninen E-kirja

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Hae kokoteksti

Elektroninen E-kirja

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Julkaistu 2006

Sisällysluettelo: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Hae kokoteksti

Elektroninen E-kirja

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Hae kokoteksti

Elektroninen E-kirja

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Julkaistu 2015

Sisällysluettelo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
Hae kokoteksti

Elektroninen E-kirja

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Julkaistu 2014

Sisällysluettelo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Julkaistu 2006

Sisällysluettelo: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Hae kokoteksti

Elektroninen E-kirja

Autonomous Search

Julkaistu 2012

Sisällysluettelo: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Hae kokoteksti

Elektroninen E-kirja

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Julkaistu 2013

Sisällysluettelo: “... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...”
Hae kokoteksti

Elektroninen E-kirja

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Julkaistu 2013

Sisällysluettelo: “... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing in Science and Engineering, Munich 2004 Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical Universi...

Julkaistu 2005

Sisällysluettelo: “... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Julkaistu 2015

Sisällysluettelo: “... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Julkaistu 2015

Sisällysluettelo: “... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua