[PDF] Top 20 A Domain-Specific Language for Video Device Drivers: from Design to Implementation

... Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Ir[r] ... Voir le document complet

... synthesizing video variants. The goal is to test competing vision algorithms and thus determine what solutions are likely to fail or excel in specific ...crucial for the partners of the ... Voir le document complet

... in language theory: languages, grammars), and object-orientation and reflexivity; • A methodology to design a new language for a specific ap- plication ... Voir le document complet

... transformation from a source to target model may be a static process, where the scenarchitectures are used to create a system ...easier to implement [15]. This allows ... Voir le document complet

... FAMILIAR, a textual and executable domain-specific language that provides a practical support for man- aging feature ...how a repository of medical imaging services can be ... Voir le document complet

... same domain-specific code snippet The conciseness of the solution, the manipulation of spe- cific abstractions and syntax, the hiding of solver details, the absence of boilerplate code, all are arguments in ... Voir le document complet

... Our language is centered on �ve main types of ...transforming a series of 2D uniform random variables into sequences of ...through a combine primi- tive that takes care of weight computation. We ... Voir le document complet

... Our language is centered on �ve main types of ...transforming a series of 2D uniform random variables into sequences of ...through a combine primi- tive that takes care of weight computation. We ... Voir le document complet

... how to write a code which is running enough time, possibly by performing repetitive tasks, and which is still representative of real ...general a useful tool during the development of a new ... Voir le document complet

... Libraries to solve problems arising from partial differential equations (PDEs) through gen- eralized Galerkin methods are a common tool among mathematicians and ...in a type of equation, e.g. ... Voir le document complet

... MDE to the satellite flight software indus- try, advocates a top-down approach built on a domain-specific modeling language named ...approaches to real-time modeling such ... Voir le document complet

... This domain specific language has been developed as the coordination language of the Antescofo score following system.1 The genericity and the expressiveness provided by the augmented sc[r] ... Voir le document complet

... of a formal model of computation (MoC) is very ...used for embedded system ...respect to the time abstraction they use, their support for concurrency and communication ...application ... Voir le document complet

... The design of a controller based on feedback linearization requires an accurate relationship between the current in the coil, magnetic force on the steel ball, an[r] ... Voir le document complet

... derived from the Operations Simulator. Each simulated pointing provides a position and time of the observa- tion together with the appropriate sky conditions ...propagated to the time of observation ... Voir le document complet

... plants to discourage pests from settling on crops and “pull” plants to attract them to neighboring plants (Cook et ...create a new habitat, which may ultimately also modify the ... Voir le document complet

... Because the size of the output image is smaller than the input image (decreased sampling rate), but the display horizontal frequency stays constant for a given displ[r] ... Voir le document complet

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

... iteration: From a Glued to a Separated topology In our compound device, RPM and the mouse are not physically ...Therefore to come up with the separated topology, we simply take ... Voir le document complet

... Description Language Software architectures define the high-level structure of soft- ware systems by describing how they are organized by the means of a composition of components ...used to capture ... Voir le document complet