Risultati della ricerca - parallel processing programs functionality domain https

1

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Pubblicazione 2010

Sommario: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Testo

Elettronico eBook

2

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Pubblicazione 2010

Sommario: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Testo

Elettronico eBook

3

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Pubblicazione 2011

Soggetti: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testo

Elettronico eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...”
Testo

Elettronico eBook

5

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Testo

Elettronico eBook

6

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Pubblicazione 2010

Sommario: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Testo

Elettronico eBook

7

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Pubblicazione 2014

Sommario: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Testo

Elettronico eBook

8

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International...

Pubblicazione 2008

Sommario: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
Testo

Elettronico eBook

9

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Pubblicazione 2006

Sommario: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Testo

Elettronico eBook

10

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Testo

Elettronico eBook

11

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 /

Pubblicazione 2006

Sommario: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Testo

Elettronico eBook

12

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Pubblicazione 2005

Sommario: “... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”
Testo

Elettronico eBook

13

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Pubblicazione 2015

Sommario: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Testo

Elettronico eBook

14

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... Programming -- Domain Types: Abstract-Domain Selection Based on Variable Usage -- Efficient Analysis...”
Testo

Elettronico eBook

15

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Pubblicazione 2007

Sommario: “...Domain Theory: Practice and Theories A Discussion of Possible Research Topics -- Linking Semantic...”
Testo

Elettronico eBook

16

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...

Pubblicazione 2015

Sommario: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Testo

Elettronico eBook

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Pubblicazione 2014

Sommario: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Testo

Elettronico eBook

18

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Pubblicazione 2015

Sommario: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
Testo

Elettronico eBook

19

Innovations in Computing Sciences and Software Engineering

Pubblicazione 2010

Sommario: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Testo

Elettronico eBook

20

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Testo

Elettronico eBook

Restringi la ricerca