Search Results - program java processor function control https

Search alternatives:
processor function » processes function , processes functions , process functions
function control » functions control , junction control , functional control
program java » program jarak , program a , program jom
https » http

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Ranking Function Synthesis for Bit-Vector Relations -- Fairness for Dynamic Control -- Tools II -- JTorX...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
View full text

Electronic eBook

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Published 2008

Table of Contents: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
View full text

Electronic eBook

Narrow Search