Search Results - parallel static framework functionality function https

Search alternatives:
framework functionality » facebook functionality , framework functioning , network functionality
functionality function » functionals function , functionaries function , functional functions
static framework » strategic framework , semantic framework , islamic framework
parallel static » parallel state , parallel spatial , parallel sat
function https » functions https , fiction https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”
View full text

Electronic eBook

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”
View full text

Electronic eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”
View full text

Electronic eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
View full text

Electronic eBook

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Formal Framework for Static (Tissue) P Systems -- Conformon-P Systems with Negative Values -- Optimizing...”
View full text

Electronic eBook

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
View full text

Electronic eBook

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... of MP Modeling Framework -- Turing Computability and Membrane Computing -- Membrane Systems...”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
View full text

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

Published 2015

Table of Contents: “... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
View full text

Electronic eBook

Future Intelligent Information Systems Volume 1 /

Published 2011

Table of Contents: “... on The Degradation of MOV Used in Multiplate Paralleling -- A Kind of Integrated Resource Scheduling Framework...”
View full text

Electronic eBook

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Published 2005

Table of Contents: “... Queueing -- BDDs in a Branch and Cut Framework -- Parallel Smith-Waterman Algorithm for Local DNA...”
View full text

Electronic eBook

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II /

Published 2012

Table of Contents: “... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... of Materialized Aggregation Tree -- An Object-Oriented Framework for Reconciliation and Extraction...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Published 2013

Table of Contents: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
View full text

Electronic eBook

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering /

Published 2015

Table of Contents: “... Using a Probabilistic Framework -- Multi-Agent Reinforcement Learning Control for Ramp Metering...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”
View full text

Electronic eBook

Narrow Search