תוצאות חיפוש - parallel array programs functionality modelling https

1

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

יצא לאור 2007

תוכן הענינים: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

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

יצא לאור 2006

תוכן הענינים: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

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

יצא לאור 2005

תוכן הענינים: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2010

תוכן הענינים: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

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

יצא לאור 2006

תוכן הענינים: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

מאת Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
יצא לאור 2005

תוכן הענינים: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

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

יצא לאור 2014

תוכן הענינים: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

A Primer on Scientific Programming with Python

מאת Langtangen, Hans Petter., Langtangen, Hans Petter.
יצא לאור 2014

תוכן הענינים: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

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

יצא לאור 2008

תוכן הענינים: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

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

יצא לאור 2012

תוכן הענינים: “... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

יצא לאור 2010

תוכן הענינים: “... Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

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

יצא לאור 2013

תוכן הענינים: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

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

יצא לאור 2015

תוכן הענינים: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש