Search Results - program compilation https functionality adding https

Search alternatives:
functionality adding » functionality using , functionality amino , functionality setting
program compilation » program composition , program computational , program comparison
https functionality » its functionality , bags functionality , cross functionality
compilation https » computation https , complications https , communication https
adding https » aging https , auditing https , banking https

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate...”
View full text

Electronic eBook

Iterating Infusion Clearer Views of Objects, Classes, and Systems /

by Anthony, Greg., Anthony, Greg.
Published 2005

Table of Contents: “... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...”
View full text

Electronic eBook

Iterating Infusion Clearer Views of Objects, Classes, and Systems /

by Anthony, Greg., Anthony, Greg.
Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
View full text

Electronic eBook

Architecting Dependable Systems VII

Published 2010

Table of Contents: “... Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup...”
View full text

Electronic eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”
View full text

Electronic eBook

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

by Kormanyos, Christopher., Kormanyos, Christopher.
Published 2015

Table of Contents: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text

Electronic eBook

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Published 2008

Table of Contents: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
View full text

Electronic eBook

Recent Advances in Algorithmic Differentiation

Published 2012

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Published 2012

Table of Contents: “... Monitoring and Analysis Framework -- AK-PPM: An Authenticated Packet Attribution Scheme for Mobile Ad Hoc...”
View full text

Electronic eBook

Practical OCaml

by Smith, Joshua B., Smith, Joshua B.
Published 2007

Table of Contents: “... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text

Electronic eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...”
View full text

Electronic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”
View full text

Electronic eBook

Computers, Networks, Systems, and Industrial Engineering 2011

Published 2011

Table of Contents: “...Using Dominating sets with 2-Hop Neighborhood Information to Improve the Ad-Hoc On-demand Distance...”
View full text

Electronic eBook

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Published 2005

Table of Contents: “... Knowledge Gathering: An Evolutionary Approach -- Duality in Knowledge Compilation Techniques -- Data...”
View full text

Electronic eBook

Introduction to Network Simulator NS2

by Issariyakul, Teerawat., Issariyakul, Teerawat., Hossain, Ekram.
Published 2012

Table of Contents: “...) -- Application: User Demand Indicator -- Wireless Mobile Ad Hoc Networks -- Developing New Modules for NS2...”
View full text

Electronic eBook

Narrow Search