Hakutulokset - parallel integer programs functionality setting https

Tarkoititko:
programs functionality » program functionality , programs functional , properties functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel integer » parallel integral , parallel interval , parallel inverted
integer programs » integer programming , linear programs
setting https » being https , writing https , feeding https

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

Julkaistu 2008

Sisällysluettelo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Network in the Weak Sensor Model -- Approximating Integer Quadratic Programs and MAXCUT in Subdense Graphs...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Julkaistu 2005

Sisällysluettelo: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “...++ Tools for Exploiting Polyhedral Symmetries -- isl: An Integer Set Library for the Polyhedral Model...”
Hae kokoteksti

Elektroninen E-kirja

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Hae kokoteksti

Elektroninen E-kirja

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Julkaistu 2008

Sisällysluettelo: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Hae kokoteksti

Elektroninen E-kirja

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Tightening via Fixed Points -- A Characterisation of Stable Sets in Games with Transitive Preference...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Hae kokoteksti

Elektroninen E-kirja

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Julkaistu 2008

Sisällysluettelo: “... Feedback Controllers -- Integer Programming Approaches to Access and Backbone IP Network Planning...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Hae kokoteksti

Elektroninen E-kirja

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Julkaistu 2014

Sisällysluettelo: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua