Resultats de la cerca - parallel integer program functionality testing https

Alternatives de cerca:
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
parallel integer » parallel integral , parallel interval , parallel inverted
integer program » integer programs , integer programming
testing https » teaching https , being https , writing https

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

Publicat 2008

Taula de continguts: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Obtenir text complet

Electrònic eBook

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Publicat 2014

Taula de continguts: “...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”
Obtenir text complet

Electrònic eBook

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Obtenir text complet

Electrònic eBook

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Obtenir text complet

Electrònic eBook

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Obtenir text complet

Electrònic eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Publicat 2008

Taula de continguts: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Obtenir text complet

Electrònic eBook

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

Publicat 2006

Taula de continguts: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Obtenir text complet

Electrònic eBook

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Publicat 2007

Taula de continguts: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Obtenir text complet

Electrònic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicat 2007

Taula de continguts: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Obtenir text complet

Electrònic eBook

Refinar cerca