Search Results - programs function https function hard https

1

Path mapping approach for network function virtualization resource allocation with network function decomposition support

by Raddwan, Basheer, Al-Wagih, Khalil, Al-Baltah, Ibrahim A., Alrshah, Mohamed A., Al-Maqri, Mohammed A.
Published 2019

“...Recently, Network Function Virtualization (NFV) and Software Defined Networking (SDN) have...”
View full text

Article

2

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications /

by Mukherjee, Sudipta., Mukherjee, Sudipta.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

3

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Published 2010

Table of Contents: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
View full text

Electronic eBook

4

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”
View full text

Electronic eBook

5

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity...”
View full text

Electronic eBook

6

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
View full text

Electronic eBook

7

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

8

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
View full text

Electronic eBook

9

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Problem on HSTs -- Session 5-Track A1. Scheduling -- Scheduling Periodic Tasks in a Hard Real-Time...”
View full text

Electronic eBook

10

Genetic Systems Programming Theory and Experiences /

Published 2006

Table of Contents: “... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”
View full text

Electronic eBook

11

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “... Heuristics for Hard ASP Programs -- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
View full text

Electronic eBook

13

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: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
View full text

Electronic eBook

14

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2007

Table of Contents: “... -- Connections in Networks: Hardness of Feasibility Versus Optimality -- Modeling the Regular Constraint...”
View full text

Electronic eBook

15

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
View full text

Electronic eBook

16

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach...”
View full text

Electronic eBook

17

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Schnyder Greedy Routing Algorithm -- Exploiting Restricted Linear Structure to Cope with the Hardness...”
View full text

Electronic eBook

18

MooTools Essentials The Official MooTools Reference for JavaScript and Ajax Development /

by Newton, Aaron., Newton, Aaron.
Published 2008

Table of Contents: “...Getting Started with Mootools -- Reviewing MooTools -- Shortcuts and Helpful Functions -- Native...”
View full text

Electronic eBook

19

Web Development Solutions Ajax, APIs, Libraries, and Hosted Services Made Easy /

by Heilmann, Christian., Heilmann, Christian., Francis, Mark Norm Norman.
Published 2007

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

20

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: “... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”
View full text

Electronic eBook

Narrow Search