Αποτελέσματα αναζήτησης - parallel debugging model function function https

1

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

Έκδοση 2007

Πίνακας περιεχομένων: “... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2008

Πίνακας περιεχομένων: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Έκδοση 2010

Πίνακας περιεχομένων: “...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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

Έκδοση 2007

Πίνακας περιεχομένων: “... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Έκδοση 2012

Πίνακας περιεχομένων: “... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /

Έκδοση 2006

Πίνακας περιεχομένων: “... Analysis -- Use of SystemC Modelling in Creation and Use of an SOC Platform: Experiences and Lessons Learnt...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

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

Έκδοση 2015

Πίνακας περιεχομένων: “... -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

ανά Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Έκδοση 2005

Πίνακας περιεχομένων: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Έκδοση 2013

Πίνακας περιεχομένων: “... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

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

Έκδοση 2008

Πίνακας περιεχομένων: “... Processing -- rMPI: Message Passing on Multicore Processors with On-Chip Interconnect -- Modeling Multigrain...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

ανά Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Έκδοση 2007

Πίνακας περιεχομένων: “... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

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

Έκδοση 2005

Πίνακας περιεχομένων: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

The Semantic Web: Research and Applications 7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II /

Έκδοση 2010

Πίνακας περιεχομένων: “...Services and Software Track -- A Model of User Preferences for Semantic Services Discovery...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

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

Έκδοση 2010

Πίνακας περιεχομένων: “... -- An Empirical Study of Optimization for Maximizing Diffusion in Networks -- An Integrated Modelling, Debugging...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Text, Speech and Dialogue 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... Markov Models -- Semantic Role Patterns and Verb Classes in Verb Valency Lexicon -- Opinion Mining...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Applied WPF 4 in Context

ανά Garofalo, Raffaele., Garofalo, Raffaele.
Έκδοση 2011

Θέματα: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης