Hakutulokset - parallel programs 7 functionality function https

1

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Hae kokoteksti

Elektroninen E-kirja

2

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

3

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

Julkaistu 2010

Sisällysluettelo: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Hae kokoteksti

Elektroninen E-kirja

4

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Julkaistu 2008

Sisällysluettelo: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Hae kokoteksti

Elektroninen E-kirja

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Hae kokoteksti

Elektroninen E-kirja

6

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

7

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Julkaistu 2008

Sisällysluettelo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hae kokoteksti

Elektroninen E-kirja

8

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Hae kokoteksti

Elektroninen E-kirja

9

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Hae kokoteksti

Elektroninen E-kirja

10

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Julkaistu 2013

Sisällysluettelo: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Hae kokoteksti

Elektroninen E-kirja

11

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

12

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

Julkaistu 2013

Sisällysluettelo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hae kokoteksti

Elektroninen E-kirja

13

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

14

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Hae kokoteksti

Elektroninen E-kirja

15

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Julkaistu 2005

Sisällysluettelo: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Hae kokoteksti

Elektroninen E-kirja

16

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Hae kokoteksti

Elektroninen E-kirja

17

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Hae kokoteksti

Elektroninen E-kirja

18

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

Julkaistu 2008

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

Elektroninen E-kirja

19

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning...

Julkaistu 2008

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

Elektroninen E-kirja

20

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

Rajaa hakua