Hakutulokset - parallel programs https functional agent https

1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hae kokoteksti

Elektroninen E-kirja

2

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation...

Julkaistu 2008

Sisällysluettelo: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Hae kokoteksti

Elektroninen E-kirja

3

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Hae kokoteksti

Elektroninen E-kirja

4

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hae kokoteksti

Elektroninen E-kirja

5

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2010

Sisällysluettelo: “... of Segments -- Multi-agent Systems and Parallel Approaches -- An Island Model for the No-Wait Flow Shop...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2010

Sisällysluettelo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Hae kokoteksti

Elektroninen E-kirja

8

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hae kokoteksti

Elektroninen E-kirja

9

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Hae kokoteksti

Elektroninen E-kirja

10

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2015

Sisällysluettelo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Hae kokoteksti

Elektroninen E-kirja

12

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”
Hae kokoteksti

Elektroninen E-kirja

13

Distributed Algorithms for Message-Passing Systems

Tekijä Raynal, Michel., Raynal, Michel.
Julkaistu 2013

Sisällysluettelo: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Hae kokoteksti

Elektroninen E-kirja

14

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Hae kokoteksti

Elektroninen E-kirja

15

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Implementation of Uncertain Agents -- Subgoal Semantics in Agent Programming -- The Multi-team Formation...”
Hae kokoteksti

Elektroninen E-kirja

16

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...”
Hae kokoteksti

Elektroninen E-kirja

17

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Julkaistu 2008

Sisällysluettelo: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Hae kokoteksti

Elektroninen E-kirja

18

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Hae kokoteksti

Elektroninen E-kirja

19

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Hae kokoteksti

Elektroninen E-kirja

20

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua