Rezultati - parallel programming https functionalities automation https

Poišči alternative:
functionalities automation » functionalities citation , functionalities emotion , functionalities applications
https functionalities » gps functionalities , dys functionalities , systems functionalities
parallel programming » parallel processing
programming https » programming http , programming hands , programming hints

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Izdano 2008

Kazalo: “... and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Polni tekst

Elektronski eKnjiga

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Izdano 2010

Kazalo: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Polni tekst

Elektronski eKnjiga

New Horizons of Parallel and Distributed Computing

Izdano 2005

Kazalo: “... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”
Polni tekst

Elektronski eKnjiga

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Izdano 2005

Kazalo: “... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Izdano 2006

Kazalo: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Izdano 2013

Kazalo: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Polni tekst

Elektronski eKnjiga

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Izdano 2013

Kazalo: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Polni tekst

Elektronski eKnjiga

Advances in Robot Kinematics

Izdano 2014

Kazalo: “...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “...Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical...”
Polni tekst

Elektronski eKnjiga

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Izdano 2010

Kazalo: “... of Race Conditions in Erlang -- Automating Mathematical Program Transformations -- ActionScript In-Lined...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
Polni tekst

Elektronski eKnjiga

DNA Cloning and Assembly Methods

Izdano 2014

Kazalo: “...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Polni tekst

Elektronski eKnjiga

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje