Laurent Reveillere, Fabrice Merillon, Charles Consel, Renaud Marlet, and Gilles Muller. The Devil Language. Technical report, Institut National de Recherche en Informatique et en Automatique, Okt. 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Device Driver Synthesis - Lehmann (2002) (Correct)
....of driver sub components. The domain specific language (DSL) for driver synthesis (see section 3.2.2) in the Devil approach, uses ports of an device abstraction layer for the communication with the device. This approach has been extended to the Devil language (DEVice Interface Language) [90, 91] for abstraction layer synthesis. The bit operations can represent up to 30 of driver code [61] As abstraction for the communication, the manipulation of logical variables inside the device is used. The language specifies the register set of a device, and the transformation from logical ....
....layer. Next to the access, pre and post actions for a register access can be defined, for example the indirect access to a register by manipulation of an index register. As a first verification step, a consistency check of the register description is made. The different rules are described in [61, 90]. The language can be translated to C functions which provide the access to the device registers. In debug mode, assertion and log messages can automatically be included to the access stubs [92] This approach has been compared with hand coded drivers [92] The evaluation classifies the different ....
[Article contains additional citation context not shown here]
Laurent Reveillere, Fabrice Merillon, Charles Consel, Renaud Marlet, and Gilles Muller. The Devil Language. Technical report, Institut National de Recherche en Informatique et en Automatique, Okt. 2000.
Dr. T: A Communications Infrastructure for Distributed Interactive .. - Kelly (1997) (Correct)
No context found.
Laurent Gautier and Christophe Diot. Mimaze, a multiuser game on the internet. Technical Report RR--3248, Institut National de Recherche en Informatique et en Automatique (INRIA), September 1997. Available on the Web at http://www.inria.fr/rodeo/MiMaze/ReportInt.html.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC