Søgeresultater - parallel sequential programs functionals functions https

Søg alternativer:
functionals functions » functionals function , functional functions , functions functions
programs functionals » programs functional , programming functionals , program functionality
parallel sequential » parallel sequencing , parallel sequence , parallel exponential
sequential programs » sequential processes
functions https » foundations https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Udgivet 2007

Indholdsfortegnelse: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Få fuldtekst

Electronisk eBog

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Få fuldtekst

Electronisk eBog

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Udgivet 2015

Indholdsfortegnelse: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Udgivet 2006

Indholdsfortegnelse: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Få fuldtekst

Electronisk eBog

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

af Sharan, Kishori., Sharan, Kishori.
Udgivet 2014

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
Få fuldtekst

Electronisk eBog

Distributed Algorithms for Message-Passing Systems

af Raynal, Michel., Raynal, Michel.
Udgivet 2013

Indholdsfortegnelse: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Få fuldtekst

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
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

COMPSTAT 2008 Proceedings in Computational Statistics /

Udgivet 2008

Indholdsfortegnelse: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Få fuldtekst

Electronisk eBog

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Få fuldtekst

Electronisk eBog

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning