Søgeresultater - parallel programs polyhedral functionality function https

Søg alternativer:
polyhedral functionality » polymer functionality , polyhedral functions , potential functionality
functionality function » functionals function , functionaries function , functional functions
programs polyhedral » problem polyhedral , problems polyhedra , programs polynomial
parallel programs » parallel programming
function https » functions https , fiction https

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Få fuldtekst

Electronisk eBog

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Få fuldtekst

Electronisk eBog

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Få fuldtekst

Electronisk eBog

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning