Sökresultat - parallel integer programs functionality testing https

Menade du:
programs functionality » program functionality , programs functional , properties functionality
functionality testing » functionality setting , functional testing , functionality using
parallel integer » parallel integral , parallel interval , parallel inverted
integer programs » integer programming , linear programs
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 /

Publicerad 2008

Innehållsförteckning: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen