Hakutulokset - parallel trace based function function https

1

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

Julkaistu 2012

Sisällysluettelo: “... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”
Hae kokoteksti

Elektroninen E-kirja

2

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Julkaistu 2010

Sisällysluettelo: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2008

Sisällysluettelo: “... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...”
Hae kokoteksti

Elektroninen E-kirja

5

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
Hae kokoteksti

Elektroninen E-kirja

6

Microchip Capillary Electrophoresis Protocols

Julkaistu 2015

Sisällysluettelo: “... for Fast and Interference-Free Determination of Trace Amounts of Glyphosate and Glufosinate Residues...”
Hae kokoteksti

Elektroninen E-kirja

7

Computational Electromagnetics Recent Advances and Engineering Applications /

Julkaistu 2014

Sisällysluettelo: “...Characteristic Basis Function Method -- Parallelization strategies for the Characteristic Basis...”
Hae kokoteksti

Elektroninen E-kirja

8

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Julkaistu 2008

Sisällysluettelo: “... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...”
Hae kokoteksti

Elektroninen E-kirja

9

Next Generation Sequencing in Cancer Research Volume 1: Decoding the Cancer Genome /

Julkaistu 2013

Sisällysluettelo: “... -- Identification of piRNAs in Hela cells by massive parallel sequencing -- Discovery of new microRNAs by small...”
Hae kokoteksti

Elektroninen E-kirja

10

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
Hae kokoteksti

Elektroninen E-kirja

11

Brain Research in Language

Julkaistu 2008

Sisällysluettelo: “... Understanding of Brain Asynchrony in Dyslexia -- Dyslexia and the Failure in Forming Memory Traces -- Speech...”
Hae kokoteksti

Elektroninen E-kirja

12

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Hae kokoteksti

Elektroninen E-kirja

13

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2006

Sisällysluettelo: “... Bypass Delays -- Trace-Based Data Cache Leakage Reduction at Link Time -- Parallelizing User-Defined...”
Hae kokoteksti

Elektroninen E-kirja

15

Public Key Cryptography - PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...”
Hae kokoteksti

Elektroninen E-kirja

16

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2015

Sisällysluettelo: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
Hae kokoteksti

Elektroninen E-kirja

18

Advancing Computing, Communication, Control and Management

Julkaistu 2010

Sisällysluettelo: “... on Row Scan Line Based Edge Tracing Technology for Vehicle Recognition System -- Study on Modeling...”
Hae kokoteksti

Elektroninen E-kirja

19

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Julkaistu 2007

Sisällysluettelo: “... in Remote Sensing Information Analysis and Service Grid Node -- Density Based Fuzzy Membership Functions...”
Hae kokoteksti

Elektroninen E-kirja

20

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Julkaistu 2008

Sisällysluettelo: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua