Søgeresultater - parallel debugging system functionality function https

1

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

Udgivet 2008

Indholdsfortegnelse: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

3

Pro .NET 4 Parallel Programming in C#

af Freeman, Adam., Freeman, Adam.
Udgivet 2010

Indholdsfortegnelse: “... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2010

Indholdsfortegnelse: “... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2008

Indholdsfortegnelse: “... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2006

Indholdsfortegnelse: “... Functional Unit -- A High Performance Simulator System for a Multiprocessor System Based on a Multi-way...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2006

Indholdsfortegnelse: “...The Need for Standards -- Programmable Platform Characterization for System Level Performance...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2007

Indholdsfortegnelse: “... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2010

Indholdsfortegnelse: “... Ontological Structure from Folksonomy -- Debugging the Missing Is-A Structure of Networked Ontologies...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2012

Indholdsfortegnelse: “...: Parallel Sensor Network Simulator -- A Study on Measurements System for Evaluating DA-C2’s Effectiveness...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2010

Indholdsfortegnelse: “... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”
Få fuldtekst

Electronisk eBog

12

The Definitive Guide to Jython Python for the Java Platform /

af Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Udgivet 2010

Indholdsfortegnelse: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Få fuldtekst

Electronisk eBog

13

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

af Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
Udgivet 2007

Indholdsfortegnelse: “... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
Få fuldtekst

Electronisk eBog

14

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Networks in a Parametric SIMD Parallel System on Chip -- A Dedicated Reconfigurable Architecture for Finite...”
Få fuldtekst

Electronisk eBog

15

Applied WPF 4 in Context

af Garofalo, Raffaele., Garofalo, Raffaele.
Udgivet 2011

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2008

Indholdsfortegnelse: “... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2008

Indholdsfortegnelse: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Få fuldtekst

Electronisk eBog