Search Results - programming component https function structures https

1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
View full text

Electronic eBook

2

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

3

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

4

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Published 2013

Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
View full text

Electronic eBook

5

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”
View full text

Electronic eBook

6

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

7

Magnetic Functions Beyond the Spin-Hamiltonian

Published 2006

Table of Contents: “...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”
View full text

Electronic eBook

8

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /

by Kormanyos, Christopher., Kormanyos, Christopher.
Published 2015

Table of Contents: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text

Electronic eBook

9

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Published 2006

Table of Contents: “... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...”
View full text

Electronic eBook

10

Quadratic Programming and Affine Variational Inequalities A Qualitative Study /

by Lee, Gue Myung., Lee, Gue Myung., Tam, N.N., Yen, Nguyen Dong.
Published 2005

Table of Contents: “... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...”
View full text

Electronic eBook

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
View full text

Electronic eBook

12

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
View full text

Electronic eBook

13

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Published 2010

Table of Contents: “... for Critical Infrastructure Components -- An Advanced Decision-Support Tool for Electricity Infrastructure...”
View full text

Electronic eBook

14

Pro React

by de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Published 2015

Table of Contents: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text

Electronic eBook

15

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
View full text

Electronic eBook

16

Beginning Google Web Toolkit From Novice to Professional /

by Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Published 2008

Table of Contents: “... -- Getting Started -- Project Setup / Structure -- Using the utility scripts -- Writing code -- Compiling...”
View full text

Electronic eBook

17

Foundation Flash 8

by Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

18

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
View full text

Electronic eBook

19

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Published 2007

Table of Contents: “... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”
View full text

Electronic eBook

20

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”
View full text

Electronic eBook

Narrow Search