1
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
2
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...
View full text
Electronic eBook
4
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...-Time Systems -- Abstraction and Reduction Techniques -- Selective Search in Bounded Model Checking...
View full text
Electronic eBook
7
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
8
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Shape -- Linear Dimensionality Reduction through Eigenvector Selection for Object Recognition...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Design of Conic-Cylindrical Gear Reduction Unit Using Fuzzy Physical Programming -- NLOMJ—Natural...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...
View full text
Electronic eBook
18
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
19
Published 2005
Table of Contents: ... Partitioning -- Dimension-Reduction Technique for MPEG-7 Audio Descriptors -- Design of an Asynchronous Switch...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook