Søgeresultater - automating simulation programming recursion arrays

Søg alternativer:
simulation programming » simulation program , recreation programming , simulation gaming
automating simulation » automata simulation , automated simulation , alternating simulation
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Udgivet 2005

Indholdsfortegnelse: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
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

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... P Systems and Conditional Grammars -- Automated Verification of Stochastic Spiking Neural P Systems...”
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

Indsnæver søgning