Suchergebnisse - parallel debugging models function function https

1

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

Veröffentlicht 2007

Inhaltsangabe: “... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2008

Inhaltsangabe: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2010

Inhaltsangabe: “...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2007

Inhaltsangabe: “... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2012

Inhaltsangabe: “... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2008

Inhaltsangabe: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2006

Inhaltsangabe: “... Analysis -- Use of SystemC Modelling in Creation and Use of an SOC Platform: Experiences and Lessons Learnt...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2015

Inhaltsangabe: “... -- Towards modelling of local reversibility -- Application of Functional Decomposition in Synthesis...”
Volltext

Elektronisch E-Book

10

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

von Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Veröffentlicht 2005

Inhaltsangabe: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2013

Inhaltsangabe: “... Applications: FRP in Agda in HTML5 -- Parallel Performance of Declarative Programming Using a PGAS Model....”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2008

Inhaltsangabe: “... Processing -- rMPI: Message Passing on Multicore Processors with On-Chip Interconnect -- Modeling Multigrain...”
Volltext

Elektronisch E-Book

13

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

von Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Veröffentlicht 2007

Inhaltsangabe: “... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
Volltext

Elektronisch E-Book

14

A Primer on Scientific Programming with Python

von Langtangen, Hans Petter., Langtangen, Hans Petter.
Veröffentlicht 2014

Inhaltsangabe: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volltext

Elektronisch E-Book

15

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

Veröffentlicht 2006

Inhaltsangabe: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2005

Inhaltsangabe: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2010

Inhaltsangabe: “...Services and Software Track -- A Model of User Preferences for Semantic Services Discovery...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2010

Inhaltsangabe: “... Markov Models -- Semantic Role Patterns and Verb Classes in Verb Valency Lexicon -- Opinion Mining...”
Volltext

Elektronisch E-Book

19

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

Veröffentlicht 2010

Inhaltsangabe: “... -- An Empirical Study of Optimization for Maximizing Diffusion in Networks -- An Integrated Modelling, Debugging...”
Volltext

Elektronisch E-Book

20

Applied WPF 4 in Context

von Garofalo, Raffaele., Garofalo, Raffaele.
Veröffentlicht 2011

Schlagworte: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
Volltext

Elektronisch E-Book

Suche einschränken