Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Martin C. Carlisle"'
Publikováno v:
COMPSAC (2)
IRONSIDES is an open-source Domain Name System (DNS) server designed using formal methods to reduce DNS vulnerabilities to cyber attacks. The use of formal methods gives IRONSIDES provable security properties, including the absence of numerous securi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::616f69843f4d218743676b64689eac98
https://doi.org/10.1109/compsac.2017.165
https://doi.org/10.1109/compsac.2017.165
Autor:
Martin C. Carlisle, J. A. Hamilton
Publikováno v:
ACM SIGAda Ada Letters. :15-20
In this paper, we describe the integration of an Ada 2005 compiler into Microsoft's 2005 Visual Studio and its implications for the Ada community and beyond.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b8d24d338c2ae8ba07778d4bea31c0c
https://doi.org/10.1145/1185875.1185646
https://doi.org/10.1145/1185875.1185646
Autor:
Martin C. Carlisle
Publikováno v:
SIGAda
We describe AdaGOOP 2005 (the Ada Generator of Object-Oriented Parsers). AdaGOOP 2005 takes a specification of tokens and an LALR(1) grammar and creates a lexer, a parser that automatically creates a parse tree, and a traversal of the parse tree usin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0efa3408d4f53cc489de6cc91f73baae
https://doi.org/10.1145/1185875.1185644
https://doi.org/10.1145/1185875.1185644
Autor:
Martin C. Carlisle
Publikováno v:
ACM SIGAda Ada Letters. :18-24
Ada 2005 is the second revision of the Ada standard. It makes changes to the language definition in a number of areas. We summarize which changes have the greatest impact on introductory computer science classes that use Ada.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c15c0103765ec369f6a6cee109bde7e
https://doi.org/10.1145/1131411.1131413
https://doi.org/10.1145/1131411.1131413
Publikováno v:
SIGCSE
When students are learning to develop algorithms, they very often spend more time dealing with issues of syntax rather than solving the problem. Additionally, the textual nature of most programming environments works against the learning style of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3d5d0cf590fb21d40d4ce67f8269d88
https://doi.org/10.1145/1047124.1047411
https://doi.org/10.1145/1047124.1047411
Autor:
Martin C. Carlisle, Laurence D. Merkle
Publikováno v:
The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology. 1:59-68
For discrete-event simulations with a large number of objects, parallelization provides an opportunity for improved performance. However, if simulation objects are not placed carefully, the additional communication costs can outweigh the performance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef73238aa783cfe4c0fa171e04f41d18
https://doi.org/10.1177/154851290400100105
https://doi.org/10.1177/154851290400100105
Autor:
Ricky E. Sward, Martin C. Carlisle
Publikováno v:
ACM SIGAda Ada Letters. :42-47
This paper describes work that has been done to automatically generate code that implements the Visitor design pattern for a specified grammar. This work is an extension of the work done on the Ada Generator of Object-Oriented Parsers (AdaGOOP) [Car0
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1676701a1c6b3d56b612fc80bbbd73a8
https://doi.org/10.1145/570326.570330
https://doi.org/10.1145/570326.570330
Autor:
Martin C. Carlisle
Publikováno v:
ACM SIGAda Ada Letters. :57-62
Although many parser generator tools (aka compiler compilers) are available, very few create a parse tree. Instead, the user must add actions to the grammar to create the parse tree. This is a tedious, mechanical task, which could easily be automated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56b4427f2535009ef5720dbe0cbfecf3
https://doi.org/10.1145/353399.353403
https://doi.org/10.1145/353399.353403
Autor:
Martin C. Carlisle
Publikováno v:
SIGAda
Over the last few years, graphical user interface programming has become increasingly prevalent. Many libraries and languages have been developed to simplify this task. Additionally, design tools have been created that allow the programmer to "draw"
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed50cca077bedd5402091f296d946b28
https://doi.org/10.1145/319295.319304
https://doi.org/10.1145/319295.319304
Autor:
Patrick Maes, Martin C. Carlisle
Publikováno v:
SIGAda
1. ABSTRACT In this paper, we describe RAPID, the Rapid Ada Portable Interface Designer. RAPID is a graphical GUI design tool that allows the user to visually lay out a user interface, and have the Ada code that creates this interface generated autom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::181cafb1549a14e3f63f823df9de54f2
https://doi.org/10.1145/301687.289570
https://doi.org/10.1145/301687.289570