Search Results - interface reduction programming program constructs https

Search alternatives:
reduction programming » production programming , education programming , edition programming
interface reduction » interface reflection , interference reduction , interface introduction
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Published 2008

Table of Contents: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
View full text

Electronic eBook

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
View full text

Electronic eBook

Robotic Fabrication in Architecture, Art and Design 2014

Published 2014

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Published 2005

Table of Contents: “... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Published 2005

Table of Contents: “...-Time Systems -- Abstraction and Reduction Techniques -- Selective Search in Bounded Model Checking...”
View full text

Electronic eBook

Algorithms in Bioinformatics 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... in Protein-Protein Interface Surfaces -- Protein Side-Chain Placement Through MAP Estimation and Problem-Size...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Published 2013

Table of Contents: “...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”
View full text

Electronic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Shape -- Linear Dimensionality Reduction through Eigenvector Selection for Object Recognition...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
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

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

Published 2005

Table of Contents: “... Design of Conic-Cylindrical Gear Reduction Unit Using Fuzzy Physical Programming -- NLOMJ—Natural...”
View full text

Electronic eBook

Architecture of Computing Systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...”
View full text

Electronic eBook

Database Systems for Advanced Applications 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2...

Published 2010

Table of Contents: “... for Geophysical Fluid Sciences, Part II: RESTful Web Services and Object-Oriented Programming Interface -- 3rd...”
View full text

Electronic eBook

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

Published 2005

Table of Contents: “... Partitioning -- Dimension-Reduction Technique for MPEG-7 Audio Descriptors -- Design of an Asynchronous Switch...”
View full text

Electronic eBook

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”
View full text

Electronic eBook

Narrow Search