Søgeresultater - compositional constraint programing recursion arrays a

Søg alternativer:
compositional constraint » compositional constraints , computational constraints , depositional constraints
constraint programing » constraint programming , constraints programming , constrained programming
programing recursion » programming recursion , programming decision , programming version
recursion arrays » recursion versus
arrays a » arrays _

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

Udgivet 2006

Indholdsfortegnelse: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Få fuldtekst

Electronisk eBog

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Udgivet 2005

Indholdsfortegnelse: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning