• No results found

model based programming language

A Generic Bill of Materials based on a Programming Language Notation

A Generic Bill of Materials based on a Programming Language Notation

... towards programming˝ languages. Of course, a programming language is much more than a notation˝ for expressing data structures, but data description has become an important issue of all modern˝ ...

12

An event based object model for distributed programming

An event based object model for distributed programming

... The authors of [3] and [23] describe dierent ways of expressing timing constraints and integrating them into an object-oriented language. Timing behaviour can be described by specifying the minimum and maximum ...

15

Teaching and learning the Hodgkin-Huxley model based on software developed in NEURON’s programming language hoc

Teaching and learning the Hodgkin-Huxley model based on software developed in NEURON’s programming language hoc

... with programming experience can develop soft- ware using a combination of hoc (an interpreter with C-like syntax [20]) and Python [21], and can add new membrane properties with the compiled NMODL lan- guage ...

9

Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State Transition Diagram

Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State Transition Diagram

... 3D model from the character selection ...the model will show a tooltip that shows a description of the ...diagram based visual language described in Section ...

10

A Grammar-Based Structural CNN Decoder for Code Generation

A Grammar-Based Structural CNN Decoder for Code Generation

... natural language sentence, and thus it may be inappropriate for RNN to capture such a long ...Our model generates a program by predicting the grammar rules of the programming language; we ...

8

Mathematical modeling of water quality in river systems. Case study: Jajrood river in Tehran - Iran

Mathematical modeling of water quality in river systems. Case study: Jajrood river in Tehran - Iran

... mathematical model written by C#2008 programming language with finite difference method and model can be computed hydrodynamic and water quality Parameters in Jajrood River for different ...

11

A. Optimization Model Based on Dynamic Programming

A. Optimization Model Based on Dynamic Programming

... optimization model a computer program OPTRAD was performed in Fortran programming language for PC compatible microsystems, with the flow chart shown in Figure 1, where: N is the graph order; M(I,J) – ...

5

Model-based programming environments for spreadsheets

Model-based programming environments for spreadsheets

... Participants started the study by filling out a background questionnaire so we could collect their area of study and previous experience with spreadsheets, other programming languages and English comfort ...

27

Exploiting Multi Core Architectures for Process Speed Up

Exploiting Multi Core Architectures for Process Speed Up

... C programming language on LINUX ...standards based thread API for C/C++ [6]. Pthreads is a shared memory programming model where parallelism takes the form of parallel function ...

8

ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration

ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration

... most programming lan- guages and are resolved at compile time for each particular ...platforms based on dynamic loading of code prone to runtime errors due to missing ...this model is to make ...

24

An actor model of concurrency for the Swift programming language

An actor model of concurrency for the Swift programming language

... procedural language, implemented as the native programming language from the Occam ...This model also formed the bases for the hardware chip — the INMOS transputer microprocessor ...parallel ...

6

A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages

A Feature Model of Actor, Agent, Functional, Object, and Procedural Programming Languages

... systems programming languages using a feature-based ...surveyed language, each feature is either present or absent, and in some cases examples of feature usage are ...and language features are ...

29

Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things

Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things

... a programming language based approach, combined with an operator- based formalism; the operators theoretically define how the constituents of two context-aware systems (or action systems) ...

17

Calculating Development of Cracks in Roller Compacted Concrete Gravity Dams based on Self Adaptive Finite Element Method in Ansys Software

Calculating Development of Cracks in Roller Compacted Concrete Gravity Dams based on Self Adaptive Finite Element Method in Ansys Software

... this model applied the mesh of self-adaptive finite element method in the development process of ...distributed model that is not a discrete model. [2], [3]. Based on the APDL parametric ...

5

A Novel Re-Targetable Application Development Platform for Healthcare Mobile Applications

A Novel Re-Targetable Application Development Platform for Healthcare Mobile Applications

... The algorithm development procedure consists of algorithm design and code writing steps. Healthcare algorithms are usually developed by high-level languages like MATLAB which enables developers to focus on what they want ...

6

Understanding Programming Language Semantics For The Complex World

Understanding Programming Language Semantics For The Complex World

... Ada language provides for detection and handling of such conditions [4, 8, ...a programming language [17, 23]. The Ada language provides five predefined ...

6

Notions of computation and monads

Notions of computation and monads

... semantics based on mathematical structures rather than term models, but it does not give clear criteria to single out the general principles among the properties satisfied by the ...of programming ...

29

Tr ends in Software Verification

Tr ends in Software Verification

... the model checker cannot defend itself fully against outright errors within code that is embedded inside the logic models that it ...A model extractor can be somewhat proactive, and instrument the embed- ...

10

Analysis Aware Design of Embedded Systems Software

Analysis Aware Design of Embedded Systems Software

... types based on the context in which the constants are use ...our language all variable definitions have type annotations, the type of each variable is explicitly mentioned in the code and does not have to ...

153

NCRE Based Exploration into C Language Programming Teaching on Moodle

NCRE Based Exploration into C Language Programming Teaching on Moodle

... C Language, a high-quality experiment is to accomplish the learning task and to acquire NCRE ...C Language teaching in Anshun ...C Language took classroom teaching as the principal, short of ...

8

Show all 10000 documents...

Related subjects