Arama Sonuçları - parallel implementation selection functionals function https

1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Baskı/Yayın Bilgisi 2013

İçindekiler: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Tam Metin Erişim

Elektronik Ekitap

2

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”
Tam Metin Erişim

Elektronik Ekitap

4

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
Tam Metin Erişim

Elektronik Ekitap

5

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Costs -- Accurate Step Counting -- The Implementation of iData -- A High-Level Implementation...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2011

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

7

Physical Unclonable Functions in Theory and Practice

Yazar: Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Baskı/Yayın Bilgisi 2013

İçindekiler: “...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Tam Metin Erişim

Elektronik Ekitap

13

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Stopping Criterion Selection for Efficient Semi-supervised Time Series Classification -- Enhancing...”
Tam Metin Erişim

Elektronik Ekitap

14

VLSI 2010 Annual Symposium Selected papers /

Baskı/Yayın Bilgisi 2011

İçindekiler: “...: Parallel Paradigms and Run-time Management Techniques for Many-Core Architectures -- 6. Adaptive Task...”
Tam Metin Erişim

Elektronik Ekitap

15

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 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Tam Metin Erişim

Elektronik Ekitap

16

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Tomography Parallel Backprojection -- Trinocular Stereo Vision Using a Multi Level Hierarchical...”
Tam Metin Erişim

Elektronik Ekitap

17

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Tam Metin Erişim

Elektronik Ekitap