Rezultaty - parallel oriented specification functionality function https

Inne możliwości wyszukiwania:
specification functionality » specifications functional , classification functionality , application functionality
oriented specification » oriented application
functionality function » functionals function , functionaries function , functional functions
parallel oriented » parallel orientated , parallel orienting , parallel inverted
function https » functions https , fiction https

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “...) Revealed by Asynchronous Cellular Automata Simulation -- CAOS: A Domain-Specific Language for the Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st...

Wydane 2006

Spis treści: “... Specificity of a Term -- Building Document Graphs for Multiple News Articles Summarization: An Event-Based...”
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: “... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Wydane 2010

Spis treści: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Wydane 2008

Spis treści: “... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Engineering 1 Abstraction and Modelling /

od Bjørner, Dines., Bjørner, Dines.
Wydane 2006

Spis treści: “... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Design of Embedded Control Systems

Wydane 2005

Spis treści: “...Specification of Concurrent Embedded Control Systems -- Using Sequents for Description...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Methods for the Innovative Design of Electrical Devices

Wydane 2011

Spis treści: “... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Guide to Scientific Computing in C++

od Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Wydane 2012

Spis treści: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Protein Microarrays Methods and Protocols /

Wydane 2011

Spis treści: “... -- Protein Function Microarrays for Customized Systems-Oriented Proteome Analysis -- Optimized Autoantibody...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Wydane 2015

Spis treści: “...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”
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

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Wydane 2008

Spis treści: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Wydane 2007

Spis treści: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Wydane 2013

Spis treści: “... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Wydane 2013

Spis treści: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Robot Kinematics

Wydane 2014

Spis treści: “... Parallel Manipulator -- Motion Planning of Non-holonomic Parallel Orienting Platform: A Jacobian Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty