Rezultaty - parallel systematic program function function https*

Inne możliwości wyszukiwania:
parallel systematic » parallella systematic , paralysis systematic , parallel systems
systematic program » static program , systems program , system program
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
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 /

Wydane 2006

Spis treści: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Transactions on High-Performance Embedded Architectures and Compilers IV

Wydane 2011

Spis treści: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... rate: a systematic comparison for microarray data -- A unifying model for biclustering -- Image...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Singular Introduction to Commutative Algebra

od Greuel, Gert-Martin., Greuel, Gert-Martin., Pfister, Gerhard.
Wydane 2008

Spis treści: “... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty