• Aucun résultat trouvé

Synchronous languages

Polyhedral Analysis for Synchronous Languages

Polyhedral Analysis for Synchronous Languages

... Introduction Synchronous languages [11] such as Signal [2], Lustre [6] and Esterel [4] have been designed to facilitate the development of reactive ...

19

Testing-Based Compiler Validation for Synchronous Languages

Testing-Based Compiler Validation for Synchronous Languages

... IRIT Abstract. In this paper we present a novel lightweight approach to vali- date compilers for synchronous languages. Instead of verifying a compiler for all input programs or providing a fixed suite of ...

7

Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Model Transformations from a Data Parallel Formalism towards Synchronous Languages

... In this paper, we proposed a synchronous metamodel and presented model transformations from data-intensive applications specified in Gaspard into synchronous languages, particularly the [r] ...

47

Modular Compilation of a Synchronous Language

Modular Compilation of a Synchronous Language

... Language Annie Ressouche and Daniel Gaffé and Valérie Roy Abstract Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have ...

16

Synchronous programming in audio processing

Synchronous programming in audio processing

... Synchronous languages are high-level, engineer-friendly, robust, specification for- malisms, rooted in the concepts of discrete time and deterministic ...requirements. Synchronous languages, ...

36

Algebraic Framework for Synchronous Language Semantics

Algebraic Framework for Synchronous Language Semantics

... V. C ONCLUSION AND F UTURE W ORKS Synchronous languages have formal semantics computing models of programs either for verification purpose or for compilation. All along the three last decades, several ...

9

Modular Compilation of a Synchronous Language

Modular Compilation of a Synchronous Language

... (LTS). Synchronous languages are well known to have a clear semantic that allows to express the set of behaviors of program as LTSs and thus model checking techniques are ...

65

Algebras and Synchronous Language Semantics

Algebras and Synchronous Language Semantics

... 4 Conclusion Synchronous languages have formal semantics computing models of programs either for verification purpose or for compilation. All along the three last decades, several version of semantics have ...

108

Determinacy in a synchronous pi-calculus

Determinacy in a synchronous pi-calculus

... Our purpose here is to provide a streamlined theory of determinacy for the synchronous π- calculus introduced in [2]. It seems appropriate to address these issues in a volume dedicated to the memory of Gilles ...

21

A Synchronous Approach to Activity Recognition

A Synchronous Approach to Activity Recognition

... Several synchronous languages such as Lustre, Esterel, Scade and Signal [2] have been defined to de- scribe synchronous ...These languages are for expert ...

5

A Common Aspect Languages Interpreter

A Common Aspect Languages Interpreter

... aspect languages based on ...concrete languages. The power of this approach is that the aspect languages are directly implemented from their operational ...aspect languages implemented with ...

230

Synchronous Modeling of Data Intensive Applications

Synchronous Modeling of Data Intensive Applications

... 3.1.3 Restructuring the simple parallel model This model can be restructured, in order to better map the intrinsic structure of A RRAY -O L repet- itive task, with input tilers, computations, and output tilers. One ...

25

Experiments in discriminating similar languages

Experiments in discriminating similar languages

... 5 Conclusions We described the National Research Council’s entry to the second shared task on Discriminat- ing between similar languages . Our system uses a fairly straightforward processing and modeling approach, ...

8

Statistical Testing of Synchronous Reactive Systems

Statistical Testing of Synchronous Reactive Systems

... 3. Coverage-guided random testing for imperative languages The first statistical testing method guided by coverage criteria was proposed by Thévenod-Fosse and Waeselynck in [6]. In 2004, Denise, Gaudel, and ...

9

DSLM : Dynamic Synchronous Language with Memory

DSLM : Dynamic Synchronous Language with Memory

... Dynamic Synchronous Language with Memory. As in standard synchronous models, a notion of instant is ...this synchronous barrier is actually reached, that is, it ensures the termination of ...

16

Acceptance Conditions for ω-Languages

Acceptance Conditions for ω-Languages

... of languages (see the diamond in the left part of Figure 2), all other acceptance conditions considered tend to give (classes of) languages populating known ...

13

Control of Non-conventional Synchronous Motors

Control of Non-conventional Synchronous Motors

... from synchronous machines with magnets, mainly because the magnetization of the machine is entirely controlled by the inverter supplying the ...for synchronous machines with magnets, part of the magnetic ...

47

Verifiable Semantic Difference Languages

Verifiable Semantic Difference Languages

... This paper introduces a general language-agnostic framework in which the semantics of difference languages can be defined and on which mechanically-checked reasoning can be performed. In this framework, ...

13

Focus in Atlantic languages

Focus in Atlantic languages

... in languages where focus marking is grammaticalized in verb ...these languages, the information structure constrains the choice of the verb form more strictly than in other ...

25

On Armstrong-compliant Logical Query Languages

On Armstrong-compliant Logical Query Languages

... query languages for data min- ing have been studied for years [13, 15, 18, ...query languages for data mining have been studied for example in [6, ...

9

Show all 515 documents...

Sujets connexes