Resultados de búsqueda - parallel program deterministic functionals function https

Buscar alternativas:
deterministic functionals » deterministic functional , deterministic functions , deterministic fractional
program deterministic » problem deterministic , from deterministic , process deterministic
functionals function » function function , functions functional , function dysfunction
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Publicado 2008

Tabla de Contenidos: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
Enlace del recurso

Electrónico eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicado 2014

Tabla de Contenidos: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Enlace del recurso

Electrónico eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Publicado 2006

Tabla de Contenidos: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Enlace del recurso

Electrónico eBook

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Enlace del recurso

Electrónico eBook

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Publicado 2006

Tabla de Contenidos: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Enlace del recurso

Electrónico eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Enlace del recurso

Electrónico eBook

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Publicado 2010

Tabla de Contenidos: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
Enlace del recurso

Electrónico eBook

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Publicado 2010

Tabla de Contenidos: “... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”
Enlace del recurso

Electrónico eBook

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...

Publicado 2015

Tabla de Contenidos: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Enlace del recurso

Electrónico eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
Enlace del recurso

Electrónico eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado 2012

Tabla de Contenidos: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Enlace del recurso

Electrónico eBook

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Enlace del recurso

Electrónico eBook

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Publicado 2008

Tabla de Contenidos: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Enlace del recurso

Electrónico eBook

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Publicado 2014

Tabla de Contenidos: “... -- Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems -- P Systems with Toxic...”
Enlace del recurso

Electrónico eBook

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados