• No results found

Model-of-computation

Actors as a Coordinating Model of Computation 

Actors as a Coordinating Model of Computation 

... to model concur- rent distributed ...Neumann model, has essentially remained ...coordinating model of computation which can interconnect and unify the var- ied ...a model should ...

12

Analysis  of  the  Rainbow  Tradeoff  Algorithm  Used  in  Practice

Analysis of the Rainbow Tradeoff Algorithm Used in Practice

... The rainbow tradeoff [35] was introduced after modern computers became widely available. The change in computing environment made the software implementations of the rain- bow tradeoff more popular, and the RAM ...

12

Oded Goldreich Computational Complexity  A Conceptual Perspective(2008) pdf

Oded Goldreich Computational Complexity A Conceptual Perspective(2008) pdf

... of computation at large, is the choice of a model of computation and corresponding complexity measures and ...simple model that avoids both the extreme of being too realistic (and thus too ...

632

Sanjeev Arora, Boaz Barak Computational complexity  a modern approach Cambridge University Press(2009) pdf

Sanjeev Arora, Boaz Barak Computational complexity a modern approach Cambridge University Press(2009) pdf

... – Michael Rabin, 1976 So far, we usedthe Turing machine (as definedin Chapter 1) as our standard model of computation. But there is one aspect of reality this model does not seem to capture: the ...

605

Theory of Computation Lecture Notes   Abhijat Vichare pdf

Theory of Computation Lecture Notes Abhijat Vichare pdf

... ``mechanical computation'' being carried out by humans, called ``computers'', who would perform the steps of the algorithm exactly as specified without using any ...His model of computation therefore ...

38

Computational Complexity A Conceptual Perspective   Oded Goldreich pdf

Computational Complexity A Conceptual Perspective Oded Goldreich pdf

... more than an amortized constant additive overhead per composition. Applying the emulative composition (as in Lemma 5.2) causes a multiplicative overhead per each composition, which is certainly unaordable. The ...

649

An innovative learning model for computation in first year mathematics

An innovative learning model for computation in first year mathematics

... The learning model was refined to gradually incorporate all of the above over several years. This allowed assessment of the effectiveness of these innovations. In an early stage (pre 2002), labs were held ...

8

Validation of a flow-structure-interaction computation model of phonation

Validation of a flow-structure-interaction computation model of phonation

... the model for a range of flow ...VF model, the mean deformed shape during vibration can be predicted using the normalized deformed shape obtained from computation, with the condition that the mean ...

32

How  to  Construct  Rational  Protocols  with  Nash  Equilibrium  Consistency  in  the  UC  framework

How to Construct Rational Protocols with Nash Equilibrium Consistency in the UC framework

... Related Work. In recent years, research schemes on traditional delegated computing have emerged in large numbers, which can be mainly divided into the following aspects: (1) The schemes based on cryptography technology, ...

30

Accelerating Machine Learning with Model-Centric Approach on Emerging Architectures

Accelerating Machine Learning with Model-Centric Approach on Emerging Architectures

... related model parameter and prevents other threads from accessing ...the model parameter is updated, the thread unlocks the ...the model parameters used per thread are always the ...

62

Analysis and Computation for a Fluid Mixture Model of Tissue Deformations

Analysis and Computation for a Fluid Mixture Model of Tissue Deformations

... mathematical model (a nonlinear system with a hyper- bolic equation and elliptic equations coupled together) developed in [2, 3, 4] for modeling deformations of contractile and/or growing and/or swelling ...

145

Foundations of Computation

Foundations of Computation

... to model what it means to recognize a language “mechanically”? We look for inspiration to a language-recognizer with which we are all familiar, and which we’ve already in fact mentioned: a ...a model called ...

256

Fp-Tree Algorithm Using Modified-Ck Secure Sum Method

Fp-Tree Algorithm Using Modified-Ck Secure Sum Method

... party computation. Secure multi party computation being used in huge scale databases which extends to protect privacy to the private data of dissimilar ...

9

Secure Cloud Computing with Brokered Trusted Sensor Networks

Secure Cloud Computing with Brokered Trusted Sensor Networks

... instable model convergence speed is its random model parameter shifting ...of model updates is ...of model parameter shifting is randomly selected. As a result, a model parameter may go ...

11

Optimization of the Midterm Electricity Generation Mix Considering the Effects of Water, Land and Carbon Footprints

Optimization of the Midterm Electricity Generation Mix Considering the Effects of Water, Land and Carbon Footprints

... optimization model proposed in this paper, five technologies of Solar thermal, Solar photovoltaic, Natural gas, Nuclear, and Hydropower, are the best options for electricity generation mix in ...

8

Mathematical model for computation of sustainability of aadhaar based direct benefit transfer under social security pension Schemes in Haryana

Mathematical model for computation of sustainability of aadhaar based direct benefit transfer under social security pension Schemes in Haryana

... about computation and prediction of sustainability of the Aadhaar based DBT using a Mathematical ...The model has been built out of the data studied from entire Haryana state Social Security Pensioners, ...

13

Buckling Analysis of Roll Cage Using Finite Element Analysis

Buckling Analysis of Roll Cage Using Finite Element Analysis

... Using the nonlinear technique, your model can include features such as initial imperfections, plastic behavior, gaps, and large-deflection response. In addition, using deflection-controlled loading, you can even ...

8

Applying a Model Driven Architecture Approach: Transforming CIM to PIM Using UML

Applying a Model Driven Architecture Approach: Transforming CIM to PIM Using UML

... Computation independent model (CIM) does not show details of the system struc- ture. CIM plays an important role in bridging the gap between those that are experts about the domain and its requirements on ...

12

On the computation of steady hopper flows III: model comparisons

On the computation of steady hopper flows III: model comparisons

... Another model was proposed by Matsuoka and Nakai in [7] and recently stud- ied in ...Matsuoka-Nakai model are constructed (for the first time) in Section ...

16

Evolutionary computation for model structure selection in system identification

Evolutionary computation for model structure selection in system identification

... of model types, considerations in constructing an optimum model structure and methods of implementing parameter estimation and model ...for model structure selection are explained along with ...

33

Show all 10000 documents...

Related subjects