Laurent Reveillere, Fabrice Merillon, Charles Consel, Renaud Marlet, Gilles Muller  Home/Search
Context Related
Links: ACM DBLP | compose.labri.fr/peop...ase00devil.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: compose.labri.fr/people/reveil... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate documentation. Then, assembly-level operations need to be used to interact with the device. These low-level operations reduce the readability of the driver and prevent safety properties from being checked. (Update)
Context of citations to this paper: More
...sub systems: device drivers and active networks. The device driver study has lead to the design and implementation of two languages GAL [22, 17] and Devil [14] GAL specifically targets graphics cards; from a high level specification a compiler generates a complete device...
.... a software engineering viewpoint, Devil captures domain expertise and systematize re use because it offers suitable built in abstractions [17]. Besides increasing productivity, Devil improves safety by enabling descriptions to be checked for consistency. A Devil description...
Cited by: More
Spidle: A DSL Approach to Specifying Streaming.. - Consel, Hamdi.. (2002) (Correct)
Towards Device Driver Synthesis - Lehmann (2002) (Correct)
Improving Driver Robustness: An Evaluation Of The Devil.. - Réveillère, Muller (2001) (Correct)
Similar documents (at the sentence level):
61.5%: A DSL Approach to Improve Productivity and Safety in Device .. - Réveillère, Muller (2000) (Correct)
19.3%: Towards Verifiable Device Drivers: An Approach Based on.. - Mérillon, al. (1999) (Correct)
Active bibliography (related documents): More All
0.6: Architecturing Software Using A Methodology for Language.. - Consel, Marlet (1998) (Correct)
0.4: Domain-Specific Languages: from Design to Implementation .. - Thibault, Marlet, Consel (1999) (Correct)
0.3: Domain Specific Languages in Software Engineering - Anlauff, Kutter, al. (Correct)
Similar documents based on text: More All
1.5: Devil: An IDL for Hardware Programming - Merillon, Reveillere, Consel.. (2000) (Correct)
0.9: Dealing with Hardware in Embedded Software: A Retargetable.. - Mérillon, al. (Correct)
0.7: Towards Integrating Adaptation into the Development of.. - The Compose Group (2000) (Correct)
Related documents from co-citation: More All
4: Devil: An IDL for hardware programming - Merillon, Reveillere et al. - 2000
2: PLX-Technology. PCI 9080 Data Book, 1.05 edition, 1998.
2: Adapting Distributed Applications Using Extensible Networks - Thibault, Marant et al. - 1999
BibTeX entry: (Update)
L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. A DSL approach to improve productivity and safety in device drivers development. In Proceedings of the 15 th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 2000. IEEE Computer Society Press. To appear. http://citeseer.ist.psu.edu/reveillere00dsl.html More
@misc{ reveillere00dsl,
author = "L. Reveillere and F. Merillon and C. Consel and R. Marlet and G. Muller",
title = "A DSL approach to improve productivity and safety in device drivers development",
text = "L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller. A DSL
approach to improve productivity and safety in device drivers development.
In Proceedings of the 15 th IEEE International Conference on Automated Software
Engineering (ASE 2000), Grenoble, France, September 2000. IEEE Computer
Society Press. To appear.",
year = "2000",
url = "citeseer.ist.psu.edu/reveillere00dsl.html" }
Citations (may not include all citations):78 Software Practice and Experience (context) - Knuth, of - 1989
67 IEEE Transactions on Software Engineering (context) - Parnas, design et al. - 1976
53 Linux Device Drivers (context) - Rubini - 1998 ACM
40 optimizing IDL compiler (context) - Eide, Frei et al. - 1997
26 Design of mutant operators for the C programming language - Agrawal, Demillo et al. - 1989
26 Safe and efficient active network programming - Thibault, Consel et al. - 1998 ACM DBLP
21 and multimedia animation with an embedded language (context) - Elliott - 1997
20 A domain-specific language for video device driver: from des.. - Thibault, Marlet et al. - 1997
19 the use of software artifacts to evaluate the effectiveness .. (context) - Demillo, Mathur - 1991
17 A special-purpose language for picture-drawing - Kamin, Hyatt - 1997
17 Experience with a language for writing coherence protocols - Chandra, Larus - 1997 ACM
17 Architecturing software using a methodology for language dev.. - Consel, Marlet - 1998
16 Microlanguages for operating system specialization - Pu, Black et al. - 1997
16 Two application languages in software production - Ladd, Ramming - 1994
15 MIG - The MACH Interface Generator (context) - Draves, Jones et al. - 1989
15 Auditdraw: Generating audits the fast way - Gupta, Jagadeesan et al. - 1997 DBLP
11 An algebraic specification of a language describing financia.. - Arnold, van Deursen et al. - 1995
9 Domain-specific languages: from design to implementation -- .. - Thibault, Marlet et al. - 1999
8 Developing Windows NT device drivers : A programmer's handbo.. (context) - Dekker, Newcomer - 1999
3 Applab: a laboratory for application languages - Bjarnason
3 Research Report (context) - Reveillere, Merillon et al. - 2000 ACM
3 UDI Specifications (context) - UDI - 1999
www.numega.com
www.bluewatersystems.com
The graph only includes citing articles where the year of publication is known.
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