Search Results - parallel programs systematic functionals function https

Search alternatives:
systematic functionals » systemic functional , schematic functional , systems functional
functionals function » function function , functions functional , function dysfunction
programs systematic » progress systematic , programming systematic , programs automatic
parallel programs » parallel programming
function https » functions https , fiction https

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

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
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: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
View full text

Electronic eBook

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic...”
View full text

Electronic eBook

Transactions on High-Performance Embedded Architectures and Compilers IV

Published 2011

Table of Contents: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
View full text

Electronic eBook

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Published 2015

Table of Contents: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
View full text

Electronic eBook

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Published 2006

Table of Contents: “... rate: a systematic comparison for microarray data -- A unifying model for biclustering -- Image...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Published 2012

Table of Contents: “... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...”
View full text

Electronic eBook

A Singular Introduction to Commutative Algebra

by Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Published 2008

Table of Contents: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
View full text

Electronic eBook

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Published 2007

Table of Contents: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
View full text

Electronic eBook

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Published 2010

Table of Contents: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
View full text

Electronic eBook

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Published 2012

Table of Contents: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
View full text

Electronic eBook

Narrow Search