Zoekresultaten - interface integer program implementation models https

Alternatieven:
program implementation » project implementation
implementation models » implementation model , implementation modeling , implementation levels
interface integer » interface inter , interface intended , interface internet
integer program » integer programs , integer programming
models https » modeling https

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI...

Gepubliceerd in 2007

Inhoudsopgave: “..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”
Volledige tekst

Elektronisch E-boek

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits...”
Volledige tekst

Elektronisch E-boek

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Traffic Control - A Coloured Petri Net Model of Sequence Planning -- Process Discovery Using Integer...”
Volledige tekst

Elektronisch E-boek

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Volledige tekst

Elektronisch E-boek

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Gepubliceerd in 2008

Inhoudsopgave: “... Integer Programming Problem....”
Volledige tekst

Elektronisch E-boek

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Volledige tekst

Elektronisch E-boek

The Next Wave in Computing, Optimization, and Decision Technologies

Gepubliceerd in 2005

Inhoudsopgave: “... Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming...”
Volledige tekst

Elektronisch E-boek

Metaheuristic Optimization via Memory and Evolution Tabu Search and Scatter Search /

Gepubliceerd in 2005

Inhoudsopgave: “... Applying and Experimenting with Scatter Search -- Tabu Search for Mixed Integer Programming -- Scatter...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken