Zoekresultaten - ((functions computation) or (functions computational)) programming embedded methods example*

1

Innovations in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Volledige tekst

Elektronisch E-boek

2

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Volledige tekst

Elektronisch E-boek

3

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...”
Volledige tekst

Elektronisch E-boek

4

Computer and Information Science 2011

Gepubliceerd in 2011

Inhoudsopgave: “... for Sensor Networks -- An Empirical Study of Programming Performance Based on Keystroke Characteristics -- A...”
Volledige tekst

Elektronisch E-boek

5

Advanced Techniques in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volledige tekst

Elektronisch E-boek

6

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
Volledige tekst

Elektronisch E-boek

7

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”
Volledige tekst

Elektronisch E-boek

8

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... Operators for Lists Embedded in a Metric Space -- Porting IgorII from Maude to Haskell -- Automated Method...”
Volledige tekst

Elektronisch E-boek

9

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

door Kormanyos, Christopher., Kormanyos, Christopher.
Gepubliceerd in 2015

Inhoudsopgave: “... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Volledige tekst

Elektronisch E-boek

10

Theoretical Numerical Analysis A Functional Analysis Framework /

door Atkinson, Kendall., Atkinson, Kendall., Han, Weimin.
Gepubliceerd in 2005

Inhoudsopgave: “... and Wavelets -- Nonlinear Equations and Their Solution by Iteration -- Finite Difference Method -- Sobolev...”
Volledige tekst

Elektronisch E-boek

11

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
Volledige tekst

Elektronisch E-boek

12

Understanding Cryptography A Textbook for Students and Practitioners /

door Paar, Christof., Paar, Christof., Pelzl, Jan.
Gepubliceerd in 2010

Inhoudsopgave: “... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
Volledige tekst

Elektronisch E-boek

13

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...”
Volledige tekst

Elektronisch E-boek

14

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems /

door Yoong, Li Hsien., Yoong, Li Hsien., Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.
Gepubliceerd in 2015

Inhoudsopgave: “...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...”
Volledige tekst

Elektronisch E-boek

15

New Frontiers in Artificial Intelligence Joint JSAI 2005 Workshop Post-Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... of Functionality and Semantic Annotation for Technical Knowledge Management -- Support for Content Creation Using...”
Volledige tekst

Elektronisch E-boek

16

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Parameterized Basic Kernels -- On the Limitations of Embedding Methods -- Leaving the Span -- Inductive...”
Volledige tekst

Elektronisch E-boek

17

Formal Refinement for Operating System Kernels

door Craig, Iain D., Craig, Iain D.
Gepubliceerd in 2007

Inhoudsopgave: “...Introduction -- Reasons for Selecting the Examples -- Refinement Method -- Code Production...”
Volledige tekst

Elektronisch E-boek

18

Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...”
Volledige tekst

Elektronisch E-boek

19

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Volledige tekst

Elektronisch E-boek

20

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... -- Spectral Clustering and Embedding with Hidden Markov Models -- Probabilistic Explanation Based Learning...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken