• No results found

model-based programming

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

... timescales, based on models of themselves and their ...called model-based autonomy, has been demonstrated in space on NASA’s Deep Space One probe[7], and on several subsequent space systems[8, ...

15

the Reactive Model-based Programming Language for Robotic Space Explorers

the Reactive Model-based Programming Language for Robotic Space Explorers

... bility based on an extension of RMPL (including the notions of metric time, temporally bounded activity specifications and non-deterministic choice) is cur- rently under development ...Hybrid ...

8

Model-based programming environments for spreadsheets

Model-based programming environments for spreadsheets

... As a final remark we note that it is not possible to make any judgment about the quality of the generated environ- ments. This would require another study, with real users and their spreadsheets. After applying our ...

27

Model-based programming environments for spreadsheets

Model-based programming environments for spreadsheets

... In this paper, we propose a technique to enhance a spreadsheet system with mecha- nisms to guide end-users to introduce correct data. A background process adds formulas and visual objects to an existing spreadsheet, ...

17

Mobile Agent Based Distributed Network Architecture with Map Reduce Programming Model

Mobile Agent Based Distributed Network Architecture with Map Reduce Programming Model

... agent based techniques and the active disk technology and also the use of Map-reduce functions in unstructured data ...agent based models and map-reduce functions, an analytic simulation model on ...

33

An Interval Programming based Traffic Planning Model for Urban Vehicle Emissions Management

An Interval Programming based Traffic Planning Model for Urban Vehicle Emissions Management

... interval programming, fuzzy mathematical programming, and stochastic pro- ...linear programming (ILP) is an al- ternative for handing with uncertainties ...ILP model can be expressed as ...

6

ALPH : a DSAL based programming model for complexity management in pervasive healthcare applications

ALPH : a DSAL based programming model for complexity management in pervasive healthcare applications

... systems based on HL7 [215]. A model-driven development approach enables developers to configure a HL7 collaboration port application including messages, interactions, roles and ...Object Model) C# ...

248

A parallel programming model for ada

A parallel programming model for ada

... a model for integrating parallel dataflow programming with the Ada tasking model, proposing two extension keywords to standard Ada: parallel and ...

8

Genetic Programming Testing Model

Genetic Programming Testing Model

... to model important behavioral aspects of the software such as its data ...techniques based just on traditional FSMs can not make use of further ...criteria based only on the analysis of FSMs control ...

5

A Programming Model for the Cloud Platform

A Programming Model for the Cloud Platform

... computing programming models. Research on cloud computing programming models has made some progress, such as Google’s MapReduce [1] and Microsoft’s Dryad ...computing programming models mainly focus ...

8

Model-Based Parameter Estimation for Fault Detection Using Multiparametric Programming

Model-Based Parameter Estimation for Fault Detection Using Multiparametric Programming

... distributed model predictive control systems is utilized to ensure the system stability when actuator faults ...new model-based fault detection scheme using parameter estimation is proposed (Section ...

44

Towards Seamless Integration of N-Version Programming in Model-Based Design

Towards Seamless Integration of N-Version Programming in Model-Based Design

... and out. They are used to read input arguments and deliver the ballot to the voter, respectively. The use of input and output channels instead of arguments that directly hold (or point to) memory-resident data ...

8

A. Optimization Model Based on Dynamic Programming

A. Optimization Model Based on Dynamic Programming

... Abstract—The efficient design of water transmission main involves several optimization processes among which an important place is held by their path optimization. In this paper are developed two deterministic ...

5

Extreme Learning of Programming – A Methodology Based on eXtreme Programming for Programming Teaching-Learning

Extreme Learning of Programming – A Methodology Based on eXtreme Programming for Programming Teaching-Learning

... courses. Based on empirical data collected during the teaching of disciplines such as “Algorithms and Programming Techniques” and “Algorithms and Data Structures” between 2001 and 2007, it has been observed ...

10

A multi-stage stochastic programming for condition-based maintenance with proportional hazards model

A multi-stage stochastic programming for condition-based maintenance with proportional hazards model

... Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time ...CBM ...

21

A Weighted Goal Programming Model for the DASH Diet Problem: Comparison with the Linear Programming DASH Diet Model

A Weighted Goal Programming Model for the DASH Diet Problem: Comparison with the Linear Programming DASH Diet Model

... proposed model more ...mathematical programming techniques might be ap- plied to prepare a user-friendly tool for optimal ration ...modules based on mathematical deterministic programming ...

16

Allocating Fixed Costs: A Goal Programming Model Based on Data Envelopment Analysis

Allocating Fixed Costs: A Goal Programming Model Based on Data Envelopment Analysis

... of model (4) is more than model (3), this model enjoys two main ...of model (4) ,because of solving just one model, takes less time than solving model (2) n ...of model ...

10

A Non linear Programming Model for the Machine Grouping and a Genetic Algorithm based Solution Methodology

A Non linear Programming Model for the Machine Grouping and a Genetic Algorithm based Solution Methodology

... mathematical programming approaches are very much suitable for getting good ...researchers based on mathematical programming and the main advantage of mathematical models is the easiness of ...

5

Enhanced Systematic Approach for Software Based on Cost Quality Assurance in Programming Model

Enhanced Systematic Approach for Software Based on Cost Quality Assurance in Programming Model

... framework based on clever examinations and surmisings are conveyed under the secured evaluated errand require ...cost based model will perform question recovery system and Swarm accommodating changes ...

6

Performance Modeling using a Genetic Programming Based Model Error Correction Procedure

Performance Modeling using a Genetic Programming Based Model Error Correction Procedure

... empirical model has been developed to predict computation time and communication times for any given HPC ...empirical model was collected by recording the total run time and communication times for several ...

36

Show all 10000 documents...

Related subjects